Functional verification methodology for microprocessors using the Genesys test-program generator
暂无分享,去创建一个
[1] James Monaco,et al. Functional verification methodology for the PowerPC 604 microprocessor , 1996, DAC '96.
[2] L. Fournier,et al. Constraint satisfaction for test program generation , 1995, Proceedings International Phoenix Conference on Computers and Communications.
[3] Michael Kantrowitz,et al. I'm done simulating; now what? Verification coverage analysis and correctness checking of the DEC chip 21164 Alpha microprocessor , 1996, DAC '96.
[4] Christian Berthet,et al. Functional verification methodology of Chameleon processor , 1996, DAC '96.
[5] H. Sharangpani,et al. Statistical Analysis of Floating Point Flaw in the Pentium Processor , 1994 .
[6] Ming Wang,et al. Hardware emulation for functional verification of K5 , 1996, DAC '96.
[7] Aharon Aharon,et al. Test Program Generation for Functional Verification of PowePC Processors in IBM , 1995, 32nd Design Automation Conference.
[8] Alberto L. Sangiovanni-Vincentelli,et al. Verification of electronic systems , 1996, DAC '96.