Hari Mony Jason Baumgartner Alan Mishchenko Robert K. Brayton Speculative reduction-based scalable redundancy identification. 1674-1679 2009 DATE http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=5090609&arnumber=5090932&count=326&index=318 conf/date/2009 db/conf/date/date2009.html#MonyBMB09