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.
@article{MukherjeeJTAFF02,
title = {Efficient Combinational Verification Using Overlapping Local BDDs and a Hash Table},
author = {Rajarshi Mukherjee and Jawahar Jain and Koichiro Takayama and Jacob A. Abraham and Donald S. Fussell and Masahiro Fujita},
year = {2002},
researchr = {https://researchr.org/publication/MukherjeeJTAFF02},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {21},
number = {1},
pages = {95-101},
}