Automatic Constraint Based Test Generation for Behavioral HDL Models : Design verification and validation
Gespeichert in:
Veröffentlicht in: | IEEE transactions on very large scale integration (VLSI) systems 2008, Vol.16 (4), p.408-421 |
---|---|
Hauptverfasser: | , , , , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | |
---|---|
ISSN: | 1063-8210 1557-9999 |