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

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

来源：微电子学与计算机, 2013, (09): 22-25.

• 形式化验证
• GSTE
• UART
• VIS
• 非阻塞性赋值 formal verification
• GSTE
• UART
• VIS
• non-blocking assignments

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

• 单位
  攀枝花学院; 电子科技大学