【芯片验证方法】

大家好，欢迎来到IT知识分享网。

术语——中文术语

验证常用的英语术语：

验证：尽量模拟实际应用场景，比对芯片的所需要的目标功能和实现的功能
影响验证的要素：应用场景、目标功能、比对应用场景、目标功能：来源于产品需求、系统方案、设计实现；准确、完备、清晰、异常。
比对：设计与验证的隔离、独立性；比对效率
验证与测试：关注点的区别
验证类型：EDA验证、FPGA验证、芯片验证、软硬件结合验证

验证流程

测试点：

例如：芯片可以处理包长为64Bytes~1500Bytes的数据包，则验证时则可以划分成哪几个测试区间呢？（假设包长为16Bit位宽）。

测试点——分解测试点的方法

验证用例——定向验证

验证用例——随机验证

rand bit [15:0] pkt_len; constraint c_pkt_len { 
    pkt_len dist { 
    [1:61] :/ 10, [62:63] :/ 10, [64:，65] :/ 10, [66:1498] :/ 10, [1499:1500] :/ 10, [1501:1502] :/ 10, [1502:65535] :/ 10, }; } 

覆盖率——Code Coverage

如果RTL不小心写成上面这样，而没有验证到，我们能发现吗?

覆盖率——Function Coverage

验证用例——脚本化

验证平台——架构

验证平台——集成

验证的模块化、完整性思维

验证自动化——工具

验证自动化

验证语言——System Verilog

验证语言——SVA

UVM