Edmund M. Clarke Masahiro Fujita Sreeranga P. Rajan Thomas W. Reps Subash Shankar Tim Teitelbaum Program slicing for VHDL. 125-137 2002 4 STTT 1 http://dx.doi.org/10.1007/s100090100069 db/journals/sttt/sttt4.html#ClarkeFRRST02