关于电子产品, IC设计以及EDA工具应用发展现状的文章及讨论

robotone · 发表于 2005-11-7 16:37:41

电路就是物理，就是模拟，最根本的是物质，在中国的权贵们在沉醉捞了多少纸币时候，外国还在突飞猛进。中国被抛弃的太远了，

wkh9080 · 发表于 2005-11-18 00:35:13

顶一下!鼓励!

5261zgj · 发表于 2006-1-5 20:43:24

不错!

yanss00 · 发表于 2006-3-5 00:33:47

不错啊

shangyouqiang · 发表于 2006-6-7 10:23:13

: 2003年12月23日
0-In Design Automation公司最新发布的基于声明的验证工具允许用户在仿真前通过调试运行设计，从而可将调试工具更早地引入设计过程。该公司新推出v2.1产品增加了声明检查器和协议监视器，并提供了对SystemVerilog结构的支持。

这种新型静态验证流程与基于声明的验证工具(ABV)套件中的两个工具有关，分别为0-In检验表(Checklist)和0-In确认 (Confirm)。检验表执行一系列自动RTL检查功能，而确认则用以对声明进行全面分析，并在声明通过验证时生成报告，或在未能通过验证时提供反例。

v2.1验证工具利用三种新的检查器增强了0-In CheckerWare库，使工具总数超过了70个。其中一个是确保多种信号不能同时有效的"mutex"(互斥)检查器，而另两个是可检测特性是否永远为“真”，或永不为“真”的"always"和"never"检查器。

frankchang7038 · 发表于 2006-9-14 00:57:56

太感謝了

fangzhengbo · 发表于 2006-12-1 20:51:43

专业加工,焊接IC或各种批量样板,有专业队伍为你服务有需要请邮箱:fangzhengbo@163.com,电话:13265608854

wudongzhou · 发表于 2007-1-18 14:00:34

ding

yanbin_wang007 · 发表于 2007-1-18 16:22:33

这帖杠杠的！

xindonfei · 发表于 2007-4-20 13:11:31

看来我得好好的学习了!

		自动登录	找回密码
密码			注册