The University of Dublin | Trinity College -- Ollscoil Átha Cliath | Coláiste na Tríonóide
Trinity's Access to Research Archive
Home :: Log In :: Submit :: Alerts ::

School of Computer Science and Statistics >
Computer Science >
Computer Science (Scholarly Publications) >

Please use this identifier to cite or link to this item:

Title: An Aspect-Oriented, Model-Driven Approach to Functional Hardware Verification
Name Grant Number
03/CE2/I303 1

Author's Homepage:
Keywords: Computer hardware and architecture
Model-Based Software Engineering
Aspect-Oriented Programming
Issue Date: 2011
Citation: Eamonn Linehan, Siobhán Clarke, An Aspect-Oriented, Model-Driven Approach to Functional Hardware Verification, Journal of Systems Architecture, 2011
Series/Report no.: Journal of Systems Architecture
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.
Description: PUBLISHED
Related links:
Appears in Collections:Computer Science (Scholarly Publications)

Files in This Item:

File Description SizeFormat
An Aspect-Oriented, Model-Driven Approach to Functional Hardware Verification.pdfPublished (author's copy) - Peer Reviewed894.7 kBAdobe PDFView/Open

This item is protected by original copyright

Please note: There is a known bug in some browsers that causes an error when a user tries to view large pdf file within the browser window. If you receive the message "The file is damaged and could not be repaired", please try one of the solutions linked below based on the browser you are using.

Items in TARA are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback