Speculation in elastic systems

Galceran-Oms, Marc; Cortadella, Jordi; Kishinevsky, Michael

doi:10.1145/1629911.1629989

Cited by 8 publications

(8 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For some systems such as communication fabrics this may obviate the need for a state modification-based specification. Finally, the present notation may be a useful tool to formalize and to generalize the microarchitectural reasoning advocated in HAWK [16] and by Galceran-Oms et al [11].…”

Section: Related Workmentioning

confidence: 85%

Quick formal modeling of communication fabrics to enable verification

Chatterjee

Kishinevsky

Ogras

2010

2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)

View full text Add to dashboard Cite

Although communication fabrics at the microarchitectural level are mainly composed of standard primitives such as queues and arbiters, to get an executable model one has to connect these primitives with glue logic to complete the description. In this paper we identify a richer set of microarchitectural primitives that allows us to describe complete systems by composition alone. This enables us to build models faster (since models are now simply wiring diagrams at an appropriate level of abstraction) and to avoid common modeling errors such as inadvertent loss of data due to incorrect timing assumptions. Our models are formal and they are used for model checking as well as dynamic validation and performance modeling. However, unlike other formalisms this approach leads to a precise yet intuitive graphical notation for microarchitecture that captures timing and functionality in sufficient detail to be useful for reasoning about correctness and for communicating microarchitectural ideas to RTL and circuit designers and validators.

show abstract

Section: Related Workmentioning

confidence: 85%

Quick formal modeling of communication fabrics to enable verification

Chatterjee

Kishinevsky

Ogras

2010

2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)

View full text Add to dashboard Cite

show abstract

“…Elasticity is able to deal with any sort of non-determinism including cache delays [16], speculation in processors [17], etc. Another source of non-determinism appears when data-dependent loops exist in computation -clearly a source of timing uncertainty in a dataflow.…”

Section: A Elasticitymentioning

confidence: 99%

De-Elastisation: From Asynchronous Dataflows to Synchronous Circuits

Mamaghani

Garside

Edwards

2015

Design, Automation &Amp; Test in Europe Conference &Amp; Exhibition (DATE), 2015

View full text Add to dashboard Cite

Abstract-Asynchronous VLSI programming provides a flexible abstract formalism for concurrent systems but the is an issue for industrial adoption. The asynchronous design paradigm provides 'elasticity' enabling the system to tolerate delays in communication and computation but can impose a prohibitive communication overhead when applied at a fine-grained level. This paper proposes 'De-elastisation' in a CAD flow for asynchronous dataflow networks to improve the circuits' performance and area. To preserve the architectural advantages of asynchronous design (e.g. short cycles), circuits are classified into blocking and non-blocking loops which the De-elastisation scheme relies upon. The technique is incorporated in the Teak CAD flow. Experimental results on substantial case studies show significant performance and area improvements. This work shows 3× improvement for the first category of circuits, suitable for iterative realisations and DSP-like architectures and 4× for the second category which are suitable for concurrent realisations.

show abstract

“…Sharing of functional units can be used to implement correct-by-construction speculative execution [20]. Consider the example from Fig.…”

Section: H Speculative Executionmentioning

confidence: 99%

“…This speculation framework can also be used to efficiently integrate into elastic systems telescopic units and error correction and detection protocols [20]. Using speculation and anti-token insertion, precomputation [22] can also be added to the set of possible transformations.…”

Section: H Speculative Executionmentioning

confidence: 99%

See 1 more Smart Citation

Elastic systems

Cortadella

Galceran-Oms

Kishinevsky

2010

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)

Self Cite

View full text Add to dashboard Cite

Elastic systems provide tolerance to the variations in computation and communication delays. The incorporation of elasticity opens new opportunities for optimization using new correct-by-construction transformations that cannot be applied to rigid non-elastic systems.The basics of synchronous and asynchronous elastic systems will be reviewed. A set of behavior-preserving transformations will be presented: retiming, recycling, early evaluation, variablelatency units and speculative execution. The application of these transformations for performance and power optimization will be discussed. Finally, a novel framework for microarchitectural exploration will be introduced, showing that the optimal pipelining of a circuit can be automatically obtained by using the previous transformations.

show abstract

Speculation in elastic systems

Cited by 8 publications

References 12 publications

Quick formal modeling of communication fabrics to enable verification

Quick formal modeling of communication fabrics to enable verification

De-Elastisation: From Asynchronous Dataflows to Synchronous Circuits

Elastic systems

Contact Info

Product

Resources

About