基于 SVA 的跨时钟域协议验证方法  

A Clock Domain Crossing Protocol Verification Method Based on System Verilog Assertions

作　　者：范毓洋 刘万和[2] 田毅[1] 

机构地区：[1]中国民航大学民用航空器适航审定技术与管理研究中心,天津市民用航空器适航与维修重点实验室,天津300300 [2]中国民航大学安全科学与工程学院,天津300300

出　　处：《微电子学与计算机》2015年第9期23-27,32,共6页Microelectronics & Computer

基　　金：国家自然科学基金(U1333120);中央高校基本科研基金(3122014D046)

摘　　要：现代SoC设计不可避免会遇到跨时钟域的问题,分析了五种常用典型跨时钟域同步电路和各常用典型同步电路的协议,针对跨时钟域电路难以验证的问题,提出了基于SystemVerilog断言的跨时钟域协议验证方法.通过采用SystemVerilog断言定义各常用典型跨时钟域电路的协议,使得跨时钟域同步电路的传输协议在功能仿真中得到验证.仿真结果表明此方法能够完成跨时钟域电路协议验证.Modern SoC design deals with the issue of CDC inevitably.The five kinds of typical CDC synchronization circuit in common use and their protocols are discussed in detail.A SystemVerilog Assertions based CDC protocol verification method is presented to meet the verification challenge of CDC.The method adopts System Verilog Assertions to define the protocols of the five CDC synchronization circuits,which makes the transfer protocols of the CDC synchronization circuits verified in the functional simulation.The results of simulation show that the method is suitable to do CDC protocol verification.

关 键 词：亚稳态 跨时钟域 协议验证 断言 

分 类 号：TN47[电子电信—微电子学与固体电子学]