Marwedel: Veri cation of Hardware Descriptions by Retargetable Code Generation (1989)

by L Nowak, P
Venue:Proc. 26th DAC