Correct reuse of complex design units during high level synthesis : verification issuesDušina, JuliaIEEE International High Level Design Validation and Test Workshop, Oakland, California, USA, November 15-16, 1996 : proceedings1996