Equivalence Checking of Reversible Circuits.
Robert WilleDaniel GroßeD. Michael MillerRolf DrechslerPublished in: ISMVL (2009)
Keyphrases
- markov chain
- cellular automata
- high speed
- delay insensitive
- analog vlsi
- vlsi circuits
- consistency checking
- high level synthesis
- case study
- bayesian networks
- digital circuits
- logic circuits
- circuit design
- tunnel diode
- logic synthesis
- quantum computing
- asynchronous circuits
- real time
- equivalence relation
- np complete
- multi agent
- decision trees
- machine learning