1988年第25届DAC：美国加利福尼亚州阿纳海姆
丹尼斯·沙克利 , A.理查德·牛顿 :
第25届ACM/IEEE设计自动化会议论文集，DAC’88，美国加利福尼亚州阿纳海姆，1988年6月12-15日。 ACM公司 1988 伊恩·罗斯 :
信息技术的未来发展（摘要）。 1 A.理查德·牛顿 :
电子设计自动化25年。 2 查尔斯·斯特劳德 :
通用时序逻辑综合的自动BIST方法。 3-8 Kwanghyun Kim先生 , 约瑟夫·特伦特 , 董三哈 :
使用VHDL自动插入BIST硬件。 9-15 凯瑟琳·赫·格博提斯（Catherine H.Gebotys） , 穆罕默德·艾尔马斯里 :
具有可测试性的超大规模集成电路设计综合。 16-21 诺伯特·韦恩 , 曼弗雷德·格莱斯纳 , 凯撒 , P.Mann先生 , A.罗斯 :
一种可容忍缺陷且完全可测试的PLA。 22-33 拉蒙·阿科斯塔 , 马克·亚历山大 , 加里·伊姆肯 , 比尔·里德 :
VHDL在MCC CAD系统中的作用。 34-39 大卫·R·科埃略 :
VHDL：要求标准。 40-47 拉里·奥古斯丁 , Benoit A.Gennart公司 , Youm嗯 , 大卫·C·勒克姆 , 亚历克·斯坦库列斯库 :
使用VAL验证VHDL设计。 48-53 陈兴浩 , 迈克尔·L·布什内尔 :
VLSI版图的模块面积估计器。 54-59 格哈德·齐默尔曼 :
一种新的VLSI布局面积和形状函数估计技术。 60-65 Shmuel Wimer公司 , 以色列可兰经 , 以色列Cederbaum :
超大规模集成电路中构建块的最佳纵横比。 66-72 卡尔·塞琴 :
使用模拟退火的宏/定制单元集成电路的芯片规划、放置和全局布线。 73-80 巴里·沃伦 :
电子包装设计自动化（教程）。 81 大卫·A·霍奇斯 :
计算机集成制造的机会。 82-83 维什瓦尼·D·阿格拉瓦尔 , Kwang-Ting Cheng（光鼎诚） , 普拉蒂马·阿格拉瓦尔 :
竞赛：时序电路的并发测试生成器。 84-89 C.托马斯·格洛弗 , M.Ray Mercer先生 :
一种延迟故障测试生成方法。 90-95 吴东成 :
用于测试生成的分割电路模型。 96-101 Jean-Loup Baer公司 , Meei-Chiueh列姆 , 拉里·麦克默奇 , 鲁道夫·诺特洛特 , 劳伦斯·斯奈德 , 韦恩·温德 :
描述VLSI电路多视图的符号。 102-107 保罗·德隆戈夫斯基 , Jwahar R.巴米 , 兰加纳托·拉马斯瓦米 , 桑达尔·艾扬格 , 王翠华 :
图形硬件设计语言。 108-114 戈塔罗·奥达瓦拉 , 富田正弘 , 服部和彦 , Osamu Okuzawa先生 , 平田东彦 , Masayasu Ochiai公司 :
硅编译的人机界面。 115-120 C.P.拉维库马尔 , 萨玛·萨斯特里 :
简化阵列结构上的并行放置。 121-127 Mehdi R.Zargham公司 :
并行通道布线。 128-133 埃里克·卡尔森 , 罗布·A·鲁滕巴 :
连接计算机上的掩码验证。 134-140 安德鲁·拉帕波特 :
DA的未来计算环境（面板）。 141 李永宁 , Sudhakar M.Reddy公司 , 萨尔塔吉·萨赫尼 :
组合逻辑电路中的路径选择。 142-147 詹姆斯·切里 :
珀尔：CMOS时序分析仪。 148-153 大卫·E·华莱士 , 卡洛·塞奎因 :
ATV：抽象定时验证程序。 154-159 玛丽·L·贝利 , 劳伦斯·斯奈德 :
关于中国菜平行性的实证研究。 160-165 拉里·索莱 , 汤姆·布兰克 :
通用机器上的并行逻辑仿真。 166-171 大卫·M·刘易斯 :
用于编译电气仿真的可编程硬件加速器。 172-177 沃尔特·海恩斯 , K.Van Nieuwenhove公司 :
递归通道路由器。 178-182 H.蔡 :
VLSI电路中的多端口、单层功率网络布线。 183-188 乔纳森·罗斯 :
LocusRoute：标准单元的并行全局路由器。 189-195 汤姆·布兰克 :
系统设计的行为建模（面板）。 196 维多利亚·斯塔夫里杜 , 霍华德·巴林格 , 大卫·A·爱德华兹 :
硬件的形式化规范和验证：比较案例研究。 197-204 让·克里斯托夫·马德雷 , 杰恩·鲍尔·比隆 :
使用预期行为和提取行为之间的形式比较来证明电路的正确性。 205-210 巴利亚特·纳伦德兰 , 乔纳森·斯蒂尔曼 :
Sobel图像处理芯片的形式验证。 211-217 丹尼尔·比斯 , 乔治·迪伯特 , 乔治娜·帕普 , 弗兰克·维兰特 :
IBM工程验证引擎。 218-224 Minoru Saitoh公司 , 岩田贤治 , 野村明子 , Makoto Kakegawa公司 , Masuda君一 , 滨村博文 , 富宫广泽 , Nobuaki Kawato公司 :
使用仿真处理器（SP）的逻辑仿真系统。 225-230 吉哈鲁（Yoshiharu Kazama） , 吉崎敬之（Yoshiaki Kinoshita） , Motonobu Nagafuji公司 , 村山浩史 :
矢量化逻辑仿真算法和“VELVET”性能评估。 231-236 理查德·巴思 , 贝特朗·塞莱特 :
VLSI设计的结构表示。 237-242 理查德·巴思 , 贝特朗·塞莱特 , Pradeep S.信德湖 :
参数化示意图。 243-249 理查德·巴思 , 蒙尼尔 , 贝特朗·塞莱特 :
修补程序：来自原理图注释的布局。 250-255 韦恩·沃尔夫 :
什么是设计自动化框架？ （面板）。 256 陈国栋 , 泰明公园 :
超大规模集成电路设计系统的数据库管理系统。 257-262 杨英奎 :
CAD/CAM数据库系统的增强数据模型。 263-268 戴维·吉迪 , 兰迪·H·卡茨 :
在芯片设计数据库中浏览。 269-274 洪泰周 , Won Kim公司 :
面向对象数据库系统中的版本和更改通知。 275-281 Foong-Charn Chang公司 , 陈津甫 , Prasad Subramaniam公司 :
一种准确有效的MOS电路门级延迟计算器。 282-287 丹尼尔·萨博 , 安德鲁·T·杨 , 易卜拉欣·N.哈吉 :
双极数字电路的延迟建模和时间。 288-293 理查德·伯奇 , 法里德·纳伊姆 , 平阳 , Dale E.Hocevar公司 :
用于CMOS电路可靠性分析的模式无关电流估计。 294-299 卡罗尔·V·古拉 , 雅各布·A·亚伯拉罕 :
基于特征线法的RLC耦合和非耦合传输线仿真方法的改进。 300-305 林俊明 , Jean-Marc Delosme公司 :
新退火计划的执行。 306-311 西瓦纳拉亚娜·马利拉 , 洛夫·格罗弗 :
基于聚类的标准细胞放置模拟退火。 312-317 仁松蔡 , 欧内斯特·库赫 , 徐季平 :
骄傲：一个快速的闸门放置算法的海洋。 318-323 劳伦斯·T·皮拉奇 , 罗纳德·罗勒 :
初始布局的二次度量及其简单求解方案。 324-329 迈克尔·麦克法兰 , 爱丽丝·帕克 , 劳尔·坎波萨诺 :
高级合成教程。 330-336 唐纳德·托马斯 , 伊丽莎白·M·德克斯 , 罗伯特·沃克 , 贾扬斯·拉詹 , 约翰·内斯特 , 罗伯特·布莱克本 :
系统架构师的工作台。 337-343 丹尼斯·埃克隆德 , 弗雷德·汤格 :
控制设计数据库中共享的上下文机制。 344-350 彼得·范德沃尔夫 , T.G.R.M.van Leuken先生 :
面向对象类型的VLSI数据管理数据建模。 351-356 英格·威迪亚 , T.G.R.M.van Leuken先生 , 彼得·范德沃尔夫 :
VLSI设计数据库中的并发控制。 357-362 阿格尼什卡·孔奇科夫斯卡 , M.Bon先生 :
带符号模拟器SCYMBAL的开关电容IC自动设计软件。 363-368 E.伯克坎 , 曼努埃尔·A·d·阿布鲁 , W·劳顿 :
基于连续分解的模拟编译。 369-375 Chandramouli Visweswariah公司 , 拉凯什·查达 , 陈津甫 :
高级模拟块的模型开发和验证。 376-382 大卫·博伊尔 :
符号布局压实审查。 383-389 沃纳·L·席勒 :
使用增量超约束分辨率进行压实。 390-395 大卫·马普尔 , Michiel Smulders公司 , 亨克·赫根 :
适用于45°布局的高效压实机。 396-402 内尔斯·范德·赞登 , 丹尼尔·盖斯基 :
MILO：微体系结构和逻辑优化器。 403-408 如新伟 , 史蒂文·G·罗斯威勒 , 景阳柔 :
BECOME：基于结构映射的行为级电路综合。 409-414 曾家珍（Chia-Jeng Tseng） , 如新伟 , 史蒂文·G·罗斯威勒 , 迈克尔·M·唐 , Ajoy K.Bose公司 :
桥：一个多功能的行为合成系统。 415-420 金龙卫 , 钱元昌 :
PLAYGROUND：使用混合地面真实输出最小化PLA。 421-426 马丁·海利维尔 , 马雷克·佩考斯基（Marek A.Perkowski） :
最小化多输出混合极性广义Reed-Muller形式的快速算法。 427-432 韦恩·沃尔夫 , 库尔特·科伊策 , 贾纳基·阿凯拉 :
一种多层次逻辑的核发现状态分配算法。 433-438 白石义一 , Jun'ya Sakemi公司 , 川田真本（Makoto Kutsuwada） , Akira Tsukizoe先生 , 佐藤隆志 :
一种用于CMOS逻辑单元的高封装密度模块生成器。 439-444 唐纳德·巴尔特斯 , 乔纳森·艾伦 :
SOLO：优化MOS电路示意图的高效布局生成器。 445-452 弗雷德·奥伯迈尔 , 兰迪·H·卡茨 :
考虑物理布局的电气优化程序。 453-459 唐·斯塔克 , 马克·霍洛维茨 :
用Ariel分析CMOS电源网络。 460-464 沃尔克·汉克尔 , 戈尔齐 :
RISCE-一种用于分层VLSI布局验证的精简指令集电路抽取器。 465-470 蒋匡威 , 苏伦德拉·纳哈尔 , 池元禄 :
GOALIE2中的时效VLSI艺术品分析算法。 471-475 兰达尔·布莱恩特 :
系统设计师对CAD工具的需求。 476 盖塔诺·博列洛 , Ewald Detjens公司 :
高级综合：现状和未来方向。 477-482 乔瓦尼·德米凯利 , 大卫·C·库 :
HERCULES-高水平合成系统。 483-488 劳尔·坎波萨诺 :
约克敦硅编译器中的设计过程模型。 489-494 德里克·贝蒂 , 兰达尔·布莱恩特 :
使用提取层次的快速增量电路分析。 495-500 Kiyoung Choi先生 , 孙英黄 , 汤姆·布兰克 :
数字仿真的增量实时算法。 501-505 丹·埃德尔 :
用于MOS逻辑仿真的动态定向开关模型。 506-511 高岛真本 , 池部宗彦（Atsuhiko Ikeuchi） , 小岛昭一 , 田中俊一 , Tamaki Saitou先生 , 酒田俊一 :
具有基于规则的函数同构检查的电路比较系统。 512-516 迈克尔·博纳 :
LOGEX-一种用于CMOS技术的从晶体管到门级的自动逻辑提取器。 517-522 亚历山大·帕帕斯皮尔迪斯 :
基于Prolog的连接验证工具。 523-527 阿尔弗雷德·邓洛普 :
细胞生成会取代标准细胞吗？ 528 罗伯特·布莱克本 , 唐纳德·托马斯 , 帕蒂·M·柯尼希 :
CORAL II：集成电路设计系统中的链接行为和结构。 529-535 巴里·彭格尔 :
拼接器：一种启发式的连接绑定方法。 536-541 拉吉夫·贾因 , 爱丽丝·帕克 , Nohbyung公园 :
流水线合成的模块选择。 542-547 拉米·拉祖克 :
使用Petri网对流水线处理器进行建模。 548-553 郭月顺 , T·C·陈 , 石维宽 :
最佳层分配的快速算法。 554-559 H.蔡 :
建筑群布局的连通性偏倚渠道建设和订购。 560-565 姚显基 , 山田正树 , C.L.刘 :
针分配问题的一种新方法。 566-572 熊晓明 , 欧内斯特·库赫 :
PCB和VLSI设计中的约束通孔最小化问题。 573-578 钱洪超 , F.盖尔·格雷 :
芯片级故障建模中的微操作扰动。 579-582 弗雷德里克·希尔 , Eltayeb Abuelyamen公司 , 黄伟康 , 沈国强 :
时序电路时钟模式故障仿真的一种新的双任务算法。 583-586 穆罕默德·西里特 :
开关级随机模式可测试性分析。 587-590 毛伟伟 , 迈克尔·迪莱蒂 :
Dytest：一种使用动态可测试性度量来加速测试生成的自学习算法。 591-596 朗达·凯·盖德 , 唐·E·罗斯 , M.Ray Mercer先生 , 肯尼思·巴特勒 :
CATAPULT：允许并行化和使用有限拓扑的并发自动测试。 597-600 Dov Harel公司 , 巴拉克里什南·克里希纳穆提 :
故障模拟的图形压缩方法。 601-604 陈尚林 , Hong Fa Ho公司 :
微处理器功能测试程序的自动生成。 605-608 Sy Yen Kuo先生 , W.Kent Fuchs公司 :
大面积超大规模集成电路中的备件分配与重构。 609-612 史蒂夫·迈耶 :
电路网络列表的数据结构。 613-616 米歇尔·海德曼 , 阿兰·普拉诺 , 丹尼尔·杜尔 :
高度集成仿真系统的体系结构。 617-621 威廉·C·迪斯斯 :
电路编译器不一定要慢。 622-627 Tai A.Ly公司 , 埃米尔·吉尔奇克（Emil F.Girczyc） :
面向对象IC设计环境中的约束传播。 628-633 谢尔登·S·L·张 :
零部件行业的设计自动化。 634-637 马尔万·贾布里 :
矩形对偶图的自动生成。 638-641 小川康史 , Hidekazu Terai公司 , 小泽东京 :
串行路由设备的自动布局程序。 642-645 理查德·哈特利 , 彼得·科贝特 :
数字串行硅编译器。 646-649 Pao-Po Hou先生 , 罗伯特·迈克尔·欧文斯 , 玛丽·简·欧文 :
分解器：收缩系统的合成器。 650-653 托马斯·伯格斯特拉塞尔 , 杰根·盖斯纳 , 卡尔海因兹·哈夫纳 , Stefan Wallstab公司 :
SMART：具有处理器体系结构的超大规模集成电路芯片的合成工具和方法。 654-657 Atreyi Chakravert公司 , 孟正中（Moon Jung Chung） :
门阵列宏单元的路由算法。 658-662 聪京生 , D.F.Wong（D.F.王） 
:
如何获得更紧凑的通道路由解决方案。 663-666 R.埃里克·卢诺 :
无通道多层路由器。 667-671 迈克尔·H·阿诺德 , 沃尔特·斯科特 :
带有提示的交互式迷宫路由器。 672-676 中宽诚 , 大卫·N·多伊奇 :
通过最小化和移位改进信道路由。 677-680 英德帕尔·班达里 , 马克·赫施 , 丹尼尔·西维奥雷克 :
薄荷洗牌：解决薄荷摆放的全球效应问题。 681-685 帕特里克·杜巴 , 拉宾德拉·K·罗伊 , 雅各布·A·亚伯拉罕 , 威廉·罗杰斯 :
分布式环境中的故障模拟。 686-691 西尔瓦诺·盖 , 皮尔·卢卡·蒙台梭罗 , 法比奥·萨蒙齐 :
MOZART并发故障仿真算法的性能。 692-697 阿基拉·莫托哈拉 , Motohide Murakami村上春树 , 米基·乌拉诺 , 安田康夫 , Masahide Sugano公司 :
一种快速分层故障模拟方法。 698-703 雅各布·萨维尔 :
为什么部分设计验证比它应该做的更好。 704-707 理查德·拉思罗普 , 罗伯特·J·霍尔 , 加文·达菲 , K.马克·亚历山大 , 罗伯特·柯克 :
结构功能抽象研究进展。 708-711 克雷格·汉森 :
通过编译进行硬件逻辑模拟。 712-716 高明吉雄（Yoshio Takamine） , 宫本顺介 , 长岛茂 , 三石正之 , 顺川 :
VELVET的时钟事件抑制算法及其在S-820开发中的应用。 716-719 H.C.Yen先生 , 苏巴拉奥·甘塔 , 大卫·洪昌都 :
一种用于时序分析的路径选择算法。 720-723 史蒂文·谢尔曼 :
时序需求分析和生成算法。 724-727
