简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:近日,省科技厅、省财政厅联合下发《广东省重大科技成果产业化基金实施方案》。根据方案,省拟安排50亿元重大科技成果产业基金扶持科技型企业发展。方案明确,发挥财政科技资金对创新驱动的扶持引导作用,对具有国内自主知识产权和国际先进水平的重大科研创新成果产业化进行投资,争取将50亿元的省重大科技产业化基金通过母子基金架构引导放大至500亿元,带动超过1500亿元的社会资金自投入科技成果产业化,力争形成60~200支子基金,投资300~2000家科技型企业,推动50~200家科技型企业在新三板、创业板、中小板等多层次资本市场进行IPO。