On generation of properties from specification

Keerthikumara Devarajegowda, Wolfgang Ecker

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

5 Zitate (Scopus)

Abstract

Although the Moore's law is slowing down in terms of technology node scaling, researchers are inventing new methods to keep the design productivity on the rising trend. As a consequence, the complexity of hardware designs will continue to grow, which results in further hardening of functional verification. Assertion based verification is well established and proven to be an effective RTL verification approach. However, manual implementation of assertions can become tedious and time consuming. Hence, a sophisticated method to automate the generation of properties from specification with minimal manual interaction is essential. In this paper, we propose a novel approach for the generation of properties that employs Object Management Group's MDA vision for code generation. The flow is built on Infineon's meta-modeling framework and makes heavy use of Python and Mako templates. Our approach incorporates model to model transformations and uses templates to finally generate the target code. Moreover, the generation flow abstracts from the property platforms and targets multiple property specification languages.

OriginalspracheEnglisch
Titel2017 IEEE International High Level Design Validation and Test Workshop, HLDVT 2017
Herausgeber (Verlag)Institute of Electrical and Electronics Engineers Inc.
Seiten95-98
Seitenumfang4
ISBN (elektronisch)9781509039975
DOIs
PublikationsstatusVeröffentlicht - 5 Dez. 2017
Veranstaltung19th IEEE International High Level Design Validation and Test Workshop, HLDVT 2017 - Santa Cruz, USA/Vereinigte Staaten
Dauer: 5 Okt. 20176 Okt. 2017

Publikationsreihe

Name2017 IEEE International High Level Design Validation and Test Workshop, HLDVT 2017
Band2017-January

Konferenz

Konferenz19th IEEE International High Level Design Validation and Test Workshop, HLDVT 2017
Land/GebietUSA/Vereinigte Staaten
OrtSanta Cruz
Zeitraum5/10/176/10/17

Fingerprint

Untersuchen Sie die Forschungsthemen von „On generation of properties from specification“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren