Name
Abstract | ||
|---|---|---|
Developing testbenches for dynamic functional verification of hardware designs is a software-intensive 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 particular, the aspect-oriented paradigm, when applied at the model level, can minimize the overlap in functionality between modules, improving maintainability and reusability. This article 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. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1145/2209291.2209304 | ACM Trans. Design Autom. Electr. Syst. |
Keywords | Field | DocType |
model-driven automation,complex verification environment,dynamic functional verification,simulation-based functional verification,aspect-oriented paradigm,aspect-oriented model-driven engineering process,verification testbench decomposition,hardware verification testbenches,verification environment-specific model,automatic transformation,model-driven software engineering address,software-intensive process,design,verification,languages,code generation,aspect oriented | Functional verification,Computer science,Intelligent verification,Parallel computing,Electronic system-level design and verification,Verification,Runtime verification,High-level verification,Maintainability,Software verification | Journal |
Volume | Issue | ISSN |
17 | 3 | 1084-4309 |
Citations | PageRank | References |
1 | 0.36 | 34 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Éamonn Linehan | 1 | 23 | 2.44 |
| Eamonn O'Toole | 2 | 33 | 4.19 |
| Siobhán Clarke | 3 | 699 | 87.36 |