Author:
Cabodi G.,Camurati P.,Lioy A.,Poncino M.,Quer S.
Reference20 articles.
1. P. Arunachalam, C. Chase, and D. Moundanos. Distributred Binary Decision Diagrams for Verification of Large Circuits. In Proc. IEEE ICCD’;96, pages 365–370, Austin, Texas, USA, October 1996.
2. P. Ashar and M. Cheong. Efficient Breadth-First Manipulation of Binary Decision Diagrams. In Proc. IEEE/ACM ICCAD’94, pages 622–627, San Jose, CA, USA, November 1994.
3. F. M. Brown. Boolean Reasoning: the Logic of Boolean Equations. Kluwer Academic Publishers, Boston, MA, USA, 1990.
4. R. E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, C-35(8): 677–691, August 1986.
5. R. E. Bryant. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, 24 (3): 293–318, September 1992.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献