Automatic Verification of Timed Circuits.

Tomas Rokicki Chris J. Myers

Published in: CAV (1994)

Keyphrases

petri net
high speed
tunnel diode
timed automata
analog circuits
delay insensitive
circuit design
logic circuits
analog vlsi
vlsi circuits
digital circuits
artificial intelligence
quantum computing
logic synthesis
lateral inhibition
multiscale
image processing
database
information systems
real world