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.)