Author:
Zhang Youhui,Wang Dongsheng,Wang Jinglei,Zheng Weimin
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Sharangpani, H.P., Barton, M.L.: Statistical Analysis of Floating Point Flaw in the Pentium Processor. Intel Corporation (1994)
2. Casaubieilh, F., et al.: Functional Verification Methodology of Chameleon Processor. In: 33rd Design Automation Conference, Las Vegas, June 1996, pp. 421–426 (1996)
3. Aharon, D., Goodman, M., Levinger, Y., Lichtenstein, Y., Malka, C., Metzger, M.: Test Program Generation for Functional Verification of PowerPC Processors in IBM. In: 32nd Design Automation Conference, San Francisco, June 1995, pp. 279–285 (1995)
4. McMillan, K.: Symbolic Model Checking. Kluwer, Dordrecht (1993)
5. Kurshan, R.P.: computer-Aided Verification of Coordinating Processes: The Automatic- Theoretic Approach. Princeton Series in Computer Science (1995)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Functional Test Compaction;System-Level Validation;2012-09-25