您的位置： 专家智库 > >

王志才

作品数：2 被引量：1H指数：1
供职机构：电子科技大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 2篇形式化
  • 2篇形式化验证
  • 1篇断言
  • 1篇时态逻辑
  • 1篇阻塞性
  • 1篇非阻塞性
  • 1篇UART
  • 1篇VIS

机构

  • 2篇电子科技大学
  • 1篇攀枝花学院

作者

  • 2篇王志才
  • 1篇郑德生
  • 1篇漆美
  • 1篇杨国武

传媒

  • 1篇微电子学与计...

年份

  • 2篇2013
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一种基于断言图的模型抽象技术的研究
随着集成电路设计复杂度的与日俱增，而芯片的更新换代速度也在不断加快，使得集成电路芯片的验证越来越困难。传统的芯片验证主要是基于仿真模拟的验证，其验证周期长，无法做到全覆盖的用例验证。形式化验证是根据规范化语言描述的属性，...
王志才
关键词：形式化验证时态逻辑
基于GSTE的验证在UART模块中的应用研究
2013年
实现基于VIS平台的GSTE验证方法,并将非阻塞性赋值算法引入VIS中,完成了对UART的寄存器传输级模型的FSM的状态转移的验证和对发送的数据是否与输入数据一致的符号化验证.实验表明,该方法能够完成测试用例的全覆盖,说明了该方法在实际例子中所具有的重要意义.
王志才杨国武郑德生漆美
关键词：形式化验证UARTVIS
全选 清除 导出
共1页<1>
聚类工具0