使用局部建模的微处理器测试程序自动生成方法
张良;易江芳;佟冬;程旭;王克义
Test Program Generation for Microprocessor Verification Using Local Modeling Strategy
ZHANG Liang;YI Jiang-fang;TONG Dong;CHENG Xu;WANG Ke-yi
电子学报 . 2011, (7): 1639 -1644 .