Merkliste 
 1 Ergebnisse 
 
1

Verification of synthesized circuits at register transfer l..:

, In: Proceedings of the conference on European design automation,
Feldbusch, Fridtjof ; Kumar, Ramayya - p. 22-26 , 1991