Program Slicing for Design Automation: An Automatic Technique for Speeding-up Hardware Design, Simulation, Testing, and Verification

E.M. Clarke, M. Fujita, S.P. Rajan, T. Reps, S. Shankar, and T. Teitelbaum

Program slicing is a static program analysis technique that allows an analyst to automatically extract portions of programs relevant to the aspects being analyzed. This paper discusses a tool that applies slicing to hardware description languages. The resulting tool provides assistance in various hardware design, simulation, testing, and formal verification tasks, as described here.

(Click here to access the paper.)