IODINE: a tool to automatically infer dynamic invariants for hardware designs.

Sudheendra Hangal, Naveen Chandra, Sridhar Narayanan, Sandeep Chakravorty

Browse the full DAC paper archive.