基于GSTE的验证在UART模块中的应用研究
Research of GSTE-Based Verification on UART
-
摘要: 实现基于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.
下载:
