学科分类
/ 1
4 个结果
  • 简介:EDA协会(EDAC)日前发表市场统计服务报告指出。2005年第一季度全球EDA行业营业收入为9.89亿美元,相比2004年第一季度的9.95亿美元微弱下降近1个百分点;而不含服务收入的首季营收则为9.12亿美元.比2004年同季的9.18亿美元微幅下跌。

  • 标签: 电子设计自动化 印刷电路板 EDA协会 设计复杂性
  • 简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。

  • 标签: 亚稳态 跨时钟域检查 静态验证技术Formal 断言
  • 简介:上海,2016年12月9日——第十届"奥特斯杯"青少年绘画比赛颁奖典礼于2016年12月9日下午在上海成功举行。本次绘画比赛于9月拉开帷幕,以"绿色生活"为主题,面向5到15岁的学生。截至11月末,评委会收到了来自全市各大幼儿园、小学和中学的参赛作品共计600余幅,经过综合评选,总共颁出30名一等奖和60名二等奖。本届主委会由上海市环保宣教中心、中国福利会少年宫和奥特斯的老师和专家组成。

  • 标签: 奥特斯 环保宣教 中国福利会 环保教育 绿色生活 环境问题