University of Limerick Institutional Repository

An aspect-oriented, model-driven approach to functional hardware verification

DSpace Repository

Show simple item record

dc.contributor.author Linehan, Eamonn
dc.contributor.author Clarke, Siobhán
dc.date.accessioned 2012-04-25T15:55:34Z
dc.date.available 2012-04-25T15:55:34Z
dc.date.issued 2011
dc.identifier.citation Journal of Systems Architecture en_US
dc.identifier.uri http://hdl.handle.net/10344/2142
dc.description peer-reviewed en_US
dc.description.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 veriification testbenches. However, the increasing complexity of embedded systems is contributing to test-benches 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. en_US
dc.language.iso eng en_US
dc.publisher Elsevier en_US
dc.relation.ispartofseries Journal of Systems Architecture;2011
dc.relation.uri http://dx.doi.org/10.1016/j.sysarc.2011.02.001
dc.rights info:eu-repo/semantics/openAccess en_US
dc.rights this is the author’s version of a work that was accepted for publication in Journal of Systems Architecture. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Journal of Systems Architecture. doi10.1016/j.sysarc.2011.02.001
dc.rights
dc.subject model-based software engineering en_US
dc.subject aspect-oriented programme en_US
dc.subject theme/UML en_US
dc.subject code generation en_US
dc.subject MARTE en_US
dc.title An aspect-oriented, model-driven approach to functional hardware verification en_US
dc.type info:eu-repo/semantics/article en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.contributor.sponsor SFI en_US
dc.relation.projectid 03/CE2/I303_1 en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


Browse

My Account

Statistics