Equivalence Checking of Reversible Circuits.
Robert WilleDaniel GroßeD. Michael MillerRolf DrechslerPublished in: J. Multiple Valued Log. Soft Comput. (2012)
Keyphrases
- markov chain
- high speed
- cellular automata
- analog circuits
- analog vlsi
- delay insensitive
- logic circuits
- logic synthesis
- digital circuits
- interactive dynamic influence diagrams
- circuit design
- genetic algorithm
- database
- asynchronous circuits
- low cost
- multiscale
- quantum computing
- information retrieval
- floating gate
- machine learning