Pablo Gonzalez de Aledo, Nils Przigoda, Robert Wille, Rolf Drechsler, Pablo Sanchez,
"Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification"
, in IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), Vol. 36, Nummer 3, Seite(n) 475-488, 2017, ISSN: 1937-4151
Original Titel:
Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification
Sprache des Titels:
Englisch
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD)
Forschungs-