简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:摘 要:深入推进跨域基地化训练,常态化规范化组织实兵对抗演习,是提高陆军合成部队跨域作战能力的主流形式。从近年来组织陆军合成部队跨域基地化训练来看,提高部队能打仗、打胜仗的能力仍需做到:着眼信息化作战需求,探索创新作战理念;综合网络系统集成,优化作战指挥控制;灵活运用保障手段,提高综合保障能力。