HDL Program Slicing to Reduce Bounded Model Checking Search Overhead.

Jen-Chieh Ou, Daniel G. Saab, Jacob A. Abraham

Browse the full ITC paper archive.