Safety Property Verification of Cyclic Synchronous Circuits.

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

functional verification
formal verification
high speed
decision trees
quantum computing
vlsi circuits
genetic algorithm
person identification
safety analysis
delay insensitive
analog vlsi
civil aviation
tunnel diode