| 基于SVA的跨时钟域协议验证方法 |
| 范毓洋;刘万和;田毅; |
| 关键词：亚稳态;跨时钟域;协议验证;断言 |
| 主要内容：现代SoC设计不可避免会遇到跨时钟域的问题,分析了五种常用典型跨时钟域同步电路和各常用典型同步电路的协议,针对跨时钟域电路难以验证的问题,提出了基于SystemVerilog断言的跨时钟域协议验证方法.通过采用SystemVerilog断言 |
| 《微电子学与计算机》 2015,32(09):23-27+32 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号