数字ic是传递、加工、处理数字信号的集成电路(integrated circuit, ic), 一般将其分为通用数字ic和专用数字ic。
数字ic前端设计,以架构设计为起点,以生成可布局布线的网表级为终点。该过程主要包括:trl编程、仿真验证、逻辑综合(design compiler)、静态时序分析(sta)、形式验证(formality)。
1.rtl代码设计
使用硬件描述语言(hdl )将功能以代码的形式描述实现,形成rtl代码。
2.功能仿真验证
检验rtl级的代码设计的正确性。
常用工具:mentor公司的modelsim、synopsys的vcs、cadence的nc-verilog等。
3.sta(静态时序分析)
静态时序分析属于验证范畴,指的是在时序上对电路进行验证,检查电路是否存在建立时间(setup time)和保持时间(hold time)的违例(violation)。
常用工具:synopsys的prime time。
4.逻辑综合
将hdl代码翻译成门级网表netlist。
常用工具:synopsys的design compiler。
5.形式验证(formality)
为保证在逻辑综合过程中不改变原先hdl描述的电路功能,在功能上对综合后的网表进行的验证,就是形式验证。
常用方法:等价性检查方法。即以功能验证后的hdl设计为参考,对比综合后的网表功能,验证它们是否在功能上存在等价性。
常用工具:synopsys的formality。
Symwave携手Super Talent展示 RAIDDr
R&S路测:实际LTE网络的完整MIMO测试解决方案
【节能学院】配电室综合监控系统在大型建筑中应用的探讨
两级触发器同步,就能消除亚稳态吗?
华硕ROG4工程机曝光:后盖配备菱形副屏 显示游戏及来电等场景的光效
数字IC与数字IC前端设计
Transphorm和贸泽电子宣布达成全球分销协议
基于LTC5548的新型微波混频器解决方案
驱动之路-高级字符设备驱动程序
电源额定值与测量技术的使用
MIUI和flyme6这两个经典的安卓UI,你更喜欢谁
朗锐智科:USB图像采集卡特点分析
电子好物分享-电热水壶的控制芯片开发
在硬件/软件接口调试
分布式光伏储能系统远程监控运维解决方案
计数器的LED显示电路
MAX8896 Dual buck converter po
NVIDIARTX2080Super显卡公版谍照曝光
各大厂商倾力开发,芯片立体堆叠技术应用在即
芯片是什么时候诞生的