摘要： 针对超大规模集成电路设计验证的复杂性，以多口以太网交换控制电路为验证对象，分析了高级验证语言的特点，研究了验证策略，设计了验证平台，实现了复杂电路的功能验证。验证结果表明，采用高级验证语言构建验证平台可有效地缩短验证周期、降低验证成本和提高验证质量。

关键词: 功能验证, 交换控制电路, 验证语言, 验证对象

Abstract: Regarding the high verification’s complexity of VLSI, This paper refers to a multi-port switch controller as a design under verification, analyzes the feature of high verification language, researches the strategy of verification, designes a verification testbench and accomplishes functional verification of the switch controller. The benefit of using the high verification language to build a verification testbench is of shorter verification cycle, less cost of verification, higher quality of verification.

Key words: Functional verification, Switch controller, Verification language, DUV

中图分类号: 

• TP273