Browsing LERO - Project partner authors by Author "Linehan, Eamonn"

Now showing items 1-2 of 2

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

Linehan, Eamonn; Clarke, Siobhán (Elsevier, 2011)

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 ...
Modelling e verification language testbenches in UML 2.0 with theme and marte

Linehan, Eamonn; Clarke, Siobhán (Lero, University of Limerick, 2010)

This document presents a metamodel for the e Hardware Verification Language through example. The e metamodel is captured as a UML 2 profile (UML's mechanism for lightweight extension). Stereotypes from this profile can ...

DSpace Repository