Edmund M. Clarke Masahiro Fujita Sreeranga P. Rajan Thomas W. Reps Subash Shankar Tim Teitelbaum Program Slicing of Hardware Description Languages. 298-312 http://link.springer.de/link/service/series/0558/bibs/1703/17030298.htm 1999 conf/charme/1999 CHARME db/conf/charme/charme1999.html#ClarkeFRRST99