收起/展开

子版块

版块 主题 帖数 最后发表

VERA/Specman

104 610 快国庆了大家怎么安排 by 躞语娇 - 2008-10-9 23:36

形式验证

156 856 初学formality by 41402169 - 2008-10-9 19:53
发新话题

芯片验证

    标题 作者 回复/查看 最后发表
  VCS VS nclaunch kx12345 2008-4-28 2 / 80 2008-4-30 09:31 by weee
  ovm应该咋学? lpzxy0506 2008-4-21 2 / 89 2008-4-28 13:02 by lpzxy0506
  如何解决unread kakool 2008-4-28 0 / 10 2008-4-28 10:25 by kakool
  VCS2006-06 for linux 段错误 murenjian520 2008-4-11 5 / 88 2008-4-28 06:34 by ardenmann
  菜鸟求助,哪里可以下到vcs,dc caopengly 2008-3-27 8 / 127 2008-4-27 18:00 by eiownlee
  sva的property覆盖率计算 lpzxy0506 2008-4-15 6 / 63 2008-4-27 17:58 by eiownlee
  NC怎么保存波形 armardu 2008-4-16 10 / 86 2008-4-27 17:58 by eiownlee
  Cadence 支持 verilog2001 bacmhust 2008-4-11 3 / 41 2008-4-27 17:56 by eiownlee
  [讨论]FPGA验证在芯片验证过程中有怎么样的重要性? 附件 metry 2008-3-19 16 / 240 2008-4-27 17:48 by eiownlee
  使用VMT验证I2C时遇到的问题 leadsky 2008-4-25 1 / 34 2008-4-25 09:10 by raul777h
  sv 3.1a中的覆盖部分没有翻译成中文,有谁翻过啊? e_er 2008-4-21 3 / 33 2008-4-24 14:55 by braveknight
  推荐一本讲验证方法学的书吧,谢谢了 forlorm 2008-3-13 11 / 236 2008-4-24 07:20 by jlqsczw_2007
  Open Verification Methodology Seminar Tour 附件 xlzhang 2008-3-29 9 / 292 2008-4-21 17:29 by lpzxy0506
  [求助]为什么我对验证工作"没有感觉"??? fresh_grape 2008-3-1 19 / 442 2008-4-20 17:28 by gmshan
  求教用vcs仿sva如何屏蔽failed信息 sgl6688 2008-4-14 3 / 27 2008-4-15 22:05 by sgl6688
  ☆☆关于FPGA验证的问题紧急求救☆☆ 附件 paperfly 2008-4-5 7 / 105 2008-4-15 09:58 by ikki
  rom安全问题 shixw110 2008-4-14 1 / 20 2008-4-14 20:09 by lxy007
  请教vcs的sva用法-关于选项 -debug lpzxy0506 2008-4-11 2 / 37 2008-4-14 09:13 by lpzxy0506
  大家说说逻辑验证这个职业的前途如何吧?   1 2 e_er 2008-2-25 58 / 1140 2008-4-13 23:02 by 演绎精彩
  introduce_to_verilog_design [free] yywbingo 2008-4-3 1 / 18 2008-4-13 16:56 by 玄烨437
  VCS仿真(Virsim或debussy)基础脚本及流程 iamauto 2008-2-20 11 / 434 2008-4-13 08:16 by nickel
  请问在c++程序中如何调用NCVerilog程序 sylkyo 2008-2-13 6 / 110 2008-4-12 22:38 by hent_yang
  请教:复杂IP的验证 elele 2008-2-20 8 / 217 2008-4-12 21:01 by zcs
  SUN的OpenSPARC开源,大家可以学学其验证方法 feiying_cq 2008-4-5 5 / 141 2008-4-10 10:10 by zoneinter
  请教vcd vpd fsdb lpzxy0506 2008-4-9 3 / 54 2008-4-10 09:56 by lpzxy0506
  systemverilog中关于一些系统函数和foreach的问题,请指教 鱼糕丸子 2008-3-11 5 / 98 2008-4-8 20:02 by ralfzhou
  SVA+VCS的问题 wowlyy 2008-3-20 3 / 103 2008-4-8 19:29 by wowlyy
  ERROR!! Bit width mismatch bacmhust 2008-3-28 2 / 31 2008-4-8 17:49 by bacmhust
  求NC-verilog的升级版软件 支持verilog 2000 bacmhust 2008-3-6 11 / 100 2008-4-7 23:32 by demonsolar
  大家有没有can总线的验证ip或testbench caopengly 2008-3-31 1 / 40 2008-4-6 22:59 by cnhackerone
  nois 软件开发谁有实例 tzjxlove 2008-4-5 0 / 5 2008-4-5 18:47 by tzjxlove
  如何验证自己设计的FIFO的正确率? zypeng 2008-4-4 3 / 60 2008-4-4 16:20 by snowboyfly
  各位前辈帮估个价~ fatpenguin 2008-3-29 21 / 252 2008-4-4 14:52 by braveplus
  MONITOR到FUNCTIONAL COVERAGE MODEL如何做的 77xzlheo 2008-3-25 2 / 28 2008-4-4 10:35 by feiying_cq
  [请教]算法密集型模块的验证,SV和SC,选用哪一种语言进行验证更适合? 附件 gxg_uestc 2008-1-26 9 / 219 2008-3-28 16:18 by yaya123456
  求助 一些验证的基本问题。 santamoon 2008-3-19 4 / 122 2008-3-28 13:01 by jerryzhang8023
  ncsim: *internal* bacmhust 2008-3-27 1 / 24 2008-3-28 07:55 by jery_cn
  关于VCS和SVA的小问题 wowlyy 2008-2-29 6 / 88 2008-3-27 19:19 by zalious
  请高手指导关于FIPS140_2测试标准的问题?谢谢 wwwmwl 2008-3-26 0 / 8 2008-3-26 09:02 by wwwmwl
  vcs出现错误,请问是怎么回事? camby 2008-2-25 2 / 73 2008-3-24 18:38 by fanghj
  set_black_box & set_constant flowerah2 2008-3-21 1 / 27 2008-3-24 05:46 by snowboyfly
  推荐好资料:验证与vcs使用 附件 sea2008 2008-1-21 29 / 432 2008-3-21 14:05 by chocobocn
  请问硬核ip验证都包括什么啊?需要参照什么书籍啊? 曾霸天下 2008-3-20 0 / 33 2008-3-20 22:55 by 曾霸天下
  共享资料 附件 mrgame 2008-1-28 15 / 214 2008-3-17 09:28 by qinjinch
  求SVA仿真器 mrgame 2008-1-28 4 / 90 2008-3-16 20:37 by bestar
  请教关于连接的验证~ lzyuer 2008-2-23 3 / 70 2008-3-16 20:36 by bestar
  ISCAS `85 基准电路下载(包括Verilog,VHDL.bench.tbl格式) 附件 zhongrg 2008-3-16 0 / 19 2008-3-16 11:15 by zhongrg
  请教各位,功能覆盖率中功能点是怎么定义的 ttsky001 2008-1-28 6 / 157 2008-3-15 23:40 by nicowei
  请教:SVA怎样区分成功和空成功 alvinxiao 2008-3-13 3 / 50 2008-3-14 13:05 by xihongshi
  求助:vera中如何设置仿真时间 miler 2008-1-26 5 / 69 2008-3-13 00:16 by miler
发新话题
查看 排序方式