New Architecture of the Object-Oriented Functional Coverage Mechanism for Digital Veriﬁcation
Marek Ciepłucha , Witold Pleskacz
AbstractFunctional 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.
|Publication size in sheets||0.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 English||Measurement, Syntactics, Real-time systems, Object oriented modeling, Testing, Monitoring, Libraries|
|project||xxx. 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
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.