Sign in
Efficient Combinational Verification Using Overlapping Local BDDs and a Hash Table.
Rajarshi Mukherjee
Jawahar Jain
Koichiro Takayama
Jacob A. Abraham
Donald S. Fussell
Masahiro Fujita
Published in:
Formal Methods Syst. Des. (2002)
Keyphrases
</>
hash table
multi dimensional
model checking
high efficiency