Tao Feng Li-C. Wang Kwang-Ting Cheng Chih-Chan Lin Using 2-domain partitioned OBDD data structure in an enhanced symbolic simulator. 627-650 2005 10 ACM Trans. Design Autom. Electr. Syst. 4 http://doi.acm.org/10.1145/1109118.1109122 db/journals/todaes/todaes10.html#FengWCL05