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

王志才; 杨国武; 郑德生; 漆美

Chinese

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2026-09-04

- 基于GSTE的验证在UART模块中的应用研究
- Research of GSTE-Based Verification on UART
- 微电子学与计算机 2013年30卷第9期页码：22-25
- 作者机构：
  
  1. 电子科技大学计算机科学与工程学院,四川,成都,611731
  2. 攀枝花学院机构,四川,攀枝花,617000
- 作者简介：
- 基金信息：
  
  国家自然科学基金项目（60973016）
- DOI：
  中图分类号：
- 纸质出版：2013
- 稿件说明：
移动端阅览
王志才, 杨国武, 郑德生, 漆美. 基于GSTE的验证在UART模块中的应用研究[J]. 微电子学与计算机, 2013, 30(9): 22-25.

WANG Zhicai, YANG Guowu, ZHENG Desheng, et al. Research of GSTE-Based Verification on UART[J]. 2013, 30(9): 22-25.
王志才, 杨国武, 郑德生, 漆美. 基于GSTE的验证在UART模块中的应用研究[J]. 微电子学与计算机, 2013, 30(9): 22-25. DOI：

WANG Zhicai, YANG Guowu, ZHENG Desheng, et al. Research of GSTE-Based Verification on UART[J]. 2013, 30(9): 22-25. DOI：

摘要

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

Abstract

This paper presents an implemented version of GSTE and extends the non -blocking assignments on VIS platform.Through verifying the status transition of register transfer level model and consistency between output data and input data of UART

the method has been proven to be full coverage for the test case and be important significant in actual issue.

关键词

Keywords

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于断言的验证方法在UART模块中的应用研究

V型沟槽SiC中子探测器的蒙特卡洛分析

注意力机制与改进密集卷积引导的信息隐藏模型

大模型发展综述：从BERT到Deepseek的技术演进

一种用于极低压boost系统的高效率电荷泵