The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
IODINE: a tool to automatically infer dynamic invariants for hardware designs
The work
| Authors | Sudheendra Hangal; Sridhar Narayanan; Naveen Chandra; Sandeep Chakravorty |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 2005 |
| Citekey | hangal2005iodine |
Where it appeared
| Published in | Proceedings. 42nd Design Automation Conference, 2005. |
|---|---|
| Publisher | IEEE |
| Pages | 775--778 |
Identifiers
| DOI | 10.1109/dac.2005.193920 |
|---|
Access
| Landing page | https://doi.org/10.1109/dac.2005.193920 |
|---|
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-10-26 07:11 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@inproceedings{hangal2005iodine,
title = {IODINE: a tool to automatically infer dynamic invariants for hardware designs},
author = {Sudheendra Hangal and Sridhar Narayanan and Naveen Chandra and Sandeep Chakravorty},
year = {2005},
booktitle = {Proceedings. 42nd Design Automation Conference, 2005.},
publisher = {IEEE},
pages = {775--778},
doi = {10.1109/dac.2005.193920},
}
This record lives at https://refs.drheap.org/hangal2005iodine/ and will keep doing so.