University of Limerick
Browse
2012-Linehan-ModelDrivenAutomationForSimulationBasedFunctionalVerification.pdf (1.26 MB)

Model-driven automation for simulation-based functional verification

Download (1.26 MB)
journal contribution
posted on 2012-10-16, 10:53 authored by Eamonn Linehan, Eamonn O'Toole, Siobhán Clarke
Developing testbenches for dynamic functional verification of hardware designs is a software inten- sive process that lies on the critical path of electronic system design. The increasing capabilities of electronic components is contributing to the construction of complex verification environments that are increasingly difficult to understand, maintain, extend and reuse across projects. Model- driven software engineering addresses issues of complexity, productivity and code quality through the use of high-level system models and subsequent automatic transformations. Reasoning about verification testbench decomposition becomes simpler at higher levels of abstraction. In particu- lar, the aspect-oriented paradigm, when applied at the model level can minimize the overlap in functionality between modules, improving maintainability and reusability. This paper presents an aspect-oriented model-driven engineering process and toolset for the development of hardware verification testbenches. We illustrate how this process and toolset supports modularized design and automatic transformation to verification environment-specific models and source code through an industry case study.

History

Publication

ACM Transactions on Design Automation of Electronic Systems;17(3), article 31

Publisher

Association for Computing Machinery

Note

peer-reviewed

Other Funding information

SFI

Rights

"© ACM, 2012. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM Transactions on Design Automation of Electronic Systems, 17(3), article 31. http://dx.doi.org/10.1145/2209291.220930

Language

English

Usage metrics

    University of Limerick

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC