yuanpin318的个人空间 https://blog.eetop.cn/13812 [收藏] [复制] [分享] [RSS]

空间首页 动态 记录 日志 相册 主题 分享 留言板 个人资料
统计信息

已有 3605 人来访过

  • DC

    DC

    图片数: 3

    现在还没有记录

  • 暂无资料项或无权查看

查看全部个人资料

    现在还没有动态

Simulator 2022-08-15
VCS IRUN QuestaSim 15-Aug-2022 Fast - Only for Verilog/SV : qverilog D:/Practice/sv_practice/enum.sv -l enum.log -R -do vsim.do - ...
(470)次阅读|(0)个评论
04 uvm_sequence 2019-07-11
1. Overview    用来产生激励, 由sequencer发送sequence_item给driver    1.1 和uvm_sequence有关的method     & ...
(1223)次阅读|(0)个评论
uvm_sequence_item 2019-07-11
1. 从uvm_object扩展而来     1.1 uvm_object的method          get_name(), get_full_name(),&nbs ...
(2070)次阅读|(0)个评论
ICC基础 2019-07-03
1. 基本介绍    1.1 data setup: 为design plan创建基本设计单元        a. 载入必须的综合的数据: logic library, ...
(8874)次阅读|(2)个评论
Formality basic 2019-06-26
1. 为什么要formal verification    比较两个design的function是否一致    RTL 功能正确: function verifiation:  UVM testbench + s ...
(5235)次阅读|(3)个评论
互相排斥的时钟 2019-06-20
1. 定义: mutually exclusive clock     CLK1和CLK2是同步的,但逻辑上互相排斥 2. fully mutually exclusive clocks   & ...
(1682)次阅读|(0)个评论

查看更多

你需要登录后才可以留言 登录 | 注册


wwwl 2021-7-20 08:59
楼主有formality 的lab 及lab_guide 吗?
查看全部
最近访客
关闭

站长推荐 上一条 /1 下一条

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-3-28 23:26 , Processed in 0.323762 second(s), 12 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
返回顶部