简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:去年6月国务院颁发了"18号文件",提出了鼓励发展集成电路产业的若干政策,成为集成电路产业发展的新起点;今年9月,信息产业部在上海召开了"全国集成电路行业工作会议",为"十五"集成电路产业的发展做出了全面的专项部署;今年11月,中国半导体行业协会在深圳组织召开了"集成电路产业与市场研讨会",对国务院"18号文件"中关于集成电路方面的相关优惠政策进行了补充和完善,进一步加大了政府对集成电路产业的扶持力度。这些良好的政策环境和市场前景正吸引着一批批新的设计公司不断涌现,充分显示我国集成电路产业的春天已经来临。中国半导体行业协会IC设计分会(原ICCAD联谊会)近年来曾分别在深圳、上海、北京组织召开了三届IC设计年会。本届年会和"全国SoC/IPcore技术应用与商务研讨会"同期在杭州召开,在IC设计分会张惠泉秘书长和杭州产业化基地有关人员的有效组织下,会议取得圆满成功,使得协会与行业的交流、地方政府与企业的合作越来越紧密。目前我国已初步建成了以七个产业化基地模式来发展集成电路设计产业,杭州作为国家集成电路设计产业化基地之一,为集成电路设计产业共同发展发挥了重要作用。以下是本刊记者杭州之行的综合报道。