內容簡介：目前集成電路的模擬電路在數字驗證期間大多采用行為級模型（Behavior Model）的形式進行基本的連接性的驗證。但隨著當今世界在集成電路方面的電路的復雜度越來越高，規模越來越大，SoC或者MCU集成的模擬模塊也越來越多，越來越復雜，數模驗證的復雜度劇增。大部分公司對于數模交互的功能、時序等只能等到回片測試才能驗證設計的正確性。闡述了一種基于Wreal model的數模混合驗證的方法，用來實現數模交互的大部分功能的可驗證性，提升驗證的完備性，以及完成數模電路間時序的驗證等。