Jen-Chieh Ou Daniel G. Saab Qiang Qiang Jacob A. Abraham Reducing verification overhead with RTL slicing. 399-404 2007 conf/glvlsi/2007 ACM Great Lakes Symposium on VLSI http://doi.acm.org/10.1145/1228784.1228879 db/conf/glvlsi/glvlsi2007.html#OuSQA07