方佳佶
- 作品数:7 被引量:2H指数:1
- 供职机构:复旦大学更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术电子电信理学更多>>
- 基于约束图的版图压缩算法
- 1990年
- 本文在简评各种版图压缩方法后,重点介绍了基于约束图模型的压缩算法,包括约束图建立、约束图求解以及约束图在二维压缩中的运用.
- 方佳佶章开和唐璞山
- 关键词:约束图
- GETS——一个通用的EDIF翻译系统
- 1991年
- EDIF语言是电子设计的国际交换标准,EDIF翻译器是当今CAD/CAE系统必不可少的对外接口的工具,GETS是国内第一个开发成功的EDIF翻译器,它的主要功能是对EDIF 200版本的数据进行词法检查、语法检查、语义分析、关键字映照、层次展开和数据变换等。GETS是一个通用的EDIF接口软件,其独特的接口方案与其他CAD/CAE软件的内部数据结构无关,使它能与任何电子设计的CAD/CAE软件相连。
- 方佳佶张美玉杨峥嵘许越朱正风何新平连永君
- 关键词:翻译系统电子设计CAD
- 逻辑分析专家系统LAP被引量:1
- 1989年
- 本文介绍了一个基于推理方法的逻辑分析专家系统LAP(Logic Analysis expert system in Prolog)。文中详细介绍了LAP系统的功能、系统结构、逻辑电路的知识表述方法、描述语言和分析实例等。
- 方佳佶章开和唐璞山
- 关键词:逻辑分析专家系统
- 逻辑分析的推理方法被引量:1
- 1989年
- 本文提出了一种新的对数字电路进行逻辑分析的方法——推理方法。该方法将逻辑分析问题看作是一个自动定理证明问题,即将逻辑电路知识看成为公理,给定的数字网络结构和输入信号看成是已知成立的命题(引理),而待求的输出信号看成是蕴含在上述这些命题中的新命题(定理),逻辑分析过程就是从公理,引理中自动导出定理的过程,即推理过程。本文详细介绍了推理方法的原理,推理的过程,最后将这种分析方法与传统的逻辑分析方法进行了比较。
- 方佳佶章开和唐璞山
- 关键词:逻辑分析数字电路
- 约束图生成及其在压缩中应用
- 方佳佶
- 实用版图压缩算法
- 1992年
- 本文给出了两种基于约束图的一维版图压缩算法,即完全约束图压缩算法和精简约束图压缩算法,并对两个算法的性能做了讨论;针对版图中较常用的曼哈顿多边形图形,文中还给出了相应的解决办法。
- 邵建华方佳佶章开和唐璞山
- 关键词:集成电路
- 实用版图压缩算法
- 邵建华方佳佶章开和
- 关键词:集成电路机助制图计算机辅助设计电路设计