您的位置： 专家智库 > >

徐忠林

作品数：2 被引量：0H指数：0
供职机构：电子科技大学计算机科学与工程学院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：电子电信更多>>

合作作者

文献类型

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

领域

  • 2篇电子电信

主题

  • 2篇形式化
  • 2篇形式化验证
  • 2篇并发
  • 1篇电路
  • 1篇断言
  • 1篇进程代数
  • 1篇并发系统

机构

  • 2篇电子科技大学

作者

  • 2篇徐忠林
  • 1篇郑德生
  • 1篇杨国武

传媒

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

年份

  • 1篇2013
  • 1篇2010
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
并发的广义符号轨迹赋值的研究
随着数字逻辑设计的规模越来越大,复杂度越来越高,功能验证已成为设计过程中的首要瓶颈。在过去几十年中,人们对于数字电路顺序行为的验证进行了深入而广泛的研究并提出了许多行之有效的验证方法,主要分为基于模拟的和基于形式方法的验...
徐忠林
关键词：形式化验证进程代数并发系统
文献传递
电路并发性质在GSTE中的研究和实现
2013年
由于GSTE的性质描述断言图的时序特性,使其不能够简洁易懂地描述电路的并发性质,因此将meet运算符引入GSTE,重新定义GSTE断言图及其验证算法,使之能更简洁的描述和验证数字电路的并发性质,实验表明引入meet运算符后的算法能够降低验证的复杂度.
郑德生杨国武徐忠林
全选 清除 导出
共1页<1>
聚类工具0