★ 社区积分制度 ★ 新手必读 ★ 申请版主★

电子工程世界-论坛»论坛 › 电子技术交流 › FPGA/CPLD › DC的版本和formal工具的版本对应问题影响比较结果

返回列表发新帖回复

阅 2867|回 0

569 帖子	0 TA的资源

一粒金砂（高级）

楼主

发表于2010-10-28 13:59 只看该作者

DC的版本和formal工具的版本对应问题影响比较结果 [复制链接]

据我所见，从DC0607包括08的版本综合出来的网表进行rtl2netlist的比较，如果用lec5.x或者fm0809都是没有问题的，其中lec由于没有svf的帮助，在进行乘法器的比较上很难。但是如果用design ware的乘法器，谁会怀疑它会出错呢？？！
但是这些formal工具的版本面对DC0906综合出来的网表则问题多多，不知道DC0906是否做了什么长足的改进。但使用lec9.x或者fm0906以上的版本则立刻解决。

formal, Design, 影响

此帖出自FPGA/CPLD论坛

点赞关注

FPGA论坛 CPLD论坛 FPGA教程

回复

举报

返回列表发新帖回复

开源项目更多>>

随便看看

DC的版本和formal工具的版本对应问题影响比较结果
据我所见，从DC0607包括08的版本综合出来的网表进行rtl2netlist的比较，如果用lec5x或者fm0906以上的版本则立刻解决
eVC中有这样一个bug：当您使用 CWnd 类版本的 GetDC 方法和 ReleaseDC 方法 BUG：内存泄漏。如果打了SP4补丁，此问题是否修复？
eVC中有这样一个bug：当您使用CWnd类版本的GetDC方法和ReleaseDC方法BUG：内存泄漏。如果打了SP4补丁，此问题是否修复？参看微软的信息：http://supportcom/kb/819635/zh-cn
【读书】《RISC-V 体系结构编程与实践（第2版）》-- RISC-V 存储加载指令集学习
[i=s]本帖最后由andeyqi于2024-11-2415:03编辑[/i]##简介RISC-V指令按照类型分为6种，对应指令编码格式如下。[attach]864282[/attach]-R类型：寄存器与寄存器算术指令。-I类型：寄存器与立即数算术指令或者加载指令。-S类型：存储指令。-B类型：条件跳转指令 ...
请问大佬们，高频电子线路这门课如何学？，以后想做这方面工作
【翌创ET6001测评】点阵板显示驱动
求tlc7524中文资料和430的编写例程
晒WEBENCH设计的过程+负输出电压电源的设计
关于DM642视频采集驱动问题
How to init IIS and IIC to make wm8960 chip play wav file
计算机与PLC的通讯格式和实现方法

查找数据手册?

EEWorld Datasheet 技术支持

相关文章更多>>

“跨芯片”量子纠缠实现有助建构更强大的量子计算能力
IBM公司科学家实现了“跨芯片”量子纠缠——使两块“鹰”（Eagle）量子芯片成功纠缠在一起。每块量子芯片拥有127个量子比特，两块芯片共同完成了需要142个量子比特才能完成的计算任务。目前，单块芯
超声波贴片可持续无创监测血压
美国加州大学圣迭戈分校研究团队开发出一款创新性的可穿戴超声波贴片，可持续无创监测血压。这款设备首次在超过100位患者身上完成了严格的临床测试，标志着该领域的一个重要进展。相关研究发表于20日的《自然
欧洲三大芯片巨头，重新审视供应链
在上周刚刚举办的Electronica 2024 CEO圆桌论坛上，英飞凌，恩智浦以及意法半导体三家芯片巨头CEO齐亮相，三家CEO集体表达了对中美关系的担忧，同时三位也有一个共识，即中国在全球半导
消息称铠侠最快明天获上市批准，市值有望达 7500 亿日元
美国政府敲定对格芯 15 亿美元《CHIPS》法案补贴，支持后者提升在美产能
SK 海力士宣布量产全球最高的 321 层 1Tb TLC 4D NAND 闪存，计划 2025 上半年对外出货
UWB上车新花样，无线BMS也能用它？
填补国内空白！中国移动、华为等联合发布首颗GSE DPU芯片
三星电子 NRD-K 半导体研发综合体进机，将导入 ASML High NA EUV 光刻设备
苹果揭秘自研芯片成功原因：竞争对手没法用最新尖端技术

新帖速递

站长推荐

上一条

1/10

下一条

EEWorld订阅号

EEWorld服务号

汽车开发圈

About Us 关于我们客户服务联系方式器件索引网站地图最新更新手机版

站点相关：国产芯安防电子汽车电子手机便携工业控制家用电子医疗电子测试测量网络通信物联网

用户热搜：

北京市海淀区中关村大街18号B座15层1530室电话:(010)82350740 邮编：100190

电子工程世界版权所有京B2-20211791 京ICP备10001474号-1 电信业务审批[2006]字第258号函

京公网安备 11010802033920号 Copyright © 2005-2024 EEWORLD.com.cn, Inc. All rights reserved

微信扫描

快速回复返回顶部返回列表