Kerstin Eder Geoff Barrett Achieving maximum performance: a method for the verification of interlocked pipeline control logic. 135-140 2002 conf/dac/2002 DAC http://doi.acm.org/10.1145/513918.513953 db/conf/dac/dac2002.html#EderB02