宽带电力线载波通信系统物理层的逻辑验证

Design verification of BPLC system

针对宽带电力线载波通信系统物理层的功能特性,分析了物理层逻辑验证所面临的挑战,提出了一种基于Systemverilog的逻辑验证平台。验证平台采用分层设计,结合面向对象技术,实现平台部件的重用性和扩展性。验证还引入工厂模式,提高了验证平台的灵活性和执行速度。验证采用随机和定向相结合的方式以保证验证的全面覆盖。利用DPI-C接口集成比特精确的算法仿真模型来实现随机验证,提高功能覆盖率。利用MATLAB算法仿真平台的数据作为有噪环境下的定向测试,使功能覆盖率达到100%,达到了验证目的。

Based on the specified feature of the physical layer of the low voltage Broadband Power Line Communication(BPLC),the challenges of design verification of BPLC physical layer is illustrated. A layered testbench based on Systemverilog is proposed. With Object Oriented Programming(OOP)technology,reusability and extensibilty are archived. The designed factory mode improves the tests flexibility and run speed. Both constraint random tests and direct tests are used. Bit-true C models are integrated using DPI-C technique for implementation of the random tests to archive the major functional coverage goal.The reference data for the direct tests are read into the testbench from matlab environment as the corner cases to further improve the functional coverage to 100% to meet the goal of the verification.