Timothy Kam Michael Kishinevsky Jordi Cortadella Marc Galceran Oms Correct-by-construction microarchitectural pipelining. 434-441 2008 ICCAD http://doi.acm.org/10.1145/1509456.1509558 conf/iccad/2008 db/conf/iccad/iccad2008.html#KamKCO08