An abstraction-guided simulation approach using Markov models for microprocessor verification
暂无分享,去创建一个
Tao Zhang | Xiaowei Li | Tao Lv | Xiaowei Li | Zhang Tao | Tao Lv
[1] David L. Dill,et al. Validation with guided search of the state space , 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
[2] Todd M. Austin,et al. Microprocessor Verification via Feedback-Adjusted Markov Models , 2007, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[3] Jian Shen,et al. On Combining Formal and Informal Verification , 1997, CAV.
[4] David A. Patterson,et al. Computer Architecture, Fifth Edition: A Quantitative Approach , 2011 .
[5] David A. Patterson,et al. Computer Architecture: A Quantitative Approach , 1969 .
[6] Michael S. Hsiao,et al. Mining-guided state justification with partitioned navigation tracks , 2007, 2007 IEEE International Test Conference.
[7] Fabio Somenzi,et al. Guiding simulation with increasingly refined abstract traces , 2006, 2006 43rd ACM/IEEE Design Automation Conference.
[8] Alan J. Hu,et al. An Effective Guidance Strategy for Abstraction-Guided Simulation , 2007, 2007 44th ACM/IEEE Design Automation Conference.
[9] Todd M. Austin,et al. StressTest: an automatic approach to test generation via activity monitors , 2005, Proceedings. 42nd Design Automation Conference, 2005..
[10] David A. Patterson,et al. Computer Architecture - A Quantitative Approach (4. ed.) , 2007 .
[11] Michael S. Hsiao,et al. Efficient Design Validation Based on Cultural Algorithms , 2008, 2008 Design, Automation and Test in Europe.