Program slicing for VHDL

  • E.M. Clarke
  • M. Fujita
  • S.P. Rajan
  • T. Reps
  • S. Shankar
  • T. Teitelbaum
Regular contribution

Abstract.

Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a myriad of problems in design, simulation, testing, and formal verification. Program slicing is a static program analysis technique that allows an analyst to automatically extract portions of programs relevant to the aspects being analyzed. Slicing is fundamentally based on data and control dependences between program points. However, program slicing algorithms have traditionally been designed for sequential languages, and the presence of concurrent constructs such as those found in HDLs complicates slicing considerably. In this paper, we develop the concepts needed for slicing VHDL. The techniques extend readily to other HDLs such as Verilog. Our techniques are based on a slicing-oriented VHDL execution semantics that augments traditional dependences with inter-procedural dependences between VHDL processes. Based on these concepts, we have developed an automatic VHDL slicing tool composed of a traditional slicer and a front-end that captures VHDL simulation semantics. This paper discusses our techniques for VHDL slicing, the slicer tool, and slicing applications in design, simulation, testing, and formal verification of VHDL programs. A particularly important application of HDL slicing is source code reduction leading to reduced state spaces for model checking, and we also present empirical results for this.

Key words: Hardware description languages – Program slicing – VHDL – Model checking – Formal verification 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 2002

Authors and Affiliations

  • E.M. Clarke
    • 1
  • M. Fujita
    • 6
  • S.P. Rajan
    • 3
  • T. Reps
    • 4
  • S. Shankar
    • 5
  • T. Teitelbaum
    • 2
  1. 1.Carnegie Mellon University, Pittsburgh, PA, USA; E-mail: emc+@cs.cmu.eduUS
  2. 2.Cornell University, Ithaca, NY, USAUS
  3. 3.Fujitsu Labs of America, Sunnyvale, CA, USA; E-mail: sree@fla.fujitsu.comUS
  4. 4.Grammatech, Inc., Ithaca, NY, USA; E-mail: tt@grammatech.comUS
  5. 5.Hunter College and the Graduate Center, City University of New York, New York, USA; E-mail: subash.shankar@hunter.cuny.eduUS
  6. 6.University of Tokyo, Tokyo, Japan; E-mail: fujita@ee.t.u-tokyo.ac.jpJP

Personalised recommendations