帖子列表

• 子模块验证时是否要模拟干扰脉冲？

  霏凡 发表于: 2006-10-09, 回复: 3

  在验证一个芯片的子模块时，每个子模块的输出都是经过触发器打了一拍后输出的，在这里想请问的是，如果把一个子模块的输出信号作为另一个模块的输入信号的时： 1、请问...

• Event Driven 和 Cycle Based 的说明

  5life 发表于: 2006-10-03,

  Event Driven的仿真工具在每个信号改变时，均进行分析时序计算。 Cycle Based的仿真工具将只在每个时钟周期结束时计算逻辑结果。 比较： 比较...

• 超级链接 -- 其他链接

  5life 发表于: 2006-09-08,

  Random Number generation: http://www.xilinx.com/bvdocs/appnotes/xapp052.pdf Tutorials on Random Shift Register (http://klabs.org/richcontent/Tutorial) ...

• 关于CPU的功能验证

  elapse 发表于: 2006-07-25, 回复: 6

  我现在在做一个基于ARC 600指令集的processor的功能验证的项目。包括ISA，Harzard和Branch Predictor。processor是嵌入式核，verilog代码已经初步完成，但是predictor和...

• functional verification

  rickyice 发表于: 2006-07-25, 回复: 19

  functional verification

• 求Magellan的user manual

  real_ddt 发表于: 2006-07-01,

  如题 大家有不有啊 希望上传一份

• advise of The difference between func...

  rickyice 发表于: 2006-06-26,

  Functional verification pass doesn't mean your code is good nor does mean your synthesized netlist is what you desire. If you want to ensure that the s...

• 请教:关于硬盘接口的验证

  平凡的人 发表于: 2006-06-19, 回复: 2

  大家好, 请问如何验证设计中的硬盘接口, 最简单的方法是不是找一个硬盘仿真模型,进行验证, 请问硬盘仿真模型什么地方可以下载?

• 大家听说过mentor的questa吗?

  tedazsx 发表于: 2006-05-25, 回复: 2

  谁用过? 怎么样?

• vera的run option问题

  aimechen 发表于: 2006-05-24,

  在调用simv运行vera的testbench时候，加入runtime option的+vera_stop_on_error怎么不起作用，遇到error，仿真器根本就不停止，什么原因？请教高手

• VMT问题

  aimechen 发表于: 2006-05-24, 回复: 1

  VMT（vera model technology）是不是用openvera写的? 大家讨论下如何用rvm来写vip

• 那位xdjm有soc系统级验证的资料呀？谢谢了

  jkmdjun 发表于: 2006-05-16, 回复: 1

  那位xdjm有soc系统级验证的资料呀？能帮我传上来一份么？谢谢了

• Who can explain the Batch & Regre...

  shi.xin 发表于: 2006-05-12,

  Hi, guys, While doing simulation, there are batch mode and regression mode. I don't know what are they. So, could someone explain it to me? Thanks.

• 有没有用system verilog 做验证的？

  ideal1980 发表于: 2006-05-11, 回复: 9

  我所在的公司现在正培训用system verilog做验证． 我感觉挺烦琐的，不知大家有没有人用过， 我们可以讨论一下．

• 验证流程

  aimechen 发表于: 2006-04-25, 回复: 6

  今天在论坛看到一篇新闻，对验证流程进行了简单介绍： 首先，在确定SPEC之前要做系统级分析，保证SPEC的正确性。其次，要采用多种验证手段，不仅仅采用仿真器做动态验...

• 验证方法讨论

  aimechen 发表于: 2006-04-13, 回复: 7

  在进行模块级功能验证时，如果一个模块有很多中配置，在验证时这些配置是随机产生，还是通过写直接测试例来一个个进行验证。

• 在验证中常使用的验证方法学

  aimechen 发表于: 2006-04-11, 回复: 2

  大家讨论下在验证中一般会使用哪些方法来达到比较完备的验证 我现在都是进行功能验证，使用随机验证和直接测试例的方法， 同时采用rvm搭建testbench。

• 用openvera验证是遇到一个问题

  aimechen 发表于: 2006-04-06, 回复: 5

  openvera是基于面向对象的语言，我今天遇到一个问题，就是对象之间的赋值问题。 如：class packet { //基类       。。。。。。     }...

• [求助]软硬件协同验证

  xqsnaily 发表于: 2006-04-04, 回复: 9

  最近实验室要我作基于ISS的软硬件协同验证的课题,可实验室没有现成的工具,比如Seamless等,我的初步想法是软件用ARM的指令集仿真器ARMulator仿真,硬件用VCS仿真,然后利用...

• 希望高手好好讨论一下覆盖率的问题

  aixinjueluoy 发表于: 2006-03-21, 回复: 9

  如题！ 希望大家能讨论一下功能覆盖率和代码覆盖率 现在做验证有关覆盖率的东西比较多，但是我觉得大多数说的都不是很明白，尤其对功能覆盖率更是说的很模糊。 我不理...