Tao Feng, Li-C. Wang, Kwang-Ting Cheng, Andy Lin. On using a 2-domain partitioned OBDD data structure in verification. In Ninth IEEE International High-Level Design Validation and Test Workshop 2004, Sonoma Valley, CA, USA, November 10-12, 2004. pages 49-54, IEEE Computer Society, 2004. [doi]
@inproceedings{FengWCL04-0,
title = {On using a 2-domain partitioned OBDD data structure in verification},
author = {Tao Feng and Li-C. Wang and Kwang-Ting Cheng and Andy Lin},
year = {2004},
doi = {10.1109/HLDVT.2004.1431234},
url = {http://doi.ieeecomputersociety.org/10.1109/HLDVT.2004.1431234},
researchr = {https://researchr.org/publication/FengWCL04-0},
cites = {0},
citedby = {0},
pages = {49-54},
booktitle = {Ninth IEEE International High-Level Design Validation and Test Workshop 2004, Sonoma Valley, CA, USA, November 10-12, 2004},
publisher = {IEEE Computer Society},
isbn = {0-7803-8714-7},
}