您的位置： 专家智库 > >

郭建

作品数：24 被引量：56H指数：4
供职机构：华东师范大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划上海市科学技术委员会资助项目更多>>
相关领域：自动化与计算机技术电子电信理学文化科学更多>>

合作作者

文献类型

  • 21篇期刊文章
  • 2篇会议论文
  • 1篇学位论文

领域

  • 17篇自动化与计算...
  • 8篇电子电信
  • 1篇文化科学
  • 1篇理学

主题

  • 8篇形式化
  • 7篇形式化验证
  • 3篇三值逻辑
  • 3篇二叉判定图
  • 2篇电路
  • 2篇定理
  • 2篇定理证明
  • 2篇硬件验证
  • 2篇智能卡
  • 2篇同步数字系列
  • 2篇片上系统
  • 2篇函数
  • 2篇PSL
  • 2篇布尔函数
  • 1篇等价
  • 1篇等价性验证
  • 1篇对象模型
  • 1篇形式化方法
  • 1篇形式化验证方...
  • 1篇形式化验证技...

机构

  • 17篇西安邮电学院
  • 8篇华东师范大学
  • 6篇西安电子科技...
  • 1篇淮海工学院
  • 1篇西北大学
  • 1篇西北工业大学
  • 1篇西安工业大学
  • 1篇计算机软件新...

作者

  • 24篇郭建
  • 9篇韩俊刚
  • 3篇章玥
  • 2篇张华
  • 2篇朱晓冉
  • 1篇韩俊岗
  • 1篇李存华
  • 1篇王强
  • 1篇刘建元
  • 1篇杜惠敏
  • 1篇王玲
  • 1篇金乃咏
  • 1篇高勇
  • 1篇朱惠彪
  • 1篇纪小辉
  • 1篇郝克刚
  • 1篇王文君
  • 1篇徐立华
  • 1篇边明明

传媒

  • 3篇西安邮电学院...
  • 2篇计算机工程与...
  • 2篇计算机辅助设...
  • 2篇计算机工程与...
  • 2篇计算机科学
  • 2篇现代电子技术
  • 1篇计算机工程
  • 1篇计算机应用
  • 1篇小型微型计算...
  • 1篇软件学报
  • 1篇淮海工学院学...
  • 1篇西安电子科技...
  • 1篇科学技术与工...
  • 1篇信息网络安全

年份

  • 1篇2016
  • 1篇2014
  • 1篇2013
  • 2篇2011
  • 1篇2010
  • 1篇2009
  • 3篇2008
  • 2篇2007
  • 3篇2006
  • 3篇2005
  • 1篇2003
  • 2篇2001
  • 2篇2000
  • 1篇1999
共 24 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于PSL断言的宽带电路交换芯片验证被引量：3
2007年
利用基于PSL断言的验证方法验证了宽带电路交换芯片XYDXC160的设计。该芯片单片支持64路2.488Gb/s STM-16帧结构的SDH码流的输入/输出,实现1 024×1 024 STM-1流的无阻塞电路交换。断言技术的引入,降低了验证工作的复杂度,提高了验证的速度和效率,确保了验证工作的质量。
张华郭建韩俊刚
关键词：同步数字系列
Visual Foxpro中数据的加密和解密被引量：3
2000年
数据库的安全性是设计数据库应用系统的一个重要环节。通过对 VFP的分析 ,给出了在 VFP中进行数据保护的几种算法。
郭建
关键词：VFP加密数据库
时序电路的形式化证明
2005年
对硬件的形式化验证是硬件验证的一个发展方向,形式化验证一个时序电路就是证明电路的实现是否满足他的规格描述。本文提出了用等式逻辑ε的一个公式Ws来表示电路的实现,用T em pura的程序B表示对该电路的特性描述。公式P B引入来证明电路的正确性,这里P是电路的初始状态,是从Ws中抽取的,另外还要从Ws提取输出等式。这样,一旦证明了P B,就能证明实现满足规格描述。最后,给出了一个例子来说明此证明方法。
郭建
关键词：形式化验证逻辑公式时序电路形式化验证硬件验证表示电路
SOC的形式化验证方法被引量：2
2005年
如何对片上系统(SOC)来进行验证,是一个比较复杂的问题。本文介绍了用形式化方法来验证SOC,讨论在对SOC进行等价性验证时应注意的几个问题以及解决的方法。最后给出了对SOC验证的一般方法。
郭建韩俊刚
关键词：片上系统形式化验证等价性验证
用VIS系统验证电路的实时特性的探讨被引量：1
2001年
文章在分析形式化验证／综合系统VIS 的基础上，改进了该电子系统中的关键技术——二叉判定图（BDD），使BDD能表示电路的定时性质，这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础。
郭建韩俊刚
关键词：形式化验证二叉判定图集成电路
模态转移系统的三值逻辑模型检验被引量：2
2006年
分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后,状态数、转移数和原子命题数目与原模型呈线性关系,没有增加模型检验的复杂度·
郭建韩俊刚
关键词：三值逻辑
实时二叉判定图
1999年
对布尔函数的有效操作是许多计算机辅助设计的重要组成部分，二叉判定图（ＢＤＤ）是对布尔函数的一种有效表示，为了表示带时间参数的布尔函数，在ＢＤＤ的基础上，本文给出了带时间参数的布尔函数（ＴＢＦ）的表示—带时间参数的二叉判定图（ＴＢＤＤ），并利用ＣＵＤＤ包实现了ＴＢＤＤ．
王强郭建刘建元
关键词：二叉判定图布尔函数BDDVLSICAD
对VIS系统关键技术的改进
2000年
本文在分析形式化验证 /综合系统VIS的基础上 ,改进了此系统中的关键技术———二叉判定图 (BDD) ,使BDD能表示电路的定时性质 ,这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础。
郭建韩俊刚
关键词：形式化验证二叉判定图
基于性质描述语言的硬件验证
2010年
性质描述语言（Property Specification Language）为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法为硬件的设计和验证提出了一种新的很具有优势的验证方法。用性质描述语言作为断言的验证方法中描述断言的语言,使得断言能够被语法精简、语义严格清晰地描述出来。通过对先进先出队列存储器的设计和断言的描述,以及对断言的验证结果的描述,给出了如何利用性质描述语言写断言的一般方法,然后再进行模拟仿真,找出使断言失败的原因,以便找出设计的错误,并验证了本方法在硬件验证中的有效性。
纪小辉郭建
基于时态逻辑的硬件设计形式化验证技术——模型检验被引量：11
2001年
通过对时态逻辑的研究来探讨时态逻辑在硬件设计形式化验证上的应用 ,同时对布尔函数在计算机内的表示二叉判定图 (BDD)进行了进一步地分析 。
郭建杜惠敏韩俊刚郝克刚
关键词：时态逻辑布尔函数硬件设计形式化验证计算机
全选 清除 导出
共3页<123>
聚类工具0