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

Verification of LCD Controller Based on Assertion and Random Vector Generation

随着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.