Program Slicing for Design Automation: An Automatic Technique for Speeding-up Hardware Design, Simul

Any opinions, ndings and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reeect the views of SRC, NSF, DARPA, or the United States Government. Abstract. 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 veriication tasks, as described here.