![]() |
| 2005 | ||
|---|---|---|
| 1 | EE | Sudheendra Hangal, Naveen Chandra, Sridhar Narayanan, Sandeep Chakravorty: IODINE: a tool to automatically infer dynamic invariants for hardware designs. DAC 2005: 775-778 |
| 1 | Naveen Chandra | [1] |
| 2 | Sudheendra Hangal | [1] |
| 3 | Sridhar Narayanan | [1] |