Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Using SVA with VCS for Mixed-Language Verification

 
: Hohenstern, S.; Schneider, S.; Niemann, B.

Synopsys Users' Group -SNUG-:
15th Annual Synopsys Users' Group Meeting, SNUG Europe 2006. Proceedings
München, 2006
Synopsys Users' Group (Annual Meeting SNUG Europe) <15, 2006, Munich>
Englisch
Konferenzbeitrag
Fraunhofer IIS ()

: http://publica.fraunhofer.de/dokumente/N-56152.html