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>
English
Conference Paper
Fraunhofer IIS ()

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