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://link.springer.de/link/service/journals/10009/bibs/2004001/20040125.htm db/journals/sttt/sttt4.html#ClarkeFRRST02