分类树在分组密码IP验证中的应用与改进

• 作者: 徐金甫 李森森
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 分组密码 功能验证 虚拟输入 改进分类树 激励生成 功能覆盖模型
• 年，卷（期）: 2014,（8）
• 所属期刊栏目: 信息安全与计算机体系结构
• 页码范围: 1812-1815
• 页数: 4页
• 分类号: TP311
• 字数: 3948字
• 语种: 中文

摘要

分组密码IP核具有配置过程复杂、数据运算量大的特点,如何对其进行高效的验证是整个设计面临的关键问题.在随机验证中,激励生成和覆盖率模型抽象占据着尤为重要的位置.本文将分类树方法应用于分组密码IP的功能验证,并且针对其无法解决关联操作和顺序控制的缺点实施改进,主要是引入虚拟输入对激励序列进行规划,构建超长输入数据包.实验证明,采用改进的分类树指导激励生成和覆盖率模型抽象,能够生成更加精简有效的激励和完备的覆盖率模型,进而显著地提高验证的效率和完备性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐金甫		38	186	7.0	12.0
2	李森森		4	39	1.0	4.0