Login / Signup
A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states.
In-Ho Moon
Per Bjesse
Carl Pixley
Published in:
DATE (2007)
Keyphrases
</>
logic circuits
asynchronous circuits
high speed
real time
neural network
search engine
low cost
query answering
combining multiple
consistency checking
partial knowledge