IODINE: A tool to automatically infer dynamic invariants for hardware designs

Proceedings - Design Automation Conference

Volumn , Issue , 2005, Pages 775-778

  Hangal, Sudheendra ^a   Narayanan, Sridhar ^b   Chandra, Naveen ^a   Chakravorty, Sandeep ^a  

^a SUN MICROSYSTEMS   (United States)

^b PA Semi Inc   (United States)

Author keywords

Dynamic Analysis; Dynamic Invariants; Formal Specification

Indexed keywords

DYNAMIC ANALYSIS; DYNAMIC INVARIANTS; FORMAL SPECIFICATION; HARDWARE DESIGNS;

COMPUTER HARDWARE; COMPUTER SIMULATION; NETWORK PROTOCOLS;

PRODUCT DESIGN;

EID: 27944434746     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Tools and Algorithms for the Construction and Analysis of Systems, LNCS, 1579:193-207, 1999.
2. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):1-25, Feb 2001.
3. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the International Conference on Software Engineering, May 2002.
4. S. Kapil, H. McGhan, and J. Lawrendra. A chip multithreaded processor for network-facing workloads. IEEE Micro, pages 20-30, March-April 2004.
5. J. W. Nimmer and M. D. Ernst. Invariant inference for static checking: An empirical evaluation. In Proceedings of the ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering, pages 11-20, 2002.
6. S. Pollock and J. Zhang. Early and automatic error detection with Verix formal functional verification.
7. S. Bensalem, Y. Lakhnech, and H. Saidi. Powerful techniques for the automatic generation of invariants. In Proceedings of Computer Aided Verification. Springer Verlag, 1996.
8. J. Yang and D. Evans. Automatically inferring temporal properties for program evolution. Fifteenth IEEE International Symposium on Software Reliability Engineering, November 2004.