TY -
GEN
AU - Langer, Jan
AU - Heinkel, Ulrich
AU - Heinkel, Ulrich
AU - Kunz, Wolfgang
TI -
High-Level-Synthese von Operationseigenschaften
PB - Universitätsbibliothek Chemnitz
KW - Logiksynthese
KW - Formale Spezifikationstechnik
KW - Operation
KW - Eigenschaft
KW - Verifikation
KW - Zustandsgraph
KW - Temporale Logik
KW - VHDL
KW - Hardwarebeschreibungssprache
KW - Schaltung
KW - Eigenschaftsbasierter Entwurf
KW - Formale Verifikation
KW - Hardwaresynthese
KW - High-Level-Synthese
KW - Operationsbasierter Entwurf
KW - Operationseigenschaften
KW - Temporale Eigenschaften
KW - Transaktionsbasierter Entwurf
KW - Vollständigkeitsprüfung
KW - Zeitdiagramme
KW - property-based design
KW - formal verification
KW - hardware description language
KW - hardware synthesis
KW - high-level synthesis
KW - operation-based design
KW - operation properties
KW - temporal properties
KW - transaction-based design
KW - completeness checking
KW - timing diagrams
KW - Hochschulschrift
KW - Operation Informatik
PY - 2011
CY - Chemnitz
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -