rtl代码规则检查工具:nlint,spyglass。这两个软件主要是用于检查代码的语法和语义错误的,并且比其他的工具能检测出更多的问题,比如说命名规格,时序风险,功耗等。详细介绍请参考软件的使用教程,nlint有windows版和linux版,软件的l使用教程可以在eetop上搜索到。
rtl代码仿真工具:这类仿真工具有较多的组合,比如说:qustasim/modelsim,nc_verilog+verdi,vcs+dve,vcs+verdi等等。目前笔者使用的组合是vcs+verdi。这两个软件是业内主流的仿真软件,还可以结合uvm库进行仿真,当然这是验证方法学的内容。
综合工具:designcomplier。最常用的综合工具,没有之一,该软件主要是将rtl代码“翻译+优化+映射”成与工艺库对应的门级网表。并且还包含功耗分析软件powercomplier和边界扫描寄存器插入软件bsdcomplier。
可测性设计:dftcomplier+tetramax。软件在dc之后使用,dftcomplier用于将设计的内部寄存器替换成扫描寄存器并组成一条或多条扫描链,tetramax是用于自动生成测试向量的。
形式验证工具:formality、conforml(candence出品)。等价性验证工具,主要是在dftcomplier插入扫描链之后进行验证,另外,在版图综合时钟树,插入buffer之后,也需要用该工具进行等效性验证。
静态时序分析工具:primetime。业界最常用的时序分析工具之一,该软件包括功耗分析ptpx工具,功耗分析必备。cadence也有对应的时序分析工具——encountertimingsystem。
自动布局布线工具(apr):icc,enconter。其中encounter是cadence公司的。
数模混合仿真:nanosim+vcs,nanosim的升级版为xa。
苹果iPhone第三方无线充电器复活,7.5W快充能用了
Q值是什么意思,它为什么重要?
5G技术会带动什么行业的发展
设计倒相式音箱时倒相孔的计算方法
高通-诺基亚集团赢得汽车供应商解雇诉讼
ASIC设计学习工具盘点
为何巨头们争夺智能扬声器市场
降压DCDC转换器BD9S系列的介绍特点和应用的详细资料概述
基于和SEP3203处理器和驱动控制器SSD1770的应用接口设计
第一个Arduino项目的分步指南
运动蓝牙耳机什么牌子好性价比高,无线运动耳机排行榜
支持低压和高压应用的E-mode GAN FET
中国电信为专网行业融合创新提供交流合作平台
无人机反制设备能否干扰飞机的导航系统
浅析人脸识别门禁的优缺点
边开车边开会 Holograph实现无网传输虚拟化身
捷豹I-PACE起火事故的一些探讨
从DC-DC开关电源中电感电流的形成到电感导通模式的认识
用FPGA+DSP实现HDLC(高级数据链路控制)功能
256台特斯拉Megapack电池组,预计于2021年第二季度完工运营