| 利用Formal引擎提升复杂设计跨时钟域的检查和验证效率 |
| 游余新; |
| 关键词：亚稳态;跨时钟域检查;静态验证技术Formal;断言 |
| 主要内容：为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器 |
| 《中国集成电路》 2017,26(03):70-75 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号