Towards assertion-based verification of heterogeneous system designs
暂无分享,去创建一个
Wolfgang Rosenstiel | Thomas Kropf | Alexander Viehl | Lars Hedrich | Jürgen Ruf | Alexander Jesser | Stefan Lämmermann
[1] S. K. Panda,et al. Instrumenting AMS assertion verification on commercial platforms , 2009, TODE.
[2] Lars Hedrich,et al. Model Checking of Analog Systems using an Analog Specification Language , 2008, 2008 Design, Automation and Test in Europe.
[3] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[4] Georges G. E. Gielen,et al. Guess, solder, measure, repeat - How do I get my mixed-signal chip right? , 2009, 2009 46th ACM/IEEE Design Automation Conference.
[5] G. Bois,et al. Checking properties of PLL designs using run-time verification , 2007, 2007 Internatonal Conference on Microelectronics.
[6] Wolfgang Rosenstiel,et al. Efficient and Customizable Integration of Temporal Properties into SystemC , 2006 .
[7] Dejan Nickovic,et al. Checking Temporal Properties of Discrete, Timed and Continuous Behaviors , 2008, Pillars of Computer Science.
[8] Wolfgang Rosenstiel,et al. Simulation-guided property checking based on multi-valued AR-automata , 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.
[9] Wolfgang Rosenstiel,et al. Advanced Assertion-Based Design for Mixed-Signal Verification , 2008, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..
[10] Harry D. Foster,et al. Assertion-Based Design , 2010 .
[11] Sofiène Tahar,et al. Formal verification of analog and mixed signal designs: A survey , 2008, Microelectron. J..