../
IODINE: a tool to automatically infer dynamic invariants for hardware designs
- Year
- 2005
- Authors
- Sudheendra Hangal, Sridhar Narayanan, Naveen Chandra, Sandeep Chakravorty
- DOI
- 10.1109/DAC.2005.193920
Related
Persistent Notes
In-text annotations
“Formal property checking is often applied to design blocks which have a relatively well-defined high-level specification, such as blocks involving bus interfaces or floating point arithmetic. However, in practice, many important design blocks” Page 775
“do not have robust specifications or documentation, and identifying design properties in such cases is a daunting task." Page 775
“the difficulties we have faced in identifying properties for formal verification on real-life designs." Page 775
%% Import Date: 2026-06-05T17:46:58.968-04:00 %%