- 博客(14)
- 收藏
- 关注
RSS订阅原创 VC Formal
在实际验证中，很多信号在复位期间（例如处于复位激活态）需要为特定值，而在正式分析（Functional）阶段需要切换为另一个值。在 VC Formal 中，该假设的评估起点是复位过程完成后的第一个时钟沿。正式分析阶段（Formal Analysis Phase）**同时生效，可以使用。，开启后工具会在 formal trace 生成时包含复位周期的激励。如果您希望约束在**复位仿真期间（Reset Phase）如果您需要在复位仿真结束、正式分析刚刚开始的。在 VC Formal 中，要在使用。
2026-08-25 09:54:27
274
原创 VCS -ucli
摘要： UCLI是基于Tcl的命令行接口，用于VCS仿真的交互调试与批处理控制。核心功能包括：1）仿真管理（启动/停止/断点设置）；2）信号操作（强制赋值/数值读取）；3）高级调试（单步执行/作用域查询）；4）数据转储（波形文件生成）。需通过-ucli参数启动，并配合-debug_access编译选项启用完整功能，支持脚本自动化执行。
2026-03-10 16:17:36
291
原创 验证经验乱记
调试：波形代码不匹配问题：1.波形和代码版本不匹配，尝试shift+L重载，检查sim log是否新生成了波形。2.多驱动问题，可能是force了信号，或者一个 信号通过接口连接了多驱动（这个问题比较隐蔽），可通过观察drivern显示的驱动检查是否有多驱动问题。双击信号跳到的地方不一定是其真正的驱动处。代码结果和预期不符问题：1.可能运算符优先级的问题，比如1+x?y:z，其中，+优先级最高，?：优先级最低；a&&b==c，其中==优先级高，&&优.
2022-06-21 10:14:01
6553
3
原创 常用脚本总结gv
relinuxman不会就manfind用途：查找文件，处理语法：find path [option] [command]其中option支持按时间，大小，类型，名称等筛选文件，command对find的结果进行后处理，如：#option:-mmin n #n分钟前修改过的，+mmin则为n分钟内的-mtime n #n天前修改过的-newer file #比file新的-name pattern #指定文件名，支持*通配符，-iname是忽略...
2022-04-15 13:55:28
787
原创 ubuntu18安装vcs2018+verdi2016
1.更新镜像源sudo gvim /etc/apt/sources.list#add following sentence:deb http://mirrors.ustc.edu.cn/ubuntu/ trusty main restricted universe multiversedeb http://mirrors.ustc.edu.cn/ubuntu/ trusty-security main restricted universe multiversedeb https://mir
2021-05-23 21:39:08
2242
1
原创 VCS+Verdi进行testbench调试
背景：在进行testbench调试时，使用消息打印或者单纯的ucli进行调试效率较低，利用Verdi进行图形化界面调试可以提升效率。方法：编译选项：-kdb仿真选项：-verditips：watch：在开始仿真时，会进入到verdi界面。在仿真暂停时，可以在左上角的导航栏切换到class标签（或者第一个标签，包含dut top），在搜索栏结合*搜索关注的class，如*refm*，class下面有此class的instance，点到instance，右边会显示member，class
2021-05-04 20:58:45
4062
原创 基于VCS使用VPI+PLI/DPI在verilog中调用C程序进行cover property驱动的仿真控制
本文介绍一种在verilog中，运用PLI机制调用C程序的方法，其中的C程序，可以接受传参，且可以有返回值，仿真器选择的VCS。编写C程序 #include <stdio.h>//#include "vpi_user.h"//使用PLI有两种机制：TF/ACC机制，或者VPI机制void hello_calltf(int user_data, int reason){ int var,result; var = tf_getp(1);//取$hello调用时的第
2021-04-12 22:48:50
5311
原创 Python爬取知识星球文件
1.Chrome浏览器按F12，在星球页面点击文件，获取“全部文件”的request URL，同时获取user_agent，cookie等headers，此作为requests.get方法的url和headers参数。2.chrome安装jsonview插件，地址：jsonview。安装方法：更多工具-扩展程序-加载已解压的扩展程序。地址栏输入step1获取的request URL，得到可视化的json数据，其中包含file id，name等参数。3.网页下拉到底部，加载更多信息，获取.
2020-11-25 21:52:57
4325
1
原创 UVM糖果爱好者教程 - 4.代理
本文转载自https://blog.youkuaiyun.com/zhajio/article/details/79612388，感谢原作者。上一篇文章集中讨论了jelly-bean系统的transaction和sequence。本文将深入解释验证环境中的验证组件。interface在这一部分，将提供接口（jelly_bean_if）的一般解释及其绑定验证组件和jelly-bean（DUT...
2020-04-11 22:33:45
471
原创 UVM糖果爱好者教程 - 5.验证环境
本文转载自https://blog.youkuaiyun.com/zhajio/article/details/79638865，感谢原作者。做了注解方便自己学习。Subscribers功能覆盖率收集器（jelly_bean_fc_sucbscriber）将生成的jelly beans视为计数器。从monitor发送的jelly_bean_transaction通过21行上的write函数的s...
2020-04-11 21:59:05
953
原创 SVA
测试平台主要用于产生激励，校验数据，覆盖测试计划（验证计划）；SVA主要用于协议检验和协议覆盖，相较于Verilog，更适合处理时序相关的检测。断言分并发断言和及时断言，并发断言基于时钟周期，及时断言基于事件，类似于时序逻辑和组合逻辑的关系：a1: assert property(@(posedge clk) not(a&&b));//并发断言，始终上升沿时断言al...
2020-03-09 21:41:37
2154
原创 Selenium元素定位
HTML简介<html> #<></>标签对，html为标签名 <body> </body> #层级</html><div id="id1" class="class1"> #标签属性：id,class <in
2018-12-29 21:53:19
235
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人