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

• 作者: 刘万和 田毅 范毓洋
• 来源期刊: 微电子学与计算机
• 关键词: 亚稳态 跨时钟域 协议验证 断言
• 年，卷（期）: 2015,（9）
• 页码范围: 23-27,32
• 页数: 6页
• 分类号: TN47
• 语种: 中文

摘要

现代 SoC 设计不可避免会遇到跨时钟域的问题，分析了五种常用典型跨时钟域同步电路和各常用典型同步电路的协议，针对跨时钟域电路难以验证的问题，提出了基于 SystemVerilog 断言的跨时钟域协议验证方法。通过采用 SystemVerilog 断言定义各常用典型跨时钟域电路的协议，使得跨时钟域同步电路的传输协议在功能仿真中得到验证。仿真结果表明此方法能够完成跨时钟域电路协议验证。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	田毅	中国民航大学民用航空器适航审定技术与管理研究中心天津市民用航空器适航与维修重点实验室	18	51	4.0	6.0
2	刘万和	中国民航大学安全科学与工程学院	4	20	3.0	4.0
3	范毓洋	中国民航大学民用航空器适航审定技术与管理研究中心天津市民用航空器适航与维修重点实验室	4	11	3.0	3.0