Author:
Bhadra Jayanta,Martin Andrew K.,Abraham Jacob A.
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference32 articles.
1. M. Abadir and J. Reghbati, “Functional testing of semiconductor random access memories,” ACM Computing Surveys, Vol. 15, No. 3, pp. 175–198, 1993.
2. D.L. Beatty and R.E. Bryant, “Formally verifying a microprocessor using a symbolic methodology,” in Proceedings of Design Automation Conference, 1994, pp. 596–602.
3. J. Bhadra and N. Krishnamurthy, “Automatic generation of design constraints in verifying high performance embedded dynamic circuits,” in Proceedings of The International Test Conference, 2002, pp. 213–222.
4. J. Bhadra, A. Martin, J. Abraham, and M. Abadir, “Using abstract specifications to verify PowerPCTM custom memories by symbolic trajectory evaluation,” in Proceedings of the Advanced Research Working Conference on Correct Hardware Design and Verification Methods, LNCS Vol. 2144, Springer-Verlag 2001, pp. 386–402.
5. J. Bhadra, A. Martin, J. Abraham, and M. Abadir, “A language formalism for verification of PowerPCTM custom memories using compositions of abstract specifications,” in Proceedings of The IEEE High Level Design Validation and Test Workshop, 2001, pp. 134–141.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献