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

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 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 domainspecific 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.

Toward the tools selection in model based system engineering for embedded systems—A systematic literature review

“…For example, all selected researches have been thoroughly studied and analyzed in order to assign them to corresponding category. Similarly, each selected research is intensively studied and Di et al, 2013, Berrani et al, 2013, Stancescu et al, 2010, Ouchani et al, 2013, Bouquet et al, 2012, DeTommasi et al, 2013, Andrade et al, 2009, Bazydlo et al, 2014, Doligalski and Adamski, 2013, Mueller et al, 2010, Durand and Bonato, 2012, Moreira et al, 2010, Vidal et al, 2009, Linehan and Clarke, 2012, Herrera et al, 2014, Lecomte et al, 2011, Rafiq Quadri et al, 2012, Chen et al, 2013, Vanderperren et al, 2008, Elhaji et al, 2012, Riccobene and Scandurra, 2012Zohaib Iqbal et al, 2013, Chouali and Hammad, 2011, Doering, 2014, Ouchani et al, 2014, Telinski Wiedermann anger et al, 2013, Knorreck and Apvrille, 2011, Ge et al, 2012, Baresi et al, 2013, Huang et al, 2012, Nguyen et al, 2014, Bousse et al, 2012 Modeling 5 Gomez et al, 2012, Penil et al, 2010, Espinoza et al, 2009, Rota Sena Marques et al, 2014, Behjati et al, 2011 Property specification 2 Yin et al, 2013…”

“…The model transformation activity has been Berrani et al, 2013, Bouquet et al, 2012, Doligalski and Adamski, 2013, Mueller et al, 2010, Greenyer and Kindler, 2010, Ko et al, 2013, Gronmo et al, 2009, Feher and Lengyel, 2012, de Lara and Guerra, 2014, Kolahdouz-Rahimi et al, 2014, Rutle et al, 2012, Huang et al, 2012 Model to Text (M2T) 9 DeTommasi et al, 2013, Moreira et al, 2010, Linehan and Clarke, 2012, Herrera et al, 2014, Zohaib Iqbal et al, 2013, Rose et al, 2012, Ledo et al, 2012, Ouchani et al, 2014 M2M and M2T 12 Giuseppe Di et al, 2013, Vidal et al, 2009, Lecomte et al, 2011, Rafiq Quadri et al, 2012, Elhaji et al, 2012, Riccobene and Scandurra, 2012, Doering, 2014, Andrea Bollati et al, 2013, Baresi et al, 2013, Bousse et al, 2012 performed in overall 35 researches. We classified these researches into three transformation types i.e.…”

“…UML (unified modeling language) and its SYSML (systems modeling language)/MARTE (modeling and analysis of real-time embedded systems) profiles are frequently used in contemporary research practices (Giuseppe Di et al, 2013;George-Dimitrios et al, 2014;Berrani et al, 2013;Sakairi et al, 2012;Stancescu et al, 2010;Anargyros et al, 2014;Ouchani et al, 2013;Bouquet et al, 2012;DeTommasi et al, 2013;Gomez et al, 2012;Andrade et al, 2009;Quadri et al, 2012;Bazydlo et al, 2014;Doligalski and Adamski, 2013;Mueller et al, 2010;Durand and Bonato, 2012;Moreira et al, 2010;Vidal et al, 2009;Linehan and Clarke, 2012) to specify embedded systems requirements. Furthermore, different properties specification techniques/languages have been proposed by researchers (Yin et al, 2013;Mallet, 2012;Knorreck and Apvrille, 2011;Ge et al, 2012;Behjati et al, 2011) to model behavioral/temporal aspects.…”

Model-driven automation for simulation-based functional verification

“…The metrics tools have already been presented in Section 4.1 and an on-demand round-trip engineering tool [Sendall and Kster 2004] supports the construction of UML models using our e UML2 profile from e source code. For more details of this work see [Linehan and Clarke 2011].…”

“…Finally, a sri log ReportHandler element is also included that writes details of bus transfers to a log file. The majority of the relationships between stereotyped elements are contained within the testbench UML2 Profile [Linehan and Clarke 2011].…”