Automatic generation of complex properties for hardware designs

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2008, Pages 545-548

  Rogin, Frank ^a   Klotz, Thomas ^a   Fey, Görschwin ^b   Drechsler, Rolf ^b   Rülke, Steffen ^a  

^a FRAUNHOFER INSTITUTE FOR INTEGRATED CIRCUITS   (Germany)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CHLORINE COMPOUNDS; HARDWARE; INDUSTRIAL ENGINEERING; TESTING; TRACE ANALYSIS;

ASSERTION-BASED VERIFICATION; AUTOMATED SUPPORT; AUTOMATIC GENERATION; COMPLEX DESIGNS; COMPLEX PROPERTIES; DESIGN BEHAVIORS; DESIGN PROPERTIES; FORMAL PROPERTIES; FORMAL VERIFICATIONS; HARDWARE DESIGNS; NON-TRIVIAL TASKS; PRACTICAL USE; PROMISING APPROACH; PROPERTY CHECKING; TIME CONSUMING;

ERROR ANALYSIS;

EID: 49749135121     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2008.4484908     Document Type: Conference Paper

References (7)

1. Accellera Organization. Accellera Standard OVL V2. www.accellera.org, 2007.
2. R. Drechsler and G. Fey. Design Understanding by Automatic Property Generation. In Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI), pages 274-281, 2004.
3. S. Hangal, N. Chandra, S. Narayanan, and S. Chakravorty. IODINE: A Tool to Automatically Infer Dynamic Invariants for Hardware Designs. In Design Automation Conference, pages 775-778, 2005.
4. S. Hangal and M. Lam. Tracking down software bugs using automatic anomaly detection. In International Conference on Software Engineering, pages 291-301, 2002.
5. IEEE Computer Society. IEEE Standard for SystemVerilog - Unified Hardware Design, Specification, and Verification Language. 2005.
6. B. Isaksen and V. Bertacco. Verification through the Principle of Least Astonishment. In IEEE/ACM International Conference on Computer-Aided Design, pages 860-867, 2006.
7. J. Perkins and M. Ernst. Efficient Algorithms for Dynamic Detection of Likely Invariants. In ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 23-32, 2004.