Functional verification methodology for microprocessors using the Genesys test-program generator. Application to the x86 microprocessors family
暂无分享,去创建一个
[1] L. Fournier,et al. Constraint satisfaction for test program generation , 1995, Proceedings International Phoenix Conference on Computers and Communications.
[2] Aharon Aharon,et al. Test Program Generation for Functional Verification of PowePC Processors in IBM , 1995, 32nd Design Automation Conference.
[3] Alberto L. Sangiovanni-Vincentelli,et al. Verification of electronic systems , 1996, DAC '96.
[4] Ming Wang,et al. Hardware emulation for functional verification of K5 , 1996, DAC '96.
[5] James Monaco,et al. Functional verification methodology for the PowerPC 604 microprocessor , 1996, DAC '96.
[6] 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.
[7] Christian Berthet,et al. Functional verification methodology of Chameleon processor , 1996, DAC '96.