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

简介：基于费马定理,提出了设计有限域GF(2m)上求逆器的改进方法,该方法不采用正规基来实现平方运算,也不仅仅采用一般的平方器和乘法器实现求逆运算,而是直接设计了求元素幂次的电路,达到了较低的延迟.同时结合例子给出了具体的设计方法,设计的求逆器已经在RS解码器中得到了应用.

简介：富士康将与安谋（ARM）合作，在深圳创设芯片设计中心，将事业版图拓展至半导体领域。

简介：安森美半导体和Catalyst半导体宣布，已签订安森美半导体收购Catalyst半导体的正式合并协议，交易将全部以股票支付，Catalyst股东每持有1股普通股将获得0．706股安森美半导体普通股。此项交易的股票价值约为1．15亿美元，企业价值约为0．85亿美元。

简介：全国7家碳排放权交易市场全部开市。6月19日，重庆市碳排放权交易正式开市。至此，国家发展改革委批准的北京、天津、上海、重庆、湖北、广东、深圳等7个省（市）碳排放权交易试点省市全部实现开市。当天，在开市不足半小时内，就迅速达成16笔交易，交易量达到14．527吨，交易金额为445．75万元，每吨均价30．74元。

简介：碳交易并非终极目的，而是节能减排的经济杠杆。深圳碳市场开市一年来，节能减排成效究竟几何、碳价多少企业才有减排动力、未来碳交易对于节能减排的提升空间还有多大，显然值得探讨。

简介：台湾公平交易委员会10月11日宣布，美国无线通信芯片商高通因违反公平交易法，重罚新台币234亿元（约合人民币50亿元）。而此金额是公平会创立以来，对单一公司的最高罚款。