|
| - 基于需求的断言自动生成技术
- 作者：杨修涛;迟鹏;杜宇坤;徐林伟; 来源期刊：计算机工程 年卷号：2016,42(08):28-33
- 摘要：基于断言的验证方法已经广泛应用于芯片设计和验证,其主要作用是提高验证效率和验证质量,然而单纯依靠手工编写断言需要耗费大量人力和时间,使得断言的应用受到较大限制。为此,提出一种基于需求的断言自动生成方法。通过规范波形描述方式、定义行为窗及解析
-
- 如何在先进工艺节点利用Virtuoso Check_Assertion Flow
- 作者：王超;刘欢艳; 来源期刊：电子技术应用 年卷号：2016,42(08):28-32
- 摘要：Virtuoso和MMSIM有效结合,完整的Check/Assertion flow包含:在图形界面设置Check/Assert,通过仿真得到Check/Assert的结果,在图形界面直接显示Check/Assert的结果,对结果进行各种灵
-
- 采用Mult-tap标准单元PGV以获取精准的Power EM违例
- 作者：蔡琰;季昊;施建安; 来源期刊：电子技术应用 年卷号：2016,42(08):25-27
- 摘要：电源电子迁移(Power Electromigration,Power EM)检查在高性能芯片设计中起重要作用。在Voltus进行电源网格分析时,由于在每个标准单元的电源网格视图(Power Grid View,PGV)生成过程中通常只抽取
-
- 基于Innovus的低功耗物理设计
- 作者：戈喆;王志鸿;厉媛玥; 来源期刊：电子技术应用 年卷号：2016,42(08):21-24
- 摘要：为了减少芯片功耗,可靠的低功耗物理设计必不可少。基于新一代布局布线工具Innovus,分四个部分阐述了新的低功耗物理设计流程。这些内容包括:基于低功耗的物理库设计;低功耗布局和优化、基于输入向量的功耗优化;低功耗时钟树协同设计CCOPT(c
-
- 基于量子行为粒子优化的电路板红外成像增强
- 作者：张亚军;罗鑫; 来源期刊：电子技术应用 年卷号：2016,42(08):138-140
- 摘要：为了提高电路板红外成像增强的效果,采用量子行为粒子优化算法。首先在量子空间中更新粒子位置,建立粒子停滞系数与收缩扩张系数之间的关系;接着通过判断粒子停滞有效地减少无效迭代;最后采用非完全Beta函数实现电路板红外图像增强。实验仿真显示该算法
-
|