Verification of Embedded Systems Based on Interval Analysis
暂无分享,去创建一个
[1] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[2] Sérgio Vale Aguiar Campos,et al. Symbolic Model Checking , 1993, CAV.
[3] Rolf Drechsler,et al. Advanced Formal Verification , 2004 .
[4] Giovanni De Micheli,et al. Complex instruction and software library mapping for embedded software using symbolic algebra , 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[5] Fabian Wolf. Behavioral Intervals in Embedded Software: Timing and Power Analysis of Embedded Real-Time Software Processes , 2002 .
[6] Eugene Goldberg,et al. BerkMin: A Fast and Robust Sat-Solver , 2002 .
[7] Kenneth L. McMillan,et al. Symbolic model checking: an approach to the state explosion problem , 1992 .
[8] Kwang-Ting Cheng,et al. Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques , 2000, DAC.
[9] Carl Sechen,et al. Timing- and crosstalk-driven area routing , 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[10] Jacob A. Abraham,et al. Abstraction Techniques for Validation Coverage Analysis and Test Generation , 1998, IEEE Trans. Computers.
[11] Fabian Wolf,et al. Behavioral Intervals in Embedded Software , 2002, Springer US.
[12] Kurt Keutzer,et al. Functional vector generation for HDL models using linearprogramming and Boolean satisfiability , 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[13] Zhihong Zeng,et al. LPSAT: a unified approach to RTL satisfiability , 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.
[14] Giovanni De Micheli,et al. Polynomial methods for allocating complex components , 1999, DATE '99.
[15] Iñigo Ugarte,et al. Functional vector generation for assertion-based verification at behavioral level using interval analysis , 2003, Eighth IEEE International High-Level Design Validation and Test Workshop.
[16] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.