参考文献[1]Gl¨okler T,Bitterlich S,Meyr H.DSP Core Verification Using Automatic Test Case Generation[C]//Procee-dings of IEEE International Conference on Acoustics,Speech,and Signal Processing.Washington D.C.,USA:IEEE Press,2000:32713274. [2]Habibi T,Tahar S,Ghazel A.Formal Modelling of the ADSP2100 Processor Using HOL[C]//Proceedings of IEEE Canadian Conference on Electrical & Computer Engineering.Washington D.C.,USA:IEEE Press,2002:614619. [3]Habibi T,Tahar S,Ghazel A.Formal Verication of a DSP Chip Using an Iterative Approach[C]//Pro-ceedings of Euromicro Symposium on Digital System Design.Washington D.C.,USA:IEEE Press,2002:1219. [4]Habibi T,Tahar S,Ghazel A.Formal Verication of the ADS2100 Processor Using the HOL Theorem Prover[Z].2002. [5]Akbarpour B,Tahar S.An Approach for the Formal Verication of DSP Designs Using Theorem Proving[J].IEEE Transactions on CAD of Integrated Circuits and Systems,2006,25(8):14411457. [6]龚令侃,王玉艳,章建雄.基于验证库的微处理器指令集验证方法[J].计算机工程,2009,35(3):8688. [7]Guo Qi,Chen Tianshi,Shen Haihua,et al.Empirical Design Bugs Prediction for Verification[C]//Proceedings of Design,Automation & Test in Europe Conference & Exhibition.Washington D.C.,USA:IEEE Press,2011:16. [8]Kim H,Wills D S,Wills L M.Reducing Operand Communication Overhead Using Instruction Clustering for Multimedia Application[C]//Proceedings of the 7th IEEE International Symposium on Mulitimedia.Washington D.C.,USA:IEEE Press,2005. [9]Brahme D,Abraham J A.Functional Testing of Micro processors[J].IEEE Transactions on Computer,1984,C33:475485. [10]Salama A E,Ali A K,Talkhan E A.Functional Testing of Pipelined Processors[J].Computers and Digital Techniques,IEE Proceedings,1996,143(5):318324. [11]Talkhan A,Ahmed H,Salama E.Microprocessors Functional Testing Techniques[J].IEEE Transactions on ComputerAided Design,1989,8(3):316319. [12]Hennessy J L,Patterson D A.计算机体系结构:量化研究方法[M].贾洪峰,译.5版,北京:人民邮电出版社,2013. 编辑金胡考 |