Equivalence checking for synchronous elastic circuits.
Vidura WijaysekaraSudarshan K. SrinivasanPublished in: MEMOCODE (2013)
Keyphrases
- delay insensitive
- high speed
- consistency checking
- analog circuits
- analog vlsi
- logic synthesis
- tunnel diode
- query language
- datalog programs
- machine learning
- elastic matching
- logic circuits
- asynchronous communication
- power dissipation
- high level synthesis
- shift register
- equivalence relation
- data structure
- bayesian networks
- decision trees
- computer vision