Author:
Cabodi Gianpiero,Camurati Paolo,Quer Stefano
Subject
Hardware and Architecture,Software
Reference34 articles.
1. C. Pixley, A computational theory and implementation of sequential hardware equivalence, in: AMS/DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 3, 1991, pp. 293–320
2. C. Pixley, G. Beihl, Calculating resetability and reset sequences, in: Proceedings of IEEE ICCAD'91, San Jose, CA, November 1991, pp. 376–379
3. C. Pixley, S.W. Jeong, G.D. Hachtel, Exact calculation of synchronization sequences based on binary decision diagrams, in: Proceedings of ACM/IEEE DAC'92, June 1992, pp. 614–619
4. B. Lin, H.J. Touati, A. Richard Newton, Don't care minimization of multi-level sequential logic networks, in: Proceedings of IEEE ICCAD'90, San Jose, CA, November 1990, pp. 414–417
5. B. Lin, A. Richard Newton, Implicit manipulation of equivalence classes using binary decision diagrams, in: Proceedings of IEEE ICCD'91, October 1991, pp. 81–85
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献