![]() | ![]() |
| 2005 | ||
|---|---|---|
| 1 | 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] |
Data released under the ODC-BY 1.0 license — See also our legal information page