Vidyasagar Nookala Sachin S. Sapatnekar A method for correcting the functionality of a wire-pipelined circuit. 570-575 2004 conf/dac/2004 DAC http://doi.acm.org/10.1145/996566.996724 db/conf/dac/dac2004.html#NookalaS04