简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:建设广域煤矿安全生产监测系统是集团型煤矿企业保障安全生产、加强监管的重要信息化手段。针对集团型煤矿企业的建设目标,设计了一种基于Wonderware系统平台软件的煤矿安全生产监测系统,它采用广域分布式计算架构,并针对煤矿行业的可维护性等特殊行业要求进行了专门设计。文章介绍了具体软件功能及实现方式,并针对系统的应用情况进行了分析和展望。