基于ILT的版图自动层次构造算法.pdfVIP

!#年第 !$ 卷第 ! 期 微电子学与计算机 BE@ #$ #$ %’()*+,-./ 李宁 ! 侯劲松 %) 中国科学技术大学! 北京 )=?@ %A 北京中电华大电子设计有限责任公司! 北京 BBC 摘 要% 在超大规模集成电路设计中!随着版图规模的急速增大!采用层次+,-.-/+,/.##版图验证的方法成为提 高计算效率的关键$版图中存在大量重复单元的阵列!单元边界问题处理策略的选择!是决定版图层次验证工具效 率的一个关键$ 文章采用了基于版图倒序树012%的自动构造版图层次的算法!使扁平的版图形成多个层次!利用 新增单元版图规模的压缩达到加速处理边界问题的效果!提高了版图层次验证工具的效率$ 关键词% 层次版图验证!012!自动层次构造 0’/123!2DE 45678!% 49:3!$ ($)*!#+@ BE@ G ’()*+,-. )/ 0,).1,+2 3+4*1*2-5 6)78,*02,+)7 9184: )7 #$ 1H D,’IBJ KLM N,’,47’IA %B M’,3-4,%6 7 O/,’/ P 2/+’7#7I6 7 Q+,’.( R,S,’I B?@ %A QTQ K8.U. T#/%-7’,/ V4,I’ Q7W 1%UX( Y,S,’I BBC ;8,*12,% H% ,4 . Z6 %7 4#/% . +,I+ 4\U 4%-.%I6 %7 +.’U# /##4) ]78’U.-6 7 #.-I .--.64( ^+,/+ ./%4 %+ , /,’/6 7 +,-.-/+,/.# 3-,,/.%,7’ %77#X ’ .#I7-,%+_ 7 .8%7_.%,/ +,-.-/+6 /7’4%-8/%,7’ ].4U 7’ H12 %- ,4 \-73,UU ,’ %+,4 \.\-J ^+,/+ 4\U4 8\ %+ \-7/44 7 ]78’U.-6 \-7]#_ ^## %+-78I+ %+ _%+7U 7 /7’4%-8/%,7’ .UU,%,7’.# /##4 .’U /+.’I,’I %+ +,-.-/+,/.# %- 7 %+ #.678%X 2+ .\\#,/.%,7’ 7 %+ .#I7-,%+_ +,I+#6 ’+.’/4 %+ .#I7-,%+_ ,/,’ /6 \-7]#_ 7 +,-.-/+,/.# 3-,,/.%,7’ %77#X 45 =)*:8% K,-.-/+,/.# #.678% 3-,,/.%,7’J H12J 8%7_.%,/ +,-.-/+6 /7’4%-8/%,7’ ! ! 于上层的哪个或哪些单元 本文提出了采用基于边 随着深亚微米工艺的逐步应用!传统的版图验 的 059 树作为层次版图验证的核心算法!在对边的 证工具受到越来越严重的挑战 其中最突出的问题 状态记数过程中!创造性地采用 059 的数据结构表 是#传统的版图验证工具一般采用对版图中的所有 示状态的变化!解决了长期困扰 059 数据结构的算 单元数据$打散%#$%%’’的方式进行版图检查(在深 法效率难题!为层次版图验证奠定了基础 亚微米工艺下!版图中的图形已经达到十亿%)*的