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 in 0 Serials

Citations by Year