论文部分内容阅读
RFID(Radio Frequency Identification)标签芯片命令及其帧格式多样,增加了验证的复杂性,而且验证充分性难以得到保障.为了能够高效地验证RFID标签芯片以及解决验证充分性的问题,提出了一种基于覆盖率和受约束的随机激励的面向对象的功能验证平台设计方法.验证平台不仅能对单条命令进行验证,也能对特定的和随机的命令流进行验证,并自动检查验证结果.实践表明,该验证平台大大提高了验证生产率,保证了流片后芯片功能的正确性.