Program slicing of hardware description languages (1999)

by E M Clarke, M Fujita, S P Rajan, T W Reps, S Shankar, T Teitelbaum
Venue:in Proc. of CHARME’99