节点文献
基于矢量随机生成和断言的LCD控制器的验证
Verification of LCD Controller Based on Assertion and Random Vector Generation
【摘要】 随着SoC(片上系统)设计能力的快速发展和工艺水平的不断提高,芯片功能日益复杂,功能验证的任务也日渐加大。文中以LCD(液晶显示器)控制器为例,利用随机矢量生成技术和断言技术,实现了该控制器的功能验证。验证结果表明,采用两者相结合的技术能有效地搭建复杂验证环境,大大提高了验证效率,并取得了良好的效果。
【Abstract】 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控制器;
【Key words】 SoC; functional verification; assertion; random vector; LCD controller;
【Key words】 SoC; functional verification; assertion; random vector; LCD controller;
- 【文献出处】 电子工程师 ,Electronic Engineer , 编辑部邮箱 ,2006年03期
- 【分类号】TM571.6
- 【被引频次】2
- 【下载频次】44