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