当前位置:首页 > EDA > 电子设计自动化
[导读]1、 仿真的目的:  在软件环境下,验证电路的行为和设想中的是否一致。  2、 仿真的分类:  a) 功能仿真:在RTL层进行的仿真,其特点是不考虑构成电路的逻辑和门的时间延迟,着重考虑电路在理想环境下的行为和

1、 仿真的目的:

  在软件环境下,验证电路的行为和设想中的是否一致。

  2、 仿真的分类:

  a) 功能仿真:在RTL层进行的仿真,其特点是不考虑构成电路的逻辑和门的时间延迟,着重考虑电路在理想环境下的行为和设计构想的一致性;

  b) 时序仿真:又称为后仿真,是在电路已经映射到特定的工艺环境后,将电路的路径延迟和门延迟考虑进对电路行为的影响后,来比较电路的行为是否还能够在一定条件下满足设计构想。

  3、 功能仿真的目的:

  a) 设计出能工作的电路:因此功能仿真不是一个孤立的过程,其和综合、时序分析等形成一个反馈工作过程,只有这个过程收敛,各个环节才有意义。而孤立的功能仿真通过是没有意义的,如果在时序分析过程中发现时序不满足需要更改代码,则功能仿真必须从新进行。因此正确的工作流程是:

  

 

  b)代码排错:功能仿真是代码排错的最重要的手段之一。

  4、 modelsim的高级功能:Code Coverage

  a) 代码覆盖率是验证激励是否完备,检验代码质量的一个重要手段。测试激励的代码覆盖率至少要达到95%以上,才能基本认为代码在逻辑上是通过质量控制的,才能进入综合步骤;

  b) 代码覆盖率是保证高质量代码的必要条件,但却不是充分条件。即便代码行覆盖和分支覆盖都能够达到100%,也不能肯定的说代码已经得到100%的验证。除非所有的分支覆盖都能够进行组合遍历。

  c) 在大的设计中,如果想通过一个激励就验证完一个设计或者模块是不现实的。一方面是从逻辑功能上很难做到;另外一方面是因为如果在一个激励中包括了各种情况,整个仿真过程的速度会随着计算机内存的消耗而成线性下降,效率低下。

  d) 通常的做法是每一个激励只验证电路功能的某个方面。整个电路的功能验证由数个激励共同完成。在这种验证方法中代码覆盖率更显重要,因为可以通过代码覆盖率来控制激励对功能的覆盖程度。

  e) modelsim的Code coverage不但能记录各个激励对代码的“行覆盖”和“分支覆盖”,而且能够将各个激励的覆盖记录进行合并,做到对覆盖率的全面监测。

  f) 演示。。。。。。。。。。。。。。。。。。。。。。。。

  5、 Debussy:仿真辅助调试工具:

  a) 看仿真波形无疑是代码排错的主要手段,在 Modelsim中的波形窗口在大的仿真中有如下缺陷:a、只能显示出在仿真前设置好的信号波形,如果在仿真完成后想观察其他的信号,唯一的办法就是添加需要观察的信号从新开始仿真。b、波形只是简单显示,和代码没有对应和关联关系,不能借助波形直观的调试代码;c、如果观察的信号太多,由于其是实时全信号显示,在仿真时间较长后,仿真速度明显减慢,屏幕的刷新速度也明显减慢。

  b) 这些缺点不单Modelsim有,其他的优秀仿真工具也有,而且历史由来以久,因此很早人们就提出了“先转储后观察调试”方法,在verilog语言中以$dumpXXX开头的系统函数就是做波形转储用的。就是先将波形先存在文件中,等仿真结束后在调出来显示观察和调试。

  c) 这种观察功能很多EDA工具都有,并不足为奇;但Debussy的独特之处在于,它不但能显示波形,而且还能非常智能化的将波形中的任何一个变化和引起这个变化的RTL代码联系起来,使代码排错的效率大幅度提高。在原来IC所的一个大型项目中,由于引进了Debussy,使调试效率至少提高了3倍。

  d) 先介绍verilog语言中的转储系统函数。其实转储函数就是一种典型的文件操作函数,最为常用的为一下几种:

  i. $dumpfile(“filename.vcd”):打开一个文件准备转储波形数据;

  ii. $dumpall:转储所有信号的波形数据;

  iii. $dumpvars:转储层次信号;

  iv. $dumpon:开始转储;

  v. $dumooff:停止转储;

  e) 演示Modelsim转储功能

  f) 演示Debussy工具中的辅助调试功能;

  6、 SDF反标注

  a) SDF是一种标准延时格式文件,用于记录综合布线后电路的线延迟和门延迟信息。如果在仿真输出的波形上叠加上这些信息,将使波形更接近实际。

  b) 演示。。。。。。。。。。。。。。。。。。。。。。。。。。

  c) 但是由于电路已经被综合布线过,原来的RTL代码的逻辑层次和代码命名都已经发生变化,即便看到波形也很难直接对应到RTL代码上,因此后仿真来确定电路是否符合要求的方法已经逐渐被新的方法所代替。另外还有后仿真速度缓慢也是一个主要原因。新的方法是:时序分析、静态时序分析、形式验证。

  7、 一个重要的观念:电路的性能取决于电路构思和Coding Style:

  a) 经常有人说“不要用写软件的方法去写硬件”,或者说“要用朴实无华的语言风格来写代码”,这些说法只是描述了事务的表明现象,并没有真正指出问题的真正症结所在;

  b) RTL描述语言,虽然是一种语言,但它是描述RTL的语言,所以其着眼点是电路实现而非逻辑推理;RTL就是电路在寄存器层的一种表现,虽然已经不像门级那样具体,但也没有抽象到逻辑层。

  c) 因此写代码的真正正确的方法是:在大脑中构思出电路的结构,然后用代码把它点滴不漏的表现出来,而不是先写一些只是逻辑上行得通的代码等待工具帮你综合成能实现的电路。工具永远只能做繁重而低级的工作,至少要比人的工作低级,这是未来几百年内不会改变的公理。因此如果你的电路性能不好,说明你对如何实现电路还没有清晰的思路。

  d) 不要只使像通过提高器件的速度等级来使你的电路达到要求,恰恰相反,正确的方法是:如果你的电路在第一次综合后已经有80%的路径满足时间要求了,那么就不要想着用更快的器件,而应该考虑改变你的电路拓扑结构和设计构架,来使另外的20%逐渐达到要求。

