An initial assessment of aspect-oriented programming
Proceedings of the 21st international conference on Software engineering
Principles of Verifiable RTL Design
Principles of Verifiable RTL Design
Designing the automatic transformation of visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
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
Exceptions and aspects: the devil is in the details
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Verification Methodology Manual for SystemVerilog
Verification Methodology Manual for SystemVerilog
ISORC '07 Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
An Aspect-Oriented Approach to the Modularisation of Context
PERCOM '07 Proceedings of the Fifth IEEE International Conference on Pervasive Computing and Communications
Model driven engineering for MPSOC design space exploration
Proceedings of the 20th annual conference on Integrated circuits and systems design
Applying a Model-based Approach for Embedded System Development
EUROMICRO '07 Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications
An exploratory study of the effect of aspect-oriented programming on maintainability
Software Quality Control
Towards reusable components with aspects: an empirical study on modularity and obliviousness
Proceedings of the 30th international conference on Software engineering
ATL: A model transformation tool
Science of Computer Programming
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)
MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Shortening the verification cycle with synthesizable abstract models
Proceedings of the 46th Annual Design Automation Conference
ESIDE: An Integrated Development Environment for Component-Based Embedded Systems
COMPSAC '09 Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 01
Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation
Managing embedded systems complexity with aspect-oriented model-driven engineering
ACM Transactions on Embedded Computing Systems (TECS)
Toward an aspect oriented ADL for embedded systems
ECSA'10 Proceedings of the 4th European conference on Software architecture
An aspect-oriented, model-driven approach to functional hardware verification
Journal of Systems Architecture: the EUROMICRO Journal
On the impact of aspectual decompositions on design stability: an empirical study
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Enriching MATLAB with aspect-oriented features for developing embedded systems
Journal of Systems Architecture: the EUROMICRO Journal
Hi-index | 0.00 |
Developing testbenches for dynamic functional verification of hardware designs is a software-intensive process that lies on the critical path of electronic system design. The increasing capabilities of electronic components is contributing to the construction of complex verification environments that are increasingly difficult to understand, maintain, extend, and reuse across projects. Model-driven software engineering addresses issues of complexity, productivity, and code quality through the use of high-level system models and subsequent automatic transformations. Reasoning about verification testbench decomposition becomes simpler at higher levels of abstraction. In particular, the aspect-oriented paradigm, when applied at the model level, can minimize the overlap in functionality between modules, improving maintainability and reusability. This article presents an aspect-oriented model-driven engineering process and toolset for the development of hardware verification testbenches. We illustrate how this process and toolset supports modularized design and automatic transformation to verification environment-specific models and source code through an industry case study.