收起/展开

子版块

版块 主题 帖数 最后发表

VERA/Specman

 106 622 vera是做啥的谁给讲讲 by ansanl - 2008-11-17 16:38

SystemVerilog/SystemC (今日: 1)

 283 1989 systemverilog和systemc哪一个是可以综合的？或者以后可以综合 by macrohard - 2008-11-21 10:50

形式验证

 164 898 formality教材 by gongyougui - 2008-11-20 21:46
 1146 1 ...567891011121314... 23
发新话题

芯片验证

    标题 作者 回复/查看 最后发表
  请教在VCS中如何使用SVA(急)? alvinxiao 2008-3-10 1 / 57 2008-3-10 14:13 by alvinxiao
  整理Cadence资料-Verilog-XL Simulation Quick Reference - [售价 EDA元 2 元] 附件 joel 2006-9-12 3 / 139 2008-3-8 17:21 by ec1022
  谁用NC做过function coverage？ liyun022 2008-1-10 2 / 100 2008-3-6 20:05 by standy_j
  请教！system verilog验证与数字前端design?如何选择? jiangkai1707 2008-1-14 9 / 259 2008-3-6 19:52 by standy_j
  请问 KSVR 怎么测 ？ su6146 2008-3-6 1 / 17 2008-3-6 16:29 by su6146
  用没有用过magellan的 winnie_nie 2008-2-25 3 / 59 2008-3-6 15:22 by jya
  vcs 能不能直接读压缩过的netlist? ys82 2008-1-4 2 / 57 2008-3-3 15:15 by ys82
  麻烦那位高手帮忙指点：有关arm功能仿真 jet_wang12345 2008-2-29 1 / 36 2008-3-2 11:01 by feiying_cq
  熟悉SVA的请进! alvinxiao 2008-2-27 5 / 109 2008-3-2 09:03 by zhongshu_liang
  可怎么共享啊 ardenmann 2008-2-29 0 / 13 2008-2-29 09:35 by ardenmann
  全数字锁相环Verilog源程序的testbench,高手给个答复 rokihu 2008-1-2 5 / 150 2008-2-27 20:43 by 玄烨437
  哪位朋友可以分享下synopsys FM和DFT的 Workshop guide reset_n 2008-1-24 3 / 78 2008-2-27 15:31 by jya
  【请推荐一个可以支持systemverilog的仿真工具】 feiying_cq 2008-1-21 6 / 152 2008-2-26 19:30 by alex_wing
  OVM is released! telantan 2008-1-10 10 / 171 2008-2-24 00:13 by scofieldhe
  怎样升级NC-Verilog bacmhust 2008-2-20 1 / 41 2008-2-24 00:05 by scofieldhe
  有谁用过VMM中的XVC进行System-Level的Verification么 YsoulY 2008-2-21 2 / 66 2008-2-23 12:14 by bati33
  有人用过美信公司的max260系列的设计软件吗？为什么我打不开啊，急急……在线等！ lanty_1200 2008-2-20 0 / 13 2008-2-20 21:37 by lanty_1200
  IC 测试主要做哪些方面的测试？ skw131 2008-1-3 6 / 160 2008-2-20 14:29 by zebraxiaozi
  哪位朋友可以说加 VCS + Debussy 仿真的大概过程 reset_n 2008-1-28 1 / 137 2008-2-20 13:10 by iamauto
  如何估计整体性能？ wetmudwetmud 2008-2-13 4 / 52 2008-2-17 13:17 by wetmudwetmud
  请教VMM_log的用法 cdjmp8 2008-1-23 8 / 98 2008-2-16 19:02 by dieyi31
  推荐一个和本论坛一样好的论坛 sarspect 2007-12-13 10 / 255 2008-2-10 16:26 by idlewa
  请教：sun solaris 5.9 下安装 成功systemC的经验？ seraphll 2008-1-16 3 / 47 2008-2-4 14:47 by zdx
  悬赏求助：谁能帮我写个cByteBuf类 yaya123456 2007-12-14 3 / 61 2008-2-2 15:20 by zyqic
  请教使用systemverilog统计scenario层的功能覆盖率 cdjmp8 2008-1-29 0 / 47 2008-1-29 17:27 by cdjmp8
  哪位大侠可以工享个VCS，可以跑systemverilog的，谢谢啦！ jiancongwoo 2007-12-6 19 / 357 2008-1-29 07:50 by richard0301
  Cadence® NC-Verilog® Simulator Help 附件 注册新用户 2007-11-29 7 / 255 2008-1-27 14:49 by tao0407
  请问EDA软件启动问题 bilan 2007-11-30 10 / 84 2008-1-25 11:25 by feiying_cq
  求助：关于SVA＋Verdi仿真时波形dump空成功的问题 tandy 2008-1-25 0 / 48 2008-1-25 09:59 by tandy
  请教：SVA中如何实现将变量作为一个延时时间？ tandy 2008-1-18 3 / 69 2008-1-25 09:03 by tandy
  ncsim怎么可以打印所有节点 giyim 2008-1-23 1 / 24 2008-1-24 00:01 by chlor
  求一个formality的脚本 hitten 2008-1-22 3 / 72 2008-1-23 14:38 by hitten
  现在IC验证的主流语言是哪一种？ 求道者 2007-11-28 16 / 473 2008-1-23 14:35 by loisfun
  cadence和mentor联合的的OVM发布可以下载啦 xlzhang 2008-1-12 7 / 186 2008-1-22 22:08 by xlzhang
  问个问题, saif, vcd, vpd, fsdb有啥不同? ricky000 2008-1-14 4 / 95 2008-1-22 18:18 by ricky000
  求教VCS使用方法 mrgame 2008-1-17 3 / 128 2008-1-18 13:43 by mrgame
  各位兄弟姐妹！东软大连的IC部怎么样啊？主要还是验证。签了，前途迷茫 txl 2007-11-19 23 / 441 2008-1-16 17:51 by zdx
  power analysis wxyz 2007-12-6 3 / 77 2008-1-16 16:02 by wxyz
  nc-verilog 和 vera 的问题 龙的传人2008 2008-1-16 0 / 44 2008-1-16 12:55 by 龙的传人2008
  验证宝典 Mentor AVM - Advanced Verification Methedology 附件 DarlingBoy2005 2007-12-6 10 / 217 2008-1-15 17:27 by ufo007tang
  验证必看书籍 附件   1 2 zzh332715 2007-11-18 38 / 837 2008-1-15 15:22 by xiejianhua
  发一个VCS的入门PPT 附件 bonjovi 2007-11-16 22 / 414 2008-1-15 13:27 by lglglglg
  Novas Debussy 54v9-NT 下载 cfriend 2007-11-30 6 / 404 2008-1-15 11:30 by gfans
  Hardware Verification with C++.pdf 附件 yall1111 2007-11-20 15 / 163 2008-1-14 23:23 by frankqs
  IC方面的研究生都学什么课程啊？ zhww722 2007-11-16 17 / 324 2008-1-14 23:07 by frankqs
  系统芯片验证系统&TFT设计流程 附件 glietlidefu 2007-11-18 16 / 217 2008-1-14 22:51 by frankqs
  请问一个关于VCS仿真的问题！ yinfun 2008-1-7 3 / 65 2008-1-14 15:09 by hitten
  免费共享vera和vcs入门资料 附件 igovip 2007-11-16 21 / 337 2008-1-13 14:44 by lelesuixin
  共享验证断言书 附件 igovip 2007-11-15 21 / 299 2008-1-13 14:42 by lelesuixin
  问下关于断言验证的问题 feiying_cq 2007-12-8 6 / 126 2008-1-13 14:17 by deadmood
 1146 1 ...567891011121314... 23
发新话题
查看 排序方式