一个MOS集成电路的逻辑提取程序LEXTOR

集成电路CAD版图验证可从掩膜版图中提取电路图,从而与原设计的电路图直接比较或进行电路模拟.应该注意到,随着电路规模的增大,其电路模拟和比较的时间和空间要求变得难于被接受,因此提出了将电路图转换成逻辑图,以便在高层次上更有效地进行逻辑模拟和与原设计逻辑图的比较,LEXTOR(Logic Extractor)实现了这一设想. LEXTOR在算法上作了新的探索.(1)借鉴形式语言学理论,发展了一种统一的MOS门电路的组合生成及识别方法,即通过句法分析完成门电路的提取.若出现新结构的门电路,只需相应增加一些新的规则,而不必更改整个程序,克服了现有的拓扑同构法和路径搜索法在通用性方面的局限性.(2)研究和归纳了触发器拓扑结构的一些性质,独     

燃机5M过渡段型面质量改进

本文阐述了燃机5M过渡段零件拉深成形工艺研制过程和轮廓型面质量的改进措施,分析了影响零件成形质量的因素,制定了控制方案,最终提高了零件的交付质量。     

镍基高温合金异形筒体零件的焊接工艺研究

镍基高温合金异形筒体零件由拉深成形的上、下半部通过氩弧焊（TIG）焊接方法连接成整体。本文从镍基合金的焊接性能和零件焊接参数选择出发,分析了异形筒体零件TIG焊产生焊接缺陷和焊接变形的原因,并讨论了减少焊接缺陷和控制焊接变形的相关措施。