节点文献

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

Verification of LCD Controller Based on Assertion and Random Vector Generation

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 杨弢罗春杨军

【Author】 YANG Tao,LUO Chun,YANG Jun(Southeast University,Nanjing 210096,China)

【机构】 东南大学国家专用集成电路系统工程技术研究中心东南大学国家专用集成电路系统工程技术研究中心 江苏省南京市210096江苏省南京市210096

【摘要】 随着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.

  • 【文献出处】 电子工程师 ,Electronic Engineer , 编辑部邮箱 ,2006年03期
  • 【分类号】TM571.6
  • 【被引频次】2
  • 【下载频次】44
节点文献中: 

本文链接的文献网络图示:

本文的引文网络