Program Slicing of Hardware Description Languages
The work
| Authors | Edmund M. Clarke; Masahiro Fujita; Sreeranga P. Rajan; Thomas Reps; Subash Shankar; Tim Teitelbaum |
|---|---|
| Editors | |
| Type | techreport |
| Year | 1999 |
| Citekey | clarke1999program |
Where it appeared
| Publisher | School of Computer Science, Carnegie Mellon University |
|---|---|
| Number in series | CMU-CS-99-103 |
| School | School of Computer Science, Carnegie Mellon University |
Identifiers
| DOI | 10.21236/ada363556 |
|---|---|
| report_number | CMU-CS-99-103 |
Access
| Landing page | https://www.cs.cmu.edu/~emc/papers/Technical%20Reports/Program%20Slicing%20of%20Hardware%20Description%20Languages%20CMU-CS-99-103.pdf |
|---|
Empty on purpose
| container |
Related
| Distinct from | mishra1985hierarchical |
|---|---|
| Distinct from | vantassel1993femtovhdl |
From bibtex.
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. We extend program slicing to HDLs, thus allowing for automatic program reduction to let the user focus on relevant code portions. We have implemented a VHDL slicing tool composed of a general inter-procedural slicer and a front-end that captures VHDL execution semantics. This report provides an introduction to the theory of inter-procedural program slicing, a discussion of how to slice VHDL programs, a description of the resulting tool, and a discussion of some applications and experimental results.
A copy is held
pdf, 297.8 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-09-17 18:13 UTC |
| Approved by | a person 2026-10-22 18:07 UTC |
Filed under
Cite it as
@techreport{clarke1999program,
title = {Program Slicing of Hardware Description Languages},
author = {Edmund M. Clarke and Masahiro Fujita and Sreeranga P. Rajan and Thomas Reps and Subash Shankar and Tim Teitelbaum},
year = {1999},
publisher = {School of Computer Science, Carnegie Mellon University},
school = {School of Computer Science, Carnegie Mellon University},
doi = {10.21236/ada363556},
}
This record lives at https://refs.drheap.org/clarke1999program/ and will keep doing so.