| 基于覆盖率驱动的高频RFID芯片验证平台设计 |
| 王国军;景为平; |
| 关键词：覆盖率驱动;验证技术;激励产生算法 |
| 主要内容：提出了一种采用覆盖率驱动激励产生算法的验证技术,设计了一套完整的验证平台,成功地验证了一款高频RFID(射频识别技术)芯片。该技术的核心思想是在验证过程中,通过分析功能覆盖率和代码覆盖率,得出未覆盖的边界条件,进而修改激励产生的约束条件,产 |
| 《电子技术应用》 2016,42(04):28-30+34 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号