中文 英语

使用符号模拟进行SRAM冗余修复验证


非常深亚微米技术的创新,例如三维FinFET晶体管结构的出现,促进了在片上系统(SoC)设计中实现非常大的嵌入式SRAM存储器,以至于它们占据了大部分芯片芯片区域。为了在最小的芯片面积上获得最大的内存容量,SRAM位单元以最小的可能性设计。»阅读更多

利用符号模拟进行IO验证


IO库和接口ip是任何需要与外界或其他集成电路通信的集成电路设计的重要组成部分。接口ip是逻辑和电子信息流从一个集成电路到另一个集成电路的字面上的守门人,形成当今复杂的计算机系统,几乎影响着我们生活的方方面面。接口ip (e…»阅读更多

使用符号模拟的单元库验证


自逻辑合成和组合方法出现以来,标准单元库一直是芯片设计的主流。单元库IP通常包含描述单元功能的Verilog模型,原理图派生的晶体管级网络列表,位置和路由视图,物理布局视图,后布局提取的网络列表以及特征时序和功率m…»阅读更多

Baidu