基于 GSTE的验证在 UART模块中的应用研究

• 作者: 杨国武 漆美 王志才 郑德生
• 来源期刊: 微电子学与计算机
• 关键词: 形式化验证 GSTE UART VIS 非阻塞性赋值
• 年，卷（期）: 2013,（9）
• 页码范围: 22-25
• 页数: 4页
• 分类号: TP311.56
• 语种: 中文

摘要

实现基于VIS平台的GSTE验证方法，并将非阻塞性赋值算法引入VIS中，完成了对UART 的寄存器传输级模型的FSM的状态转移的验证和对发送的数据是否与输入数据一致的符号化验证。实验表明，该方法能够完成测试用例的全覆盖，说明了该方法在实际例子中所具有的重要意义。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨国武	电子科技大学计算机科学与工程学院	22	84	4.0	8.0
2	郑德生	电子科技大学计算机科学与工程学院	6	12	2.0	2.0
3	王志才	电子科技大学计算机科学与工程学院	1	2	1.0	1.0
4	漆美		1	2	1.0	1.0