Login / Signup

Efficient Combinational Verification Using Overlapping Local BDDs and a Hash Table.

Rajarshi MukherjeeJawahar JainKoichiro TakayamaJacob A. AbrahamDonald S. FussellMasahiro Fujita
Published in: Formal Methods Syst. Des. (2002)
Keyphrases
  • hash table
  • multi dimensional
  • model checking
  • high efficiency