University of Limerick Institutional Repository

Modelling hardware verification concerns specified in the e language: an experience report.

DSpace Repository

You will not be able to submit new items to the ULIR while we upgrade to the new research repository. If you wish to add items, or have any questions about the new system, please contact the ULIR administrator at We are sorry for any inconvenience.

Show simple item record Galpin, Darren Driver, Cormac Clarke, Siobhán 2012-03-15T14:55:33Z 2012-03-15T14:55:33Z 2009
dc.description peer-reviewed en_US
dc.description.abstract e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In recent years, the continued growth of the testbenches developed at Infineon Technologies has resulted in their becoming difficult to understand, maintain and extend. Consequently, a decision was taken to document the testbenches at a higher level of abstraction. Accordingly, we attempted to model our legacy test suites with an existing aspect-oriented modelling approach. In this paper we describe our experience of applying Theme/UML, an aspectoriented modelling approach, to the representation of aspectoriented testbenches implemented in e. It emerged that the common aspect-oriented concepts supported by Theme/UML were not sufficient to adequately represent the e language, primarily due to e’s dynamic, temporal nature. Based on this experience we propose a number of requirements that must be addressed before aspect-oriented modelling approaches such as Theme/UML are capable of representing aspect-oriented systems implemented in e. en_US
dc.language.iso eng en_US
dc.publisher Association for Computing Machinery en_US
dc.relation.ispartofseries Proceedings of the Internatioanl Conference on Aspect-Oriented Software Development(AOSD) Industry Track;2009
dc.rights "© ACM, 209. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD) Industry Track. en_US
dc.subject hardware verification en_US
dc.subject aspect-oriented modelling en_US
dc.title Modelling hardware verification concerns specified in the e language: an experience report. en_US
dc.type Conference item en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.type.restriction none en
dc.type.restriction none en
dc.contributor.sponsor SFI
dc.relation.projectid 03/CE2/I303_1

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account