robotone
发表于 2005-11-7 16:37:41
电路就是物理,就是模拟,最根本的是物质,在中国的权贵们在沉醉捞了多少纸币时候,外国还在突飞猛进。中国被抛弃的太远了,
wkh9080
发表于 2005-11-18 00:35:13
<P>顶一下!鼓励!</P>
5261zgj
发表于 2006-1-5 20:43:24
不错!
yanss00
发表于 2006-3-5 00:33:47
不错啊
shangyouqiang
发表于 2006-6-7 10:23:13
: 2003年12月23日 <br/>0-In Design Automation公司最新发布的基于声明的验证工具允许用户在仿真前通过调试运行设计,从而可将调试工具更早地引入设计过程。该公司新推出v2.1产品增加了声明检查器和协议监视器,并提供了对SystemVerilog结构的支持。 <br/><br/>这
种新型静态验证流程与基于声明的验证工具(ABV)套件中的两个工具有关,分别为0-In检验表(Checklist)和0-In确认
(Confirm)。检验表执行一系列自动RTL检查功能,而确认则用以对声明进行全面分析,并在声明通过验证时生成报告,或在未能通过验证时提供反例。
<br/><br/>v2.1验证工具利用三种新的检查器增强了0-In
CheckerWare库,使工具总数超过了70个。其中一个是确保多种信号不能同时有效的"mutex"(互斥)检查器,而另两个是可检测特性是否永远
为“真”,或永不为“真”的"always"和"never"检查器。
frankchang7038
发表于 2006-9-14 00:57:56
太感謝了
fangzhengbo
发表于 2006-12-1 20:51:43
专业加工,焊接IC或各种批量样板,有专业队伍为你服务有需要请邮<a href="mailto:箱:fangzhengbo@163.com">箱:fangzhengbo@163.com</a>,电话:13265608854
wudongzhou
发表于 2007-1-18 14:00:34
ding
yanbin_wang007
发表于 2007-1-18 16:22:33
这帖杠杠的!
xindonfei
发表于 2007-4-20 13:11:31
<p>看来我得好好的学习了!</p>