| 基于矢量随机生成和断言的LCD控制器的验证 |
| |
| 引用本文： | 杨弢,罗春,杨军.基于矢量随机生成和断言的LCD控制器的验证[J].电子工程师,2006,32(3):4-6,10. |
| |
| 作者姓名： | 杨弢 罗春 杨军 |
| |
| 作者单位： | 东南大学国家专用集成电路系统工程技术研究中心,江苏省,南京市,210096 |
| |
| 摘 要： | 随着SoC(片上系统)设计能力的快速发展和工艺水平的不断提高,芯片功能日益复杂,功能验证的任务也日渐加大。文中以LCD(液晶显示器)控制器为例,利用随机矢量生成技术和断言技术,实现了该控制器的功能验证。验证结果表明,采用两者相结合的技术能有效地搭建复杂验证环境,大大提高了验证效率,并取得了良好的效果。
|
| 关 键 词： | SoC 功能验证 断言技术 随机矢量 LCD控制器 |
| 收稿时间： | 2005-07-21 |
| 修稿时间： | 2005-07-212005-11-16 |
Verification of LCD Controller Based on Assertion and Random Vector Generation |
| |
| YANG Tao,LUO Chun,YANG Jun.Verification of LCD Controller Based on Assertion and Random Vector Generation[J].Electronic Engineer,2006,32(3):4-6,10. |
| |
| Authors: | YANG Tao LUO Chun YANG Jun |
| |
| Affiliation: | Southeast University, Nanjing 210096, China |
| |
| 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. |
| |
| Keywords: | SoC functional verification assertion random vector LCD controller |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
