基于矢量随机生成和断言的LCD控制器的验证  

Verification of LCD Controller Based on Assertion and Random Vector Generation

作　　者：杨弢[1] 罗春[1] 杨军[1] 

机构地区：[1]东南大学国家专用集成电路系统工程技术研究中心,江苏省南京市210096

出　　处：《电子工程师》2006年第3期4-6,10,共4页Electronic Engineer

摘　　要：随着SoC(片上系统)设计能力的快速发展和工艺水平的不断提高,芯片功能日益复杂,功能验证的任务也日渐加大。文中以LCD(液晶显示器)控制器为例,利用随机矢量生成技术和断言技术,实现了该控制器的功能验证。验证结果表明,采用两者相结合的技术能有效地搭建复杂验证环境,大大提高了验证效率,并取得了良好的效果。This paper suggests how to make verification of environment with random vectors and assertion technique. By using these methods the LCD（ Liquid Crystal Display） controller in an embedded SoC is verified. The result shows that with these two methods the complex verification scenarios could be built effectively and the design achieved success.

关 键 词：SOC 功能验证 断言技术 随机矢量 LCD控制器 

分 类 号：TN492[电子电信—微电子学与固体电子学]