Login / Signup
Automatic verification of implementations of large circuits against HDL specifications.
Yatin Vasant Hoskote
Jacob A. Abraham
Donald S. Fussell
John Moondanos
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1997)
Keyphrases
</>
delay insensitive
asynchronous circuits
efficient implementation
formal specification
databases
artificial intelligence
high speed
analog vlsi
real time
real world
low power
design methodology
operational semantics
analog circuits
quantum computing