A novel abstraction-guided simulation approach using posterior probabilities for verification
暂无分享,去创建一个
[1] Jacob A. Abraham,et al. Abstraction Techniques for Validation Coverage Analysis and Test Generation , 1998, IEEE Trans. Computers.
[2] Tao Zhang,et al. An abstraction-guided simulation approach using Markov models for microprocessor verification , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).
[3] Avner Landver,et al. Coverage-Directed Test Generation Using Symbolic Techniques , 1996, FMCAD.
[4] Rajeev Motwani,et al. Randomized Algorithms , 1995, SIGA.
[5] Mark Horowitz,et al. Architecture validation for processors , 1995, Proceedings 22nd Annual International Symposium on Computer Architecture.
[6] Michael S. Hsiao,et al. An ant colony optimization technique for abstraction-guided state justification , 2009, 2009 International Test Conference.
[7] Michael S. Hsiao,et al. Efficient Design Validation Based on Cultural Algorithms , 2008, 2008 Design, Automation and Test in Europe.
[8] Alan J. Hu,et al. An Effective Guidance Strategy for Abstraction-Guided Simulation , 2007, 2007 44th ACM/IEEE Design Automation Conference.