Author:
van Dijk Tom,van de Pol Jaco
Publisher
Springer International Publishing
Reference71 articles.
1. Magdy S. Abadir and Hassan K. Reghbati. Functional Test Generation for Digital Circuits Described Using Binary Decision Diagrams. IEEE Trans. Computers, 35(4):375–379, 1986.
2. Umut A. Acar, Arthur Charguéraud, and Mike Rainey. Scheduling parallel programs by work stealing with private deques. In PPOPP, pages 219–228. ACM, 2013.
3. S.B. Akers. Binary Decision Diagrams. IEEE Trans. Computers, C-27(6):509–516, 6 1978.
4. Prakash Arunachalam, Craig M. Chase, and Dinos Moundanos. Distributed binary decision diagrams for verification of large circuit. In ICCD, pages 365–370, 1996.
5. R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, and Fabio Somenzi. Algebraic decision diagrams and their applications. In ICCAD 1993, pages 188–191, 1993.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献