在深亚微米设计中借助等效检验进行形式验证
等效验证工具在比较两个电路逻辑行为的同时,可确保设计流程的一致性。其目标是将结构性检验用于处理数百万门电路设计。 逻辑行为检查 分层比较问题 有效比较 掩盖互连错误 网站推...
[国际工业自动化网] http://www.iianews.com2000-08-30 用于嵌入式系统软件开发的可复用IP
David Kalinsky 客户培训总监 Aisys公司 在嵌入式系统软件开发中,其中一个最容易被忽视的领域是器件驱动程序和板级支持封装(BSP)复用。但现在,设计人员可以使用一种称作器件驱动程序开发...
[国际工业自动化网] http://www.iianews.com2000-08-01 结果页码:  上一页 1043  1044  1045  1046  1047  1048  1049  1050  1051  1052  1053  1054  1055  1056  1057  1058  1059  1060  1061  1062 

栏目导航

数字化制造　 金属加工　 工业自动化　 汽车制造　 　塑料工业　　 包装工业　 电子工业　　 半导体　 　仪器仪表　　 物流

赞助商链接

推荐商家