On generation of properties from specification

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.