欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
实现基于VIS平台的GSTE验证方法，并将非阻塞性赋值算法引入VIS中，完成了对UART的寄存器传输级模型的FSM的状态转移的验证和对发送的数据是否与输入数据一致的符号化验证．实验表明，该方法能够完成测试用例的全覆盖，说明了该方法在实际例子中所具有的重要意义．
英文摘要：
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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：