论文信息 - Multi-Level Assertion-Based Design

Multi-Level Assertion-Based Design

Assertions are advocated as a means to specify high-level models of a design. Assertions are translated into executable behavioral models ("cando-objects"). The cando-objects reflect the intended non-determinism of assertions as well as the non-determinism caused by the incompleteness of a set of assertions. The approach supports significant design methodological concepts like refinement and compositionality.

Hans Eveking | Martin Schweikert | Martin Braun | Martin Schickel | Volker Nimbler

[1] Hans Eveking,et al. An Efficient Synthesis Method for Property-Based Design in Formal Verification: On Consistency and Completeness of Property-Sets , 2007 .

[2] Roderick Bloem,et al. Optimizations for LTL Synthesis , 2006, 2006 Formal Methods in Computer Aided Design.

[3] Pallab Dasgupta,et al. What lies between Design Intent Coverage and Model Checking? , 2006, Proceedings of the Design Automation & Test in Europe Conference.

[4] Hans Eveking,et al. On Consistency and Completeness of Property-Sets : Exploiting the Property-Based Design-Process , 2006 .

[5] Katell Morin-Allory,et al. On-Line Test Vector Generation from Temporal Constraints Written in PSL , 2006, 2006 IFIP International Conference on Very Large Scale Integration.

[6] Armin Biere,et al. Symbolic Model Checking without BDDs , 1999, TACAS.