HDL Program Slicing to Reduce Bounded Model Checking Search Overhead. - Jen-Chieh Ou; Daniel G. Saab; Jacob A. Abraham (ITC, 2006)

Reducing verification overhead with RTL slicing. - Jen-Chieh Ou; Daniel G. Saab; Qiang Qiang; Jacob A. Abraham (ACM Great Lakes Symposium on VLSI, 2007)