内容简介：目前集成电路的模拟电路在数字验证期间大多采用行为级模型（Behavior Model）的形式进行基本的连接性的验证。但随着当今世界在集成电路方面的电路的复杂度越来越高，规模越来越大，SoC或者MCU集成的模拟模块也越来越多，越来越复杂，数模验证的复杂度剧增。大部分公司对于数模交互的功能、时序等只能等到回片测试才能验证设计的正确性。阐述了一种基于Wreal model的数模混合验证的方法，用来实现数模交互的大部分功能的可验证性，提升验证的完备性，以及完成数模电路间时序的验证等。