RTL Design Verification by Making Use of Datapath Information.

Masahiro Fujita RTL Design Verification by Making Use of Datapath Information. 592-597 1992 conf/iccd/1992 ICCD db/conf/iccd/iccd1992.html#Fujita92