An initial assessment of aspect-oriented programming
Proceedings of the 21st international conference on Software engineering
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Principles of Verifiable RTL Design
Principles of Verifiable RTL Design
UML-Based Analysis of Embedded Systems Using a Mapping to VHDL
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
The e Language: A Fresh Separation of Concerns
TOOLS '01 Proceedings of the Technology of Object-Oriented Languages and Systems
Writing Testbenches: Functional Verification of HDL Models, Second Edition
Writing Testbenches: Functional Verification of HDL Models, Second Edition
Formal hardware specification languages for protocol compliance verification
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Embedded Systems Handbook
Aspect-Oriented Analysis and Design
Aspect-Oriented Analysis and Design
UML 2.0 Profile for Embedded System Design
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
A Qualitative Comparison of Three Aspect Mining Techniques
IWPC '05 Proceedings of the 13th International Workshop on Program Comprehension
Verification Methodology Manual for SystemVerilog
Verification Methodology Manual for SystemVerilog
Improving uml profile design practices by leveraging conceptual domain models
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
An exploratory study of the effect of aspect-oriented programming on maintainability
Software Quality Control
Aspect-oriented fault tolerance for real-time embedded systems
Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software
Aspects in hardware: what do they look like?
Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software
Personal reflections on automation, programming culture, and model-based software engineering
Automated Software Engineering
Modelling hardware verification concerns specified in the e language: an experience report
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Aspect-Oriented Programming with the e Verification Language: A Pragmatic Guide for Testbench Developers
Models in Software Engineering
SystemC/C-based model-driven design for embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Metamodels in Europe: Languages, Tools, and Applications
IEEE Design & Test
Shortening the verification cycle with synthesizable abstract models
Proceedings of the 46th Annual Design Automation Conference
Transactions on Aspect-Oriented Software Development VI
Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation
Electronic system-level synthesis methodologies
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Managing embedded systems complexity with aspect-oriented model-driven engineering
ACM Transactions on Embedded Computing Systems (TECS)
On the impact of aspectual decompositions on design stability: an empirical study
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Model-driven automation for simulation-based functional verification
ACM Transactions on Design Automation of Electronic Systems (TODAES) - Special section on verification challenges in the concurrent world
PHRT: a model and programmable tool for hardware reengineering automation
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Enriching MATLAB with aspect-oriented features for developing embedded systems
Journal of Systems Architecture: the EUROMICRO Journal
Hi-index | 0.00 |
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.