- 博客(7)
- 收藏
- 关注
原创 WB_CAN项目验证笔记
该模块是飞利浦(PHILIPS)的独立CAN控制器SJA1000,一般用于工业环境中的局域网络控制。SJA1000是一种I/O设备基于内存编址的微控制器。它支持2种模式:BasicCAN模式和PeliCAN模式。复位默认模式是BasicCAN模式。PeliCAN模式支持CAN 2.0B协议规定的完整功能。
2024-04-06 17:32:36
1868
原创 SV数组知识简明笔记
(Word)存放logic和integer等四值逻辑类型,比存放二值逻辑变量。声明时使用空的下标[],程序运行时再指定,数组宽度不是编译时给。,例如都是int,定宽数组和动态数组之间就可以相互赋值。系统函数$size()用于返回定宽和动态数组的宽度,一般建议使用foreach循环遍历该数组。时,可以把动态数组的值复制到定宽数组。,定宽数组、动态数组、队列可以排序。
2024-03-28 11:16:34
562
原创 SV类的继承与多态例子理解
父类有2个方法A和B,均不是虚方法,且A中调用B。则,在子类中调用A方法时,最终会调用父类的B方法。子类继承父类,在子类中,重写B方法。
2024-03-26 23:04:14
208
原创 SV数据类型知识整理笔记
数据类型按照类型区分分为2类,一类是变量(var),另一类是线网类型(nets)。变量类型可以使用连续赋值语句,也可使用过程赋值语句。线网类型仅能使用连续赋值语句(assign)。必须使用wire类型的场景:遇到多于1个驱动源的时候,或者设计模块端口是双向(inout)时。按照数据类型区分分为2类,一类是四值逻辑(例如logic。0,1,X,Z),另一类是二值逻辑(0,1)。四值逻辑变量,例如logic或integer等,在仿真开始时默认初值为X。二值逻辑变量,例如bit等,在仿真开
2024-03-26 22:33:25
474
原创 数字IC验证通识知识笔记
该方式通过测试序列和激励生成器给入待验设计适当的激励,伴随着仿真时间,进而判断输出是否符合预期。与动态仿真相对,本身不需要仿真、波形激励,它通过工具辅助,可以发现设计中存在的问题。从验证工具的分类:仿真验证、形式验证。从复杂度出发:黑盒、白盒、灰盒验证。————摘自路科芯院。
2024-03-25 21:25:59
870
原创 gvim安装NERDTree插件
我的文件保存路径为:~/.vim/autoload/plug.vim。我的.vim文件中没有.vimrc文件,终端界面使用以下命令打开。手动删除遗留的已安装NERDTree文件重新安装解决。等待安装完成,:q退出安装窗口,在gvim中输入。文件保存后,gvim内输入。文件目录即可显示出来。
2023-04-30 18:06:53
1365
3
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人