![]() | ![]() |
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] |