Python Based Testbench for Coverage Driven Functional Verification
Honglei Liang, Nianxiong Tan, Yang Ren, Wanrong Hu, Jie He, Junhu Xia
20222022 7th International Conference on Integrated Circuits and Microsystems (ICICM)12 citationsDOI
Abstract
As digital design gets more complex, verification takes more efforts and it increasingly costs more than the design. The common verification practice of using the universal verification methodology (UVM)/system verilog (SV) has a higher entry barrier than using one of the most popular language Python. The paper uses the Python-based coroutine cosimulation testbench (cocotb) to verify a serial peripheral interface (SPI) and an advanced peripheral bus (APB) controller. The process of coverage driven verification from the test planning to the regression testing is discussed. The result confirms the correctness of the APB-SPI controller functions.
Topics & Concepts
Python (programming language)Computer scienceCorrectnessVerilogFunctional verificationVerificationIntelligent verificationProgramming languageCode coverageRegression testingFormal verificationEmbedded systemRuntime verificationField-programmable gate arraySoftwareSoftware systemSoftware constructionReal-time simulation and control systemsEmbedded Systems and FPGA ApplicationsElectrostatic Discharge in Electronics