2024-10-25
3638 阅读
开源综合工具Yosys中的Verilog Parser
2024-10-15
2461 阅读
介绍几个用emacs写verilog的好用的插件,效率翻倍
2024-09-30
2052 阅读
用jinja2模板的循环,来特殊处理第一个或最后一个
2024-09-10
3950 阅读
Debug或者回归时,fsdb波形太大,这里有几个技巧
2024-08-09
1915 阅读
本资料介绍了SPICE的历史,From 1969年。
2024-08-02
2379 阅读
linux diff的基本用法介绍,和一些常用的例子
2024-07-22
2706 阅读
emacs ediff对比代码、合并代码的介绍,及常用快捷键
2024-07-11
2089 阅读
介绍verilog generate for的用法
2024-06-22
3474 阅读
数字验证有两种技术,动态仿真和静态形式验证(动态仿真也可以实时用sva来检查)。任何一种验证技术都不能解决全部问题,需要相互补充,发挥每个验证技术的长处,才能在项目中得到最好的效果。