Sign in

Digital Circuit Verification Using Partially-Ordered State Models.

Carl-Johan H. SegerRandal 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