author = { Langer, Jan Heinkel, Ulrich AND Heinkel, Ulrich AND Kunz, Wolfgang },

title = { High-Level-Synthese von Operationseigenschaften },

publisher = {Universitätsbibliothek Chemnitz},

keywords = { Logiksynthese , Formale Spezifikationstechnik , Operation , Eigenschaft , Verifikation , Zustandsgraph , Temporale Logik , VHDL , Hardwarebeschreibungssprache , Schaltung , Eigenschaftsbasierter Entwurf , Formale Verifikation , Hardwaresynthese , High-Level-Synthese , Operationsbasierter Entwurf , Operationseigenschaften , Temporale Eigenschaften , Transaktionsbasierter Entwurf , Vollständigkeitsprüfung , Zeitdiagramme , property-based design , formal verification , hardware description language , hardware synthesis , high-level synthesis , operation-based design , operation properties , temporal properties , transaction-based design , completeness checking , timing diagrams , Hochschulschrift , Operation Informatik },

year = {2011},

address = { Chemnitz },

url = { http://slubdd.de/katalog?TN_libero_mab2 }