New Architecture of the Object-Oriented Functional Coverage Mechanism for Digital Verification

Marek Ciepłucha , Witold Pleskacz

Abstract

Functional Coverage is a mechanism used in digital integrated circuits functional verification to measure whether the executed test set covered the declared functionality. It helps to examine test scenarios, by providing metrics that give information about the testcase or design-under-test (DUT) reached states (coverage points). SystemVerilog language provides dedicated syntax to make it possible, such as covergroup and coverpoint objects. However, these features have very limited functionality. It is difficult to manipulate functional coverage data on the testbench level, e.g. to make the test scenario dependent on the real-time coverage metrics. It is also not clear how to define coverage objects for complex design features. The architecture of a new, object-oriented functional coverage mechanism for digital verification, implemented in Python, is proposed in this paper. The testbench is based on the Cocotb open verification framework. The implemented solution gives more flexibility than standard SystemVerilog syntax and enables more agile creation of verification environments.
Author Marek Ciepłucha IMiO
Marek Ciepłucha,,
- The Institute of Microelectronics and Optoelectronics
, Witold Pleskacz IMiO
Witold Pleskacz,,
- The Institute of Microelectronics and Optoelectronics
Pages1-6
Publication size in sheets0.5
Book Abadir Magdy, Tehranipoor Mark, Bhadra Jayanta (eds.): Proc. of 1st IEEE International Verification and Security Workshop (IVSW), vol. CFP16G73-USB, 2016, IEEE, ISBN 978-1-5090-1140-7, 100 p., DOI:10.1109/IVSW.2016.7566597
Keywords in EnglishMeasurement, Syntactics, Real-time systems, Object oriented modeling, Testing, Monitoring, Libraries
DOIDOI:10.1109/IVSW.2016.7566600
URL http://ieeexplore.ieee.org/document/7566600/
projectxxx. Project leader: Pleskacz Witold, , Phone: (48 22) 234 53 64, application date 22-03-2013, start date 06-05-2013, planned end date 05-05-2016, DOBR/0053/R/ID1/2013/03, Implemented
WEiTI Projects financed by NCRD [Projekty finansowane przez NCBiR (NCBR)]
Languageen angielski
Score (nominal)0
Citation count*0
Cite
Share Share



* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Back