Aspect enhanced functional coverage driven verification in the SystemC HDVL

As embedded systems incorporate more and more amounts of IP and embedded software the functional and nonfunctional verification task is one of the key bottlenecks in the design process. Despite proprietary design and verification languages such as IEEE-1800 SystemVerilog and IEEE-1647 e offer CDV functionalities neither SystemC or the SCV addon library contain these features. Moreover, as programming languages and verification paradigms of the hardware and software domain continue to converge the verification techniques and methodologies need to take account of that, e.g. by adaption of the aspect-oriented programming scheme. In this paper we describe an approach for enhancing the functional coverage collection in the SystemC ecosystem by means of aspects, allowing cross-cutting the concern of CDV verification in stand-alone aspects, increasing the overall verification productivity.

[1]  Christoph Kuznik,et al.  Functional coverage-driven verification with SystemC on multiple level of abstraction , 2011 .

[2]  Rached Tourki,et al.  Verification of SystemC transaction level models using an aspect-oriented and generic approach , 2010, 5th International Conference on Design & Technology of Integrated Systems in Nanoscale Era.

[3]  Wolfgang Schröder-Preikschat,et al.  Dynamic AspectC++: Generic Advice at Any Time , 2009, SoMeT.

[4]  Christian B. Spear,et al.  SystemVerilog for Verification: A Guide to Learning the Testbench Language Features , 2007 .

[5]  Rached Tourki,et al.  Aspect-based ABV for SystemC transaction level models , 2009, 2009 International Conference on Microelectronics - ICM.

[6]  Weidong Qiu,et al.  An automatic test coverage analysis for SystemC description using aspect-oriented programming , 2004, 8th International Conference on Computer Supported Cooperative Work in Design.

[7]  Olaf Spinczyk,et al.  AspectC++: An integrated approach for static and dynamic adaptation of system software , 2010, Knowl. Based Syst..

[8]  Michael Engel,et al.  Aspects in hardware: what do they look like? , 2008 .

[9]  Paulo César Masiero,et al.  A pointcut-based coverage analysis approach for aspect-oriented programs , 2011, Inf. Sci..

[10]  G. Jakacki.  Aspect-oriented techniques for extraction of communication models from SystemC designs , 2003, ASIC, 2003. Proceedings. 5th International Conference on.

[11]  David Déharbe,et al.  Aspect-oriented design in systemC: implementation and applications , 2006, SBCCI '06.