Digital Circuit Verification Using Partially-Ordered State Models.

Carl-Johan H. Seger Randal E. Bryant

Published in: ISMVL (1994)

Keyphrases

partially ordered
partial order
digital circuits
probabilistic model
finite state machines
databases
search algorithm
data streams
multi dimensional
model checking
circuit design
partial ordering