IODINE swMATH ID: 26817 Software Authors: Sudheendra Hangal, Naveen Chandra, Sridhar Narayanan, Sandeep Chakravorty Description: IODINE: A Tool to Automatically Infer Dynamic Invariants for Hardware Designs. We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the need to manually specify design-specific properties. IODINE presents a way to automatically extract properties such as state machine protocols, request-acknowledge pairs, and mutual exclusion between signals from design simulations. We show that dynamic invariant detection for hardware designs can infer relevant and accurate properties. Homepage: https://ieeexplore.ieee.org/document/1510440 Related Software: Daikon; AspectC++; Zoltar; Cetus; LARA; LLVM Cited in: 1 Publication Cited by 4 Authors 1 Abreu, Rui 1 Gonzalez, Alberto 1 van Gemund, Arjan J. C. 1 Zoeteweij, Peter Cited in 0 Serials Cited in 1 Field 1 Computer science (68-XX) Citations by Year