2Richard C Ho,C Han Yang,Mark A Horowitz et al. Architecture Validation for Processors[C].In:the Proceedings of the 22nd Annual International Symposium on Computer Architecture, 1995.
3Xilinx.http ://www.xilinx.com.
4Abadir A,Goodman D,Levinger M et al.Test program generation for functional verification of PowerPC processors in IBM[C].In:Proceedings of the 32nd DAC,Piscataway,IEEE, 1996.
8F. Casaubieilh, et al. Functional verification methodology of Chameleon processor. The 33rd Design Automation Conference,Las Vegas, 1996
9A. Aharon, D. Goodman, M. Levinger, et al. Test program generation for functional verification of PowerPC processors in IBM. The 32nd Design Automation Conference, San Francisco,1995
10H. P. Sharangpani, M. L. Barton. Statistical Analysis of Floating Point Flaw in the Pentium Processor. Santa Clara:Intel Corporation, 1994