本站声明: 本文章由作者或相关机构授权发布,目的在于传递更多信息,并不代表本站赞同其观点,本站亦不保证或承诺内容真实性等。需要转载请联系该专栏作者,如若文章内容侵犯您的权益,请及时联系本站删除。
换一批
延伸阅读

前不久,新思科技已经正式对Ansys完成了整个收购。一家是IP和IC设计方面传统三强之一,一家是仿真与分析领域的老牌技术专家。双方的结合也是呼应整个技术潮流,为客户提供从硅片到系统的完整解决方案。而且,借助Ansys的强...

关键字: Synopsis 新思科技 Ansys 仿真 汽车 AI

阿联酋迪拜2025年8月26日 /美通社/ -- 纳斯达克上市公司Robo.ai Inc.今日正式宣布完成品牌焕新升级,并于8月26日正式启用全新纳斯达克股票代码"...

关键字: AI 人工智能 代码 智能科技

北京2025年8月13日 /美通社/ -- 近日,北京积算科技有限公司(以下简称"积算科技")推出一站式AlphaFold3在线算力服务,现已开放免费使用。其内置优化后的AlphaFold3模型,支持...

关键字: ALPHA 代码 图形化 蛋白质

北京2025年7月21日 /美通社/ -- 浪潮信息宣布元脑企智一体机已率先完成对Kimi K2 万亿参数大模型的适配支持,并实现单用户70 tokens/s的流畅输出速度,为企业客户高效部署应用大模型提供高处...

关键字: 模型 AGENT TOKEN 代码

7月18日,一则“微信安卓安装包出现5处fxxk”的话题,迅速登上微博热搜,吸引了众多网友的热议和关注。

关键字: 代码 程序员

在当今高度 自动化的工业生产中 ,搬运机械手应用广泛 。现对搬运机械手液压系统展开研究 ,详细阐述其结构组 成、工作流程与基本原理 ,并基于Fluidsim仿真设计系统的液压和电气回路 ,设置仿真参数并进行仿真分析 。结...

关键字: Fluidsim 搬运机械手 仿真 液压系统

针对现有静电放电测试方法 ,提出了一种基于末端装置变形的六轴机器人模型用于静电放电测试 。用两种方法对模型进行了正、逆运动学分析,通过实例验证了旋量方法计算的优势,为后续进行静电放电测试自动化控制提供了理论基础。

关键字: 机器人 正运动学 逆运动学 变形 仿真 旋量

北京 2025年6月4日 /美通社/ -- 工业仿真软件是智能制造的核心引擎,"智造强国"的核心基础设施。5月27日,北京市经济和信息化局印发《北京市人工智能赋能新型工业化行动方案(2025年)》,...

关键字: SIM 仿真 仿真软件 数字化

数字信号处理(DSP)系统开发,仿真调试是确保算法正确性与硬件可靠性的关键环节。随着DSP芯片功能复杂度的提升,传统调试手段已难以满足需求,而JTAG接口与逻辑分析仪的协同使用,通过硬件级调试与信号级分析的结合,为开发者...

关键字: DSP 仿真 JTAG

共鉴AI未来,缅怀先辈贡献 深圳 2025年5月21日 /美通社/ -- 5月16日下午,深圳市金澄智创AI+传承迎来了乔迁之喜,一场意义非凡的活动在新址盛大举行。活动现场星光熠熠,庄世平前辈之子庄荣新先生、南方财经...

关键字: AI AI技术 BSP 代码
关闭