ICCD 1989:美国马萨诸塞州剑桥
-
计算机设计:计算机和处理器中的超大规模集成电路,ICCD 1989。 诉讼程序。, 1989年IEEE国际会议,美国马萨诸塞州剑桥,1989年10月2-4日。 美国电气工程师协会 1989 ,国际标准图书编号 0-8186-1971-6 D.斯帕德纳 , P.格林 , K.Tam公司 , T.达塔 , M.库马尔 :
用于DSP和科学计算的集成浮点向量处理器。 8-13 罗斯·A·W·史密斯 , 杰拉尔德·索贝尔曼 , 乔治·卢克 , Koichi Suda公司 , 杰夫·布莱肯 :
FPC:用于脉动信号处理的浮点处理器控制器芯片。 14-17 Çetin Kaya Koç :
留数算法中混合半径转换的快速算法。 18-21 大卫·J·陈 , 李纪钦 , Bing J.Sheu先生 :
SLAM:用于混合模拟-数字VLSI设计的智能模拟模块布局生成器。 24-27 唐纳德·库里 :
数据路径布局的示意规范。 28-34 加布里埃尔·索切尔 , 雷吉斯·勒沃格尔 , 皮埃尔·阿布泽德 :
使用编译单元进行多级合成的无通道布局。 35-38 斯里尼瓦斯·帕蒂尔 , Sudhakar M.Reddy公司 :
路径延迟故障测试生成系统。 40-43 特蕾西·拉拉比 :
用于评估测试模式生成策略的框架。 44-47 曾伟斌 , D.Z.魏 :
组合电路测试生成中的智能回溯。 48-51 C.G.林赫代尔 , W·J·伯特伦 , M.S.Dhanaliwala先生 , R.J.皮宾奈拉 , J.M.塞格尔肯 , 国王L.泰 :
集成光电到超大规模集成电路封装技术。 54-57 布鲁斯特·O·卡勒 , 爱德华·C·帕里什 , 托马斯·A·莱恩 , 杰瑞·A·奎姆 :
用于连接机中处理器间通信的光互连。 58-61 亚历克斯·G·狄金森 , 迈克尔·E·普莱斯 :
集成自由空间光总线。 62-65 杨东煌 , 雷蒙德·科斯图克 :
一种用于光互连的低阻抗负载检测电路。 66-71 H.迪克斯特拉 , 格本·埃辛 , A.J.M.哈夫坎普 , H.den Hengst公司 , C.M.Huizer公司 , 亚瑟·H·M·范·罗蒙德 , 罗伯特·斯莱特 , P.J.斯奈德 :
通用视频信号处理器:结构和编程。 74-77 吉尔斯·普里瓦特 , 马克·雷纳丁 :
用于图像编码的运动估计VLSI结构。 78-81 斯图尔特·G·史密斯 , 拉尔夫·W·摩根 , 朱利安·佩恩 :
用于数字信号处理的通用ASIC架构。 82-85 萨利什·拉奥 :
矩阵变换芯片。 86-89 亚历山大·赫里格尔 , M.格拉泽 , 沃尔夫冈·费希特纳 :
VLSI布局的全局布局规划技术。 92-95 迈克尔·麦克法兰 :
一种用于建筑评估的快速楼层规划算法。 96-99 马苏德·佩德拉姆 , 布莱恩·普雷亚斯 :
精确预测随机逻辑的物理设计特性。 100-108 苏尼尔·阿尔文丹 , 维平·库马尔 , V.纳格什瓦拉·拉奥 :
多处理器上的楼层平面优化。 109-114 桑迪普·昆杜 , Sudhakar M.Reddy公司 :
设计用于CMOS技术实现的TSC检查器。 116-119 尼拉杰·K·贾 :
为系统和可分离代码设计足够强的自检嵌入式检查器。 120-123 雷吉斯·勒沃格尔 , 加布里埃尔·索西尔 :
同时签入专用控制器。 124-127 L.G.陈 , T·H·陈 :
使用双向操作数同时进行并发错误检测的计算。 128-131 兰迪·格罗夫斯 , 理查德·奥勒 :
IBM第二代RISC处理器体系结构。 134-137 H.B.巴科鲁 , 格雷戈里·格罗霍斯基 , L.E.撒切尔 , 詹姆斯·A·卡勒 , 查尔斯·摩尔 , 大卫·P·塔特尔 , 沃伦·E·莫尔 , 小W.R.Hardell。 , 德温·希克斯 , M.Nguyenphu先生 , 罗伯特·K·蒙托伊 , W.T.手套 , 苏迪尔·达旺 :
IBM第二代RISC机器组织。 138-142 保罗·维拉鲁比亚 , 加里·努斯鲍姆 , 罗伯特·马斯利德 , P.T.帕特尔 :
IBM RISC芯片设计方法。 143-147 王世伟(Shiwei Wang) , Yarsun Hsu公司 , C.J.Tan先生 :
一种用于高度并行系统的新型消息交换机。 150-155 克里斯托弗·布奇 , 亚历山大·阿尔比奇 :
包交换局域网上的语音和数据集成算法。 156-159 詹姆斯·杜尔特 , 帕梅斯·拉马纳桑 , Kang G.Shin先生 :
用于HARTS的可微编程VLSI路由控制器。 160-163 纳西尔·达维什 , 贝拉·博斯 :
高效的双不对称纠错码。 166-171 Horng Dar Lin公司 , 大卫·G·梅塞施密特 :
哈夫曼编码图像的高通量重建。 172-175 约瑟夫·卡瓦拉罗 , Christopher D.附近 , 乌亚尔大学 :
SVD的容错VLSI处理器阵列。 176-180 比阿特丽斯·傅 , Avtar Saini公司 , 帕特里克·P·盖辛格 :
i486TM处理器的性能和微体系结构。 182-187 詹姆斯·米勒 , 本·罗伯茨 , 保罗·马德兰 :
i486TM处理器的高性能电路。 188-192 埃德·格罗乔夫斯基 , 肯·舒梅克 :
i486TM缓存和总线实现中的问题。 193-198 帕特·基辛格 , 桑达尔·艾扬加 , 约瑟夫·克劳斯科普夫 , 詹姆斯·纳迪尔 :
i486TM CPU上的计算机辅助设计和内置自检。 199-202 保罗·洛文斯坦 :
使用高阶逻辑对状态机进行形式化验证。 204-207 杰里·伯奇 :
用轨迹理论建模时序假设。 208-211 大卫·L·迪尔 , 史蒂文·诺威克 , 罗伯特·F·斯普鲁尔 :
使用Petri网规范自动验证速度相关电路。 212-216 Soumitra Bose公司 , 艾伦·L·费舍尔 :
使用符号逻辑模拟验证流水线硬件。 217-221 C.G.林赫代尔 , L.H.丛 :
设计了一种多芯片单封装数字信号处理模块。 224-228 诺曼·乔比 :
处理器性能的集成和封装平台。 229-232 拉维·卡乌 :
不同封装环境中芯片交叉延迟的比较。 233-236 杰西·罗森布利特 , 约翰·普林斯 , 乌列吉尔德·帕卢辛斯基 , T.D.惠普尔 :
超大规模集成电路互连的计算机辅助设计系统。 237-241 迪克·L·刘 , 拉杰什·加利万奇 , 查理·C·徐 :
大型ASIC的自动测试模式生成程序。 244-248 杰弗里·福克斯 , 道格拉斯·帕斯托雷洛 :
合成在ASIC设计环境中的作用。 249-254 格伦·米兰克 , 乔恩·鲁宾斯坦 , 约翰·桑吉内蒂 :
ASIC在第二代Titan中的应用进展。 255-259 马西耶·西塞尔斯基(Maciej J.Ciesielski) , 杨赛扬(Saeyang Yang) , 马雷克·佩考斯基(Marek A.Perkowski) :
基于图着色的多值布尔最小化。 262-265 P.拉姆斯 , 吕克·克莱森 , 雨果·德曼 :
由一个非常有效的布尔校准器支持的VLSI模块的正确性验证。 266-269 金龙卫 , Sin-Min Chang先生 , Jing-Yang Jou公司 :
OPAM:一种有效的输出相位分配,用于多级逻辑最小化。 270-273 Y.-H.Shih先生 , S.M.Kang先生 :
使用直接方程求解器进行快速MOS电路仿真。 276-279 杰弗里·比尔 , 爱德华·A·李 :
Frigg:用于多处理器DSP系统开发的仿真环境。 280-283 爱德华·塞尔尼 , 约翰·海耶斯 , 尼古拉斯·C·鲁明 :
开关级建模中的幅值类。 284-288 莫汉·哈里哈拉 , 普雷姆·梅农 :
识别组合电路中不可检测的故障。 290-293 史蒂文·史密斯 :
一种使用双向并行的增强型高性能组合故障模拟器。 294-297 丹尼尔·萨博 , 易卜拉欣·N.哈吉 , 约瑟夫·T·拉姆 :
并行并发故障模拟。 298-301 H.克洛泽 , B.森纳 , A.维德 :
BiCMOS,一种用于高速/高密度集成电路的技术。 304-309 P.Kuen Fung先生 , Hiep V.Tran公司 , 大卫·B·斯科特 :
BiCMOS技术对SRAM电路设计的影响。 310-313 杰勒德·鲍登 , 弗兰克·沃勒特 , 埃里克·梅勒特 :
采用半微米技术的内部ECL-BiCMOS转换器电路。 314-317 前岛秀夫 , 塔达奇·班多 , 西西义二 , 福岛Tadashi , Masanori Odaka公司 , 阿索·霍塔 :
作为计算机元件的BiCMOS VLSI电路技术。 318-321 S.Muroga公司 , X.Q.Xiang向 , J.林奎科 , L.P.林 , 陈国强(K.C.Chen) :
逻辑网络综合系统SYLON。 324-328 皮埃尔·鲍林 , 弗兰克·波洛 :
用于多级逻辑时序优化的逻辑分解算法。 329-333 P.A.Subrahmanyam先生 :
具有交互异步(自定时)和同步组件的系统的自动合成。 334-337 布莱恩·班尼斯特 , 大卫·R·梅尔顿 , 盖诺·泰勒 :
通过谱域的数字电路的可测试性。 340-343 安妮塔·格里森 , 文本·琼斯 :
汉明计数——压实试验技术。 344-347 五、博宾 , D.拉达克里什南 :
具有故障检测能力的VLSI剩余算术乘法器。 348-351 西尔维娅·埃尔科拉尼 , 米歇尔·法瓦利 , 毛里齐奥·达米亚尼 , 皮耶罗·奥利沃 , 布鲁诺·里科 :
改进了组合逻辑网络的可测试性评估。 352-355 中冢康弘 , Takashi Hotta公司 , 田中Shigeya Tanaka , 塔达基·班多 , 佐村良治 , 中关昭一 , 中野哲雄 , 阿索·霍塔 , 森山隆 , Shigemi Adachi阿达奇 , 岩本昭治 :
高性能BiCMOS 32位微处理器。 358-361 Nobuhiro番茄酱 :
用于易于测试的VLSI数字信号处理系统的基于计数器的余数运算电路。 362-365 保罗·Y·卢 , 凯文·达瓦勒 :
IEEE浮点乘法/除法/平方根的VLSI模块。 366-368 阿玛尔·穆克吉 , N.兰加纳坦 , Mostafa A.Bassiouni公司 :
基于树的代码的自适应和流水线VLSI设计。 369-372 尊敬的P.Sit , 莫妮卡·罗森拉赫·诺法尔 , Sunhyuk Kimn先生 :
Intel i860(TM)处理器中的80 MFLOPS浮点引擎。 374-379 迈克尔·W·罗德哈梅尔 :
i860TM微处理器的总线接口和寻呼单元。 380-384 皮尤什·帕特尔 , 黛安·道格拉斯 :
i860(TM)微处理器RISC内核和片上高速缓存的结构特点。 385-390 C.伦纳德·伯曼 :
有序二进制决策图和电路结构。 392-395 阿卜杜勒·马利克 , 罗伯特·K·布雷顿 , 阿尔贝托·桑吉奥瓦尼·文森特利 :
因子形式的逻辑最小化。 396-399 比尔·林 , A.理查德·牛顿 :
约束立方嵌入问题的一种广义方法。 400-403 清水彻 , 岩田俊一 , 斋藤裕一 , 丰彦吉田 , Masahito Matsuo先生 , 日本纯一 , 齐藤市Kazunori Saito :
具有高性能位映射操作指令的32位微处理器。 406-409 阿萨尔医学博士 , J.D.基伊 , A.M.研究员 , I.C.罗伯逊 , N.K.Ing-Simons公司 , I.J.夏洛克 :
用于高性能全定制图形处理器的新颖架构。 410-414 Masayoshi Tachibana公司 , 近藤义久 , 山田康夫 , 高桥正美 , Haruyuki Tago先生 :
用于实时脉冲处理的高性能I/O处理器。 415-418 曾家珍(Chia-Jeng Tseng) , 史蒂文·G·罗斯威勒 , 沙伊莱什·苏塔瓦拉 , 阿吉特·帕布(Ajit M.Prabhu) :
思维:用于高级合成的模块活页夹。 420-423 Hyunchul Shin先生 , Nam Sung Woo公司 :
一种基于代价函数的数据路径综合调度优化技术。 424-427 维杰·拉吉 :
DAGAR:一个自动流水线微体系结构综合系统。 428-431 Chi-Min Chu先生 , Miodrag Potkonjak公司 , 马库斯·泰勒 , 简·M·拉比 :
HYPER:用于高性能实时应用程序的交互式合成环境。 432-435 胡正明 :
MOS和双极IC的可靠性问题。 438-442 布鲁诺·西西亚尼 , 朱塞佩·伊泽奥拉 :
用于评估拓扑约束芯片架构的成品率模型。 443-446 法里德·纳伊姆 , 易卜拉欣·N.哈吉 , 平阳 :
基于随机电流波形的电迁移平均故障时间。 447-450 卡尔文·J·A·夏 , C.Y.罗杰·陈 :
关于一类(2n-1)级可重排互连网络。 452-455 陈忠汉 , Laxmi N.Bhuyan :
多级互连网络设计的收缩方法。 456-459 维杰·贾恩 , 大卫·L·兰迪斯 , 阿尔瓦雷斯 :
收缩L-U分解阵列与一个新的倒数细胞。 460-465 格雷戈里·弗雷泽 , 尤瓦尔·塔米尔 :
VLSI通信交换机多队列缓冲器的设计与实现。 466-471 韦恩·德特洛夫 , 凯西·扬特 , 渡边裕久 :
具有可重构级联结构的模糊逻辑控制器。 474-478 穆罕默德·朱巴伊尔 , B.B.马丹 :
神经网络的收缩实现。 479-482 J.瓦利 , 加布里埃尔·索切尔 :
一种灵活的神经网络体系结构。 483-486 弗兰克·沃科夫斯基 , 延斯·利恩斯特拉 , 奈豪斯 , 兰伯特·斯巴南堡 :
人工神经网络测试中的问题。 487-490 优素福·莱布利比奇 , 康松默 :
MOS电路性能退化的模拟,重点是VLSI的可靠性设计。 492-495 徐文杰 , Bing J.Sheu先生 , 万斯·C·泰利 :
具有内置可靠性的数字和模拟集成电路设计。 496-499 Yi Chieh Chang(张益杰) , Kang G.Shin先生 :
一种用于高产VLSI/WSI处理器的模块切片方法。 500-503 小威廉·C·霍巴特。 , 哈维·G·克拉贡 :
符号程序的位置特征。 508-511 乌马基肖尔·拉马钱德兰 , M.优素福·阿明·哈利迪 :
基于对象系统的内存管理单元的设计。 512-517 迈克尔·谢长廷 , 泰克·C·魏 , 威廉·范·鲁 :
专门用于CPU板上系统IO活动的缓存系统体系结构。 518-522 熊晓明 , 丹·格林 , 约翰·哈丁 , 劳伦斯·里德尔 :
VLSI版图设计的自动信号网络匹配。 524-527 皮埃尔·弗兰索瓦·杜波伊斯 :
构建基块样式布局中的通道交叉问题。 528-531 A.A.J.de Lange先生 , J.S.J.de Lange(德兰格) , J.F.文克 :
符号布局的层次约束图生成和压缩系统。 532-535 亚历山大·赫里格尔 , J.卡姆 , 沃尔夫冈·费希特纳 :
宏单元级压实,自动引入点动。 536-539 米隆·阿布拉莫维奇 , J.W.比尔鲍尔 , R.H.赫尔曼 , C.L.洪 , 大卫·T·米勒 , R.G.泰勒 :
AT&T计算机部门的系统级设计验证:概述和策略。 542-547 米隆·阿布拉莫维奇 , 詹姆斯·库利科夫斯基 , 大卫·T·米勒 , 普雷姆·梅农 :
AT&T计算机部门的系统级设计验证:工具。 548-554 奎恩·坎菲尔德 , 保罗·巴福德 , 保罗·金泽尔曼 , 卡里·特里卡 :
Digital中的系统仿真环境。 555-560 Gwan Choi先生 , 拉维·伊耶 , 维克托·卡雷诺 :
焦点:容错系统验证的实验环境-喷气发动机控制器的案例研究。 561-564 约翰·Y·沙亚 , 查尔斯·基姆 :
在高性能VLSI系统实现中调度不等长测试。 566-570 拉文德·谢吉尔 , 白和杨 , 帕特里克·A·图奇 :
全定制处理器芯片的内置测试方法。 571-575 陈建英(Chien-In Henry Chen) , 杰拉尔德·索贝尔曼 :
一种有效的BIST设计伪穷举测试生成方法。 576-579 Yervant Zorian公司 , 吉米·贾瓦拉 :
使用IEEE P1149.1边界扫描架构设计容错、可测试的超大规模集成电路处理器。 580-584