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.

Authors

Rajarshi Mukherjee

This author has not been identified. Look up 'Rajarshi Mukherjee' in Google

Jawahar Jain

This author has not been identified. Look up 'Jawahar Jain' in Google

Koichiro Takayama

This author has not been identified. Look up 'Koichiro Takayama' in Google

Jacob A. Abraham

This author has not been identified. Look up 'Jacob A. Abraham' in Google

Donald S. Fussell

This author has not been identified. Look up 'Donald S. Fussell' in Google

Masahiro Fujita

This author has not been identified. Look up 'Masahiro Fujita' in Google