sunstat的博客

本文通过结合代码讲解了SystemVerilog中进行高精度浮点运算时的一种求解思路，以免大家淹没在进制转换和符号运算的汪洋大海里不能自拔。

聊聊模块级寄存器模型如何复用到系统级

聊聊vcs的分块编译（partition compile）

由于c函数中是不能添加延迟的，所以我们通过调用sv中的task来实现添加延迟的功能，将sv中的task导出供C模块使用用到的是export “DPI-C” task。sv想要引用c语言的函数，需要通过 import "DPI-C"的方式将c函数导入当前作用域，C语言与SV关于函数参数的映射关系可以参考绿皮书。本文介绍了一个最简单的例子，实现再sv中使用c函数，同时在c中使用sv中定义的task，编译器使用的是vcs。vcs需要添加如下参数(c文件跟sv文件混在一起编译)

本文提供能一种使用verdi分析覆盖率的时候反推覆盖率对应的覆盖率database的方法，方便在regression阶段随机场景过多可以轻易由覆盖率报告复现某些具体的场景。

验证中常见术语误用简析

本文提供了一种使用synopsys工具urg将模块级覆盖率结果merge到top级的方法，更多实用验证技巧，后面慢慢补上。