Merkliste 
 1 Ergebnisse 
 
1

A C-based RTL design verification methodology for complex m..:

, In: Proceedings of the 34th annual Design Automation Conference,
Yim, Joon-Seo ; Hwang, Yoon-Ho ; Park, Chang-Jae... - p. 83-88 , 1997