期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到5篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
逻辑分析的推理方法 被引量：1
1
作者 方佳佶 章开和 唐璞山 《电子学报》 EI CAS CSCD 北大核心 1989年第1期79-83,共5页
本文提出了一种新的对数字电路进行逻辑分析的方法——推理方法。该方法将逻辑分析问题看作是一个自动定理证明问题,即将逻辑电路知识看成为公理,给定的数字网络结构和输入信号看成是已知成立的命题(引理),而待求的输出信号看成是蕴含... 本文提出了一种新的对数字电路进行逻辑分析的方法——推理方法。该方法将逻辑分析问题看作是一个自动定理证明问题,即将逻辑电路知识看成为公理,给定的数字网络结构和输入信号看成是已知成立的命题(引理),而待求的输出信号看成是蕴含在上述这些命题中的新命题(定理),逻辑分析过程就是从公理,引理中自动导出定理的过程,即推理过程。本文详细介绍了推理方法的原理,推理的过程,最后将这种分析方法与传统的逻辑分析方法进行了比较。 展开更多
关键词 逻辑分析 推理方法 数字电路
下载PDF
逻辑分析专家系统LAP 被引量：1
2
作者 方佳佶 章开和 唐璞山 《计算机学报》 EI CSCD 北大核心 1989年第6期416-422,共7页
本文介绍了一个基于推理方法的逻辑分析专家系统LAP(Logic Analysis expert system in Prolog)。文中详细介绍了LAP系统的功能、系统结构、逻辑电路的知识表述方法、描述语言和分析实例等。
关键词 逻辑分析 专家系统 LAP系统
下载PDF
GETS——一个通用的EDIF翻译系统
3
作者 方佳佶 张美玉 +4 位作者 杨峥嵘 许越 朱正风 何新平 连永君 《计算机学报》 EI CSCD 北大核心 1991年第5期395-397,共3页
EDIF语言是电子设计的国际交换标准,EDIF翻译器是当今CAD/CAE系统必不可少的对外接口的工具,GETS是国内第一个开发成功的EDIF翻译器,它的主要功能是对EDIF 200版本的数据进行词法检查、语法检查、语义分析、关键字映照、层次展开和数据... EDIF语言是电子设计的国际交换标准,EDIF翻译器是当今CAD/CAE系统必不可少的对外接口的工具,GETS是国内第一个开发成功的EDIF翻译器,它的主要功能是对EDIF 200版本的数据进行词法检查、语法检查、语义分析、关键字映照、层次展开和数据变换等。GETS是一个通用的EDIF接口软件,其独特的接口方案与其他CAD/CAE软件的内部数据结构无关,使它能与任何电子设计的CAD/CAE软件相连。 展开更多
关键词 GETS EDIF 翻译系统 电子设计 CAD
下载PDF
基于约束图的版图压缩算法
4
作者 方佳佶 章开和 唐璞山 《微电子学与计算机》 CSCD 北大核心 1990年第1期21-24,共4页
本文在简评各种版图压缩方法后,重点介绍了基于约束图模型的压缩算法,包括约束图建立、约束图求解以及约束图在二维压缩中的运用.
关键词 版图压缩 约束图 算法
下载PDF
实用版图压缩算法
5
作者 邵建华 方佳佶 +1 位作者 章开和 唐璞山 《微电子学》 CAS CSCD 1992年第1期41-45,共5页
本文给出了两种基于约束图的一维版图压缩算法,即完全约束图压缩算法和精简约束图压缩算法,并对两个算法的性能做了讨论;针对版图中较常用的曼哈顿多边形图形,文中还给出了相应的解决办法。
关键词 版图压缩 压缩算法 集成电路
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部