An Aspect-Oriented, Model-Driven Approach to Functional Hardware Verification
Citation:
Eamonn Linehan, Siobhán Clarke, An Aspect-Oriented, Model-Driven Approach to Functional Hardware Verification, Journal of Systems Architecture, 2011Download Item:
Abstract:
The cost of correcting errors in the design of an embedded system?s hardware components can be higher than for its software components, making it important to test as early as possible. Testing hardware components before they are implemented involves verifying the design through either formal or more commonly, simulation-based functional verification. Performing functional verification of a hardware design requires software-based simulators and verification testbenches. However, the increasing complexity of embedded systems is contributing to testbenches that are progressively more difficult to understand, maintain, extend and reuse across projects. This paper presents an aspect-oriented domain-specific modelling language for the e hardware verification language that can be used as part of a model-based software engineering process. The modelling language is designed to produce well modularised models from which e code can be generated, thereby improving engineers ability to develop testbenches that can be more easily maintained, adapted and reused. We demonstrate the suitability of the modelling language through its application to a representative testbench from the automotive semiconductor industry.
Sponsor
Grant Number
Science Foundation Ireland (SFI)
03/CE2/I303 1
Author's Homepage:
http://people.tcd.ie/sclarkeDescription:
PUBLISHED
Author: CLARKE, SIOBHAN
Type of material:
Journal ArticleCollections
Series/Report no:
Journal of Systems ArchitectureAvailability:
Full text availableKeywords:
Computer hardware and architecture, Model-Based Software Engineering, Aspect-Oriented ProgrammingDOI:
http://dx.doi.org/10.1016/j.sysarc.2011.02.001Metadata
Show full item recordLicences: