Sudheendra Hangal Naveen Chandra Sridhar Narayanan Sandeep Chakravorty IODINE: a tool to automatically infer dynamic invariants for hardware designs. 775-778 2005 conf/dac/2005 DAC http://doi.acm.org/10.1145/1065579.1065786 db/conf/dac/dac2005.html#HangalCNC05