Per Bjesse Arne Borälv DAG-aware circuit compression for formal verification. 42-49 2004 conf/iccad/2004 ICCAD http://doi.acm.org/10.1145/1112239.1112253 db/conf/iccad/iccad2004.html#BjesseB04