Prakash Arunachalam, Craig M. Chase, Dinos Moundanos. Distributed Binary Decision Diagrams for Verification of Large Circuit. In 1996 International Conference on Computer Design (ICCD 96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings. pages 365-370, IEEE Computer Society, 1996. [doi]
@inproceedings{ArunachalamCM96,
title = {Distributed Binary Decision Diagrams for Verification of Large Circuit},
author = {Prakash Arunachalam and Craig M. Chase and Dinos Moundanos},
year = {1996},
url = {http://dlib2.computer.org/conferen/iccd/7554/pdf/75540365.pdf},
researchr = {https://researchr.org/publication/ArunachalamCM96},
cites = {0},
citedby = {0},
pages = {365-370},
booktitle = {1996 International Conference on Computer Design (ICCD 96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-8186-7554-3},
}