【双极型数字电路的逻辑提取】.pdf
浙江大学研究生学位论文用纸P.目录 蚕 ABSTRACT 苏一章 绪论一-计林机辅助瓶签验证的必要性 节二章 集成电路逻辑提取的国内外概况 苏三章 双极型集成电路逻辑提取就EX 的基本思想— 91-:节四章 LEX林法的实现 29 .4 -1 逻辑门知识库的描述结构一 —29 34-3 逻辑门知识库的组成 -42 34-3 标准逻辑提取 63 54-4 非标准逻辑提取一 -84 苏五章 L逻辑提取林法的特点 S5-1 LEX功能扩展 触发四级逻辑提取 S5-2L LE林法小结 —96
浙江大学毕业设计论文用纸 P.摘要 集成中路的逻样提取是C做图验让系统 不可缺少的重要组成部分,而叛图脸汪又是2CCAD的 重要内容之一。慢于日前国内外对M集成电龄的逻障提取 已有很成功的孙传和技件,而淋又极型故字电给的逻指提取 还内知中子虎而完的论迷,本文在梦致一些相失文献好弱 上,对又极型第成电话的逻样提取进行了初岁尝试,提可了一种 探索性脉法(儿做防街。用该你法不反能够提取标性的样 模坎.所谅结迅应胜很强,它不何可以进行门液逻撑提取,还可大扩展到解发回级似逻样提取,而且对在贮四甘的验让 工作也运用。此外,本诉法似复杂程度并不随电路规模的 增大而增加。
浙江大学研究生学位论文用纸P 一章 绪 论 集成电路是形成在半导体衬底上或绝绿体基电上 的完虚的电子线路。它是五十年代末期随着半导体晶 体营硅平面技术的发展而前现的一种新型的电子四件.自集成电路向世以来,在不到二十年的时间里,就从 小规模集成、中规模集成发展到大规模集成、超大规 模集成:1959年,美1国Texas仪四公司和Fairchild半导体 公司同时宣布成功制造了单比半导体集成电路;六十 年代中期,小规模集成电路(s51)和中规模集成电路(M5工)相继现;到1970年就制造3大规模集成(LSI) 芯比;而七十年中,末期,集成电路却已跨入了超大规模 集成(VLS工)时代。