基于Wreal model的数模混合验证的平台实现方法
电子技术应用
李密,陈旭江,徐荣文,周轩
小华半导体有限公司
摘要: 目前集成电路的模拟电路在数字验证期间大多采用行为级模型(Behavior Model)的形式进行基本的连接性的验证。但随着当今世界在集成电路方面的电路的复杂度越来越高,规模越来越大,SoC或者MCU集成的模拟模块也越来越多,越来越复杂,数模验证的复杂度剧增。大部分公司对于数模交互的功能、时序等只能等到回片测试才能验证设计的正确性。阐述了一种基于Wreal model的数模混合验证的方法,用来实现数模交互的大部分功能的可验证性,提升验证的完备性,以及完成数模电路间时序的验证等。
中图分类号:TN402 文献标志码:A DOI: 10.16157/j.issn.0258-7998.256961
中文引用格式: 李密,陈旭江,徐荣文,等. 基于Wreal model的数模混合验证的平台实现方法[J]. 电子技术应用,2026,52(6):137-140.
英文引用格式: Li Mi,Chen Xujiang,Xu Rongwen,et al. Platform implementation method for hybrid digital-analog verification based on wreal model[J]. Application of Electronic Technique,2026,52(6):137-140.
Platform implementation method for hybrid digital-analog verification based on wreal model
Li Mi,Chen Xujiang,Xu Rongwen,Zhou Xuan
Xiaohua Semiconductor Co., Ltd.
Abstract: At present, most of the analog circuits of integrated circuits use behavior-level models to verify the basic connectivity during digital verification. However, as the complexity and scale of circuits in integrated circuits in the world become higher and larger, there are more and more analog modules integrated by SoCs or MCUs, which are becoming more and more complex, and the complexity of mix-signal verification has increased dramatically. For most companies, the function of digital-to-analog interaction, timing, etc., can only wait for the return test to verify the correctness of the design. In this paper, a hybrid mixed-signal verification method based on wreal model is used to realize the verifiability of most functions of mixed-signal interaction, improve the comprehensiveness of verification, and verify the timing between mixed-signal circuits.
Key words : behavior model;Wreal model;mixed-signal mixing;completeness;timing

引言

目前集成电路的模拟电路在数字验证期间大多采用行为级模型(Behavior Model)的形式进行基本的连接性的验证。但随着集成电路方面的电路复杂度越来越高,规模越来越大,SoC或者MCU集成的模拟模块也越来越多,越来越复杂,数模验证的复杂度剧增。在实际的项目中,很多公司仍然只是采用Behavior Model形式进行数模混合验证,但Behavior Model由于只能有0、1的数字量,无法量化模拟信号的连续行为,导致模拟很多功能无法进行建模。虽然Verilog A建模可以实现模拟信号的连续性,但会导致仿真时间非常长,一个千万门以上的项目的部分仿真时间可能达到几个月之久,基本无法进行落地,所以导致数模交互的功能,时序等只能等到回片测试才能验证设计的正确性。

因此,本文阐述一种基于Wreal model的数模混合验证的平台,以解决数模交互的大部分功能的可验证性,提升验证的完备性,以及完成数模电路间时序的验证等。


本文详细内容请下载:

https://www.chinaaet.com/resource/share/2000007116


作者信息:

李密,陈旭江,徐荣文,周轩

(小华半导体有限公司,上海 201210)

通知公告
编辑观点
理事会
参考资料
版权声明

凡《网络安全与数据治理》(原《信息技术与网络安全》)录用的文章,如作者没有关于汇编权、翻译权、印刷权及电子版的复制权、信息网络传播权与发行权等版权的特殊声明,即视作该文章署名作者同意将该文章的汇编权、翻译权、印刷权及电子版的复制权、信息网络传播权与发行权授予本刊,本刊有权授权本刊合作数据库、合作媒体等合作伙伴使用。同时,本刊支付的稿酬已包含上述使用的费用,特此声明。

《网络安全与数据治理》(原《信息技术与网络安全》)编辑部