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. Efficient Combinational Verification Using Overlapping Local BDDs and a Hash Table. Formal Methods in System Design, 21(1):95-101, 2002.

Abstract

Abstract is missing.