Research of GSTE-Based Verification on UART

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.