ICCD 1994:美国马萨诸塞州剑桥
-
1994年IEEE国际计算机设计会议论文集:计算机与处理器中的超大规模集成电路,ICCD’94,美国马萨诸塞州剑桥,1994年10月10日至12日。 IEEE计算机学会 1994 ,国际标准图书编号 0-8186-6565-3
CAD全体会议
尼尔·韦斯特 :
好吧,如果这些CAD工具这么棒,为什么我的芯片设计没有按计划进行?。 2-8
VLSI全体会议
威廉·卡特 :
可编程逻辑的未来及其对数字系统设计的影响。 10-16
D&T全体会议
普拉蒂玛·阿格拉瓦尔 :
新兴电子设计和测试技术。 18
组合逻辑综合
安德烈亚斯·库尔曼 , 卢卡斯·P.P.范金尼肯 :
基于语法的合成场景优化。 20-25 爱国路 , 乔纳森·索尔 , 埃里克·L·达格利斯 :
基于查找表的FPGA面向体系结构的逻辑优化。 26-29 容特莱 , 潘国瑞 , 马苏德·佩德拉姆 :
使用函数分解的FPGA综合。 30-35 吴庆红 , C.Y.罗杰·陈 , 约翰·M·阿克恩 :
细胞库的高效布尔匹配算法。 36-39
内存体系结构
大卫·J·利尔贾 , Shanthi Ambalavanan公司 :
超关联标记缓存一致性目录。 42-45 Lisheng Liu(刘丽兴) :
多级缓存设计中的问题。 46-52 杰弗里·D·吉 , 阿兰·杰·史密斯 :
多处理器内存引用行为分析。 53-59 Hundal卢比 , 沃金·G·奥克洛布季亚 :
一级和二级SRAM-DRAM片上高速缓存组合的最佳尺寸的确定。 60-64
并行处理和容错
森冈先生 , K.黑泽明 , S.Miura公司 , T.中川 , 石川圣美 :
高性能多处理器服务器的设计和评估。 66-69 Sangho Ha公司 , 金正焕 , Eunha Rho公司 , Yoonhee Nah(音) , 韩桑永 , 大田黄 , Heunghwan Kim先生 , Seung Ho Cho先生 :
大规模并行多线程体系结构:DAVRID。 70-74 侯赛因·阿萨德 , 曼昆·迈克尔·瓦伊 , 詹姆斯·费尔德曼 :
具有恒定级间路径长度的容错VLSI多流水线阵列的分布式重构。 75-78 Chong Gun哦 , Hee Yong Youn先生 :
非线性最短路径问题的容错处理器阵列。 79-83
可测试性综合
乌迪安·科 , 普雷马坎德兰·梅农 :
基于原始故障的组合电路的延迟可验证性。 86-90 Sandeep Bhatia公司 , 尼拉杰·K·贾 :
具有条件分支的控制器/数据路径电路分层可测试性的行为综合。 91-96 孙尚志 , 大卫·洪昌都 , 刘敦仁 :
可测试性注意事项。 97-100 伊恩·哈里斯 , 亚历克斯·奥拉伊洛格鲁 :
SYNCBIST:并发内置自测试性的合成。 101-104
形式化表示
伯恩德·贝克尔 , 罗尔夫·德雷克斯勒 :
基于OFDD的混合遗传算法最小化固定极性Reed-Muller表达式。 106-110 阿尔蒂·古普塔 , 艾伦·L·费舍尔 :
典型序列函数表示中的权衡。 111-116 郑朱 , 史蒂文·D·约翰逊 :
捕获顺序合成的同步规范。 117-121
并发错误检测
金龙卫 :
使用替代输入数据的高速无载频除法中的并发错误检测。 124-127 斯坦尼斯劳·彼得拉克 :
针对可分离无序码的TSC码分离无逆变PLA的设计。 128-131 法哈德·M·阿尔扎赫拉尼 , 陈仕平 :
用于超大、单片存储系统的片上TEC-QED ECC。 132-137
指令调度
雷·A·卡明三世 , 乔治·B·亚当斯三世 , 普拉迪普·K·杜比 :
具有有限资源的动态列表调度。 140-144 拉胡尔·拉兹丹 , 卡尔·S·布雷斯 , 迈克史密斯 :
PRISC软件加速技术。 145-149 西萨德斯·通西玛 , 纳尔逊·帕索斯 , 埃德温·兴梅沙(Edwin Xing-Mean Sha) :
通信敏感轮换调度。 150-153
时间安排分析
孙尚志 , 大卫·洪昌都 , 陈希川 :
考虑数据相关延迟的CMOS电路的有效时序分析。 156-159 拉斐尔·佩塞特·洛皮斯 , 路易斯·里巴斯 , 乔迪·卡拉比纳 :
定时验证中的短失稳路径。 160-163 张旭光 , Ramalingam Sridhar酒店 :
波管电路的同步。 164-167
现场可编程系统
斯科特·哈克 , 盖塔诺·博列洛 , 卡尔·埃贝林 :
多FPGA系统的网格路由拓扑。 170-177 Naohisa Ohta公司 , 中田浩史 , 山田和久 , Akihiro Tsutsui公司 , 宫崎骏 :
PROTEUS:通信系统的可编程硬件。 178-183 奥萨马·T·阿尔巴哈纳 , Peter Y.K.Cheung先生 , 托马斯·克拉克 :
基于FPGA的虚拟硬件的区域和时间限制。 184-189
微处理器体系结构
约翰·博肯哈根 , 格伦·汉德洛根(Glen H.Handlogten) , 约翰·D·爱尔兰 , 谢尔登·莱文斯坦 :
AS/400标准 TM(TM) 64位PowerPC TM(TM) -兼容处理器的实现。 192-196 迈克·格鲁弗 , Nghia Phan公司 , 托尼·艾佩斯帕奇 , 斯科特·希尔克 , 杰里·巴特利 :
AS/400 PowerPC公司 TM(TM) 兼容半定制技术。 197-202 Masahito Matsuo先生 , 近藤博彦 , Yukari Takata公司 , 小林纯一 , 三谷佐藤 , 丰彦吉田 , 佐藤裕一 , Jun-ichi Hinata公司 :
具有64位处理和高带宽DRAM接口的32位超标量微处理器。 203-210
异步电路设计
鲁奇尔·普里 , Jun Gu先生 :
异步接口电路的面积效率综合。 212-216 斯蒂芬·福伯 , 保罗戴 , 吉姆·D·加赛德 , N.C.摊铺机 , 史蒂夫·坦普尔 , 约翰·伍兹 :
异步微处理器的设计与评估。 217-220 普拉巴卡尔·库德瓦 , 加内什·戈帕拉克里什南 , 埃里克·布伦凡德 , 文卡特斯·阿凯拉 :
异步电路的性能分析和优化。 221-224
基于状态的形式验证
特雷弗·永生(Trevor Wing Sang Lee) , 马克·格林斯特雷特 , 卡尔·约翰·H·赛格 :
精炼自动验证。 225-229 詹皮罗·卡波迪 , 保罗·卡穆拉蒂 , 斯特凡诺·奎尔 :
符号反向遍历中的有效状态空间修剪。 230-235 Cho贤宇 , 加里·哈赫特尔 , 恩里科·马奇 , 马西莫·蓬西诺 , 法比奥·萨蒙齐 :
近似可达性分析的状态空间分解结构方法。 236-239
顺序逻辑综合
埃伦·森托维奇 , 罗伯特·K·布雷顿 :
二级非循环时序电路的精确优化。 242-249 王国华 , 王文星 , 黄庭廷 , 艾伦·C·H·吴 , 林永隆 :
功率和面积最小化的状态分配。 250-254 阿德南·阿齐兹 , 维吉安·辛哈尔 , Gitanjali Swamy公司 , 罗伯特·K·布雷顿 :
最小化相互作用的有限状态机:语言到包容的合成方法。 255-261
计算机辅助嵌入式系统设计
M.Esen金枪鱼 , 史蒂文·D·约翰逊 , 罗伯特·G·伯格 :
软硬件协同设计续。 264-269 迈克尔·科祖赫 , 安德鲁·沃尔夫 :
嵌入式系统程序的压缩。 270-277 斯特凡诺·安东尼亚齐 , 亚历山德罗·巴尔博尼 , 威廉·福纳恰里 , 多纳泰拉·西乌托 :
嵌入式电信系统的硬件/软件代码设计。 278-281
Bist/可测试性分析
纳韦娜·纳吉 , 阿比吉特·查特吉 , 雅各布·A·亚伯拉罕 :
模拟和混合信号电路的特征分析仪。 284-287 阿米塔瓦·马朱姆达尔 :
WRAPTure:加权随机模式测试权重的评估和优化工具。 288-291 迪米特里奥斯·卡加里斯 , 斯皮罗斯·特拉古达斯 :
LFSR测试模式生成器的一类优良特性多项式。 292-295
建筑构造块
Z.Guan先生 , P.汤姆森 , A.E.A.阿尔马尼 :
基于5:3计数器的并行CMOS 2补码乘法器。 298-301 埃德温·德·安吉尔 , 小厄尔·E·斯沃茨兰德。 , 雅各布·A·亚伯拉罕 :
使用启用/禁用CMOS差分逻辑的新型异步乘法器。 302-305 丹尼斯·阿坎巴德 , 帕斯卡·福德迈 :
一种适用于面向对象关联存储器的仲裁树。 306-310 Pong P.Chu先生 , 拉马纳·戈蒂帕蒂 :
片上缓存的写缓冲区设计。 311-316
高级合成的应用
阿南德·拉胡纳坦 , 尼拉杰·K·贾 :
低功耗行为合成。 318-322 劳伦斯·古德比 , 亚历克斯·奥拉伊洛格鲁 , 保罗·M·周 :
性能可控、低功耗超大规模集成电路设计的微体系结构综合。 323-326 谢尔盖·索科洛夫 , 拉梅什·卡里 :
故障安全微体系结构合成期间的分配和绑定。 327-330 卡琳·霍格斯特德 , 亚历克斯·奥拉伊洛格鲁 :
在区域高效自恢复微体系结构的合成中集成绑定约束。 331-334
超标量处理器性能
E.L.汉农 , 弗兰克·P·奥康奈尔 , L.J.谢赫 :
POWER2架构和性能。 336-339 凯瑟琳·E·斯图尔特 , 史蒂文·怀特 :
编译器选项对应用程序性能的影响。 340-343 苏里亚南部 , Pradip Bose公司 , 雅各布·A·亚伯拉罕 :
体系结构性能验证:PowerPC TM(TM) 处理器。 344-347
测试生成
R.Wolber公司 , 乌韦·格拉泽 , 海因里希·西奥多·维尔豪斯 :
同步时序电路测试生成的可测试性分析。 350-353 Sanghyeon Baeg公司 , 威廉·罗杰斯 :
一种使用时钟线控制电路的选择性时钟的新测试生成方法。 354-358 宋浩康(Sungho Kang) , Wai-On法则 , 比尔·安德伍德 :
标准扫描设计方法的路径延迟故障模拟。 359-362 桑迪普·昆杜 :
基于二进制奇偶图的多故障可测试电路。 363-366
系统技术
凯文·科维 , 桑德拉·默多克 , 托马斯·希普尔 :
基于硬件流程图的两相逻辑设计。 368-380 孙尚志 , 大卫·洪昌都 , Yaun-Chung Hsu先生 , 陈希川 :
关于组合电路的有效时钟。 381-384 Hungse Cha公司 , 贾纳克·H·帕特尔 :
瞬态脉冲容差的锁存设计。 385-388
时序分析和优化
罗伯特·梅恩斯 , 托马斯·莫舍 , 卢卡斯·P.P.范金尼肯 , 罗伯特·达米亚诺 :
PowerPC的时序验证与优化 TM(TM) 处理器系列。 390-393 陈耀平 , D.F.Wong先生 :
FPGA逻辑模块最小化的重新定时。 394-397 萨米尔·勒杰米 , 博泽娜·卡明斯卡 , 爱德华·瓦格纳 :
同步时序电路全局优化的再定时。 398-403
PowerPC联盟
查尔斯·罗斯 , 里基·莱文 , 蒂莫西·B·布罗德纳克斯 :
PowerPC TM(TM) 604微处理器设计方法。 404-408 迈克尔·加西亚 , 布莱恩·雷诺兹 :
PowerPC的单片机PCI桥和内存控制器 TM(TM) 微处理器。 409-412 M.阿姆斯特德 , 迈克尔·考格斯威尔 , S.Halverson公司 , T.野马 :
PowerPC可视化模拟器:在PowerPC引擎的引擎盖下窥视。 413-418
嵌入式系统设计示例
杰克·P·F·格拉斯 , Sándor E.斯科尔尼克 :
基于傅里叶变换的DS/FH扩频接收机。 420-423 D.R.伍德沃德 , D.C.利维 , R.G.哈雷 :
基于FPGA的交流驱动控制器可配置I/O系统。 424-427 约格·威尔伯格 , 劳尔·坎波萨诺 , 乌苏拉·韦斯特霍尔茨 , 乌韦·斯坦豪森 :
嵌入式视频压缩系统的设计——一种定量方法。 428-431
异步电路综合
史蒂文·诺威克 , 比尔·科茨 :
UCLOCK:高性能非锁定状态机的自动设计。 434-441 加内什·戈帕拉克里什南 , 普拉巴卡尔·库德瓦 , 埃里克·布伦凡德 :
异步宏模块网络的对等优化。 442-446 萨维塔·班纳吉 , 拉宾德拉·K·罗伊 , 斯利马特·查克拉达尔 , 迪拉杰·K·普拉丹 :
异步电路综合中的初始化Isuues。 447-452
形式化方法的工业应用
阿肖克·K·钱德拉 , 维杰·艾扬格 , R.V.贾瓦列卡 , 迈克尔·马伦 , 英迪拉·奈尔 , 巴里·罗森 :
使用符号指令图对处理器进行体系结构验证。 454-459 马克·基诺 , 吕克·克莱森 , 雨果·德曼 :
中高通量DSP合成功能验证的并行方法。 460-463 Huy Nam Nguyen公司 , J.P.Tual公司 , L.杜库索 , 米歇尔·蒂尔 , P.瓦莱特 :
DPS7000系统上使用的结构化逻辑CAD套件。 464-467
现场可编程门阵列结构
费萨尔·哈克 , 莫瑞达 :
使用析因设计技术为FPGA优化逻辑块。 470-474 阿迪蒂亚·阿加瓦尔 , 大卫·M·刘易斯 :
分层现场可编程门阵列的路由体系结构。 475-478 杰森·凯利 , 彼得·艾维 :
基于FPGA的容错SRAM。 479-482
软件测试
安妮莉斯·冯·梅勒豪塞(Anneliese von Mayrhauser) , 理查德·姆拉兹 , 机械工程系的吴杰龙 , 皮特·奥肯 :
基于领域的测试:增加测试用例重用。 484-491 拉胡·哈德利 , 柯蒂斯·L·霍斯金斯 , 阿南德·V·哈德利 :
面向对象设计的软件度量。 492-495
计算机算术
路易斯·蒙塔尔沃 , 阿兰·古约 :
用于混合Radix-4算法的组合数字集转换器。 498-503 Kiyoung Choi先生 , 李金钟 , Jun-Woo Kang公司 :
使用RSD数字系统的自动定时除法器。 504-507 斯坦尼斯劳·彼得拉克 :
基于中国余数定理的高速余数-二进制系统转换器的设计。 508-511
产生式逻辑综合系统中的技术
迈克尔·奎尔 , 黄池来 :
复杂算子综合。 514-517 丹尼尔·布兰德 , 罗伯特·达米亚诺 , 卢卡斯·P.P.范金尼肯 , 安东尼·德拉姆 :
在推土机的驾驶座上。 518-521 迪利普·库马尔 , 鲍勃·埃里克森 :
ASOP:算术乘积和生成器。 522-526 佐藤仁美 , 山崎敏弘 , 藤田正弘 :
YEPHCAD和FLORA:控制和数据路径的逻辑综合。 527-530
嵌入式系统全体会议
彼得·托马 :
汽车电子产品的未来需求。 532-539
专用VLSI架构
N.兰加纳坦 , 沙丁鱼Venugopal :
用于模板匹配的VLSI芯片。 542-545 格伦·苏纳达 , Jain Jin先生 , 马特·贝津斯 , 陈仕平 :
COBRA:120万晶体管可扩展列FFT芯片。 546-550 丹·皮克 , 迈克尔·B·本达克 , 罗纳德·费尔曼 :
具有覆盖和继承的VLSI优先级分组队列。 551-555
高速互连分析
罗希尼·古普塔 , Seok-Yoon Kim先生 , 劳伦斯·T·皮拉奇 :
传输线模型的区域特征以实现高效仿真。 558-562 刘洪(音) , 冯月长 , 奥马尔翼 :
具有任意初始分布和非线性终端的VLSI互连的瞬态分析。 563-566 阿里·埃尔·泽因 , 蒙朱鲁尔·哈克 , 萨利姆·乔杜里 :
用时域模态分析模拟均匀有损线。 567-570
高层综合中的调度与分配
Mehmet Emin Dalkiliç , 维杰·皮楚马尼 :
一种多计划的高级综合方法。 572-575 地方司法行政官夏玛 , 拉吉夫·贾因 :
根据行为规范进行注册评估。 576-580 托马斯·查尔斯·威尔逊 , 加里·威廉·格雷瓦尔 , 迪利普·巴纳尔吉 :
多块综合中同时调度、分配和绑定的ILP解决方案。 581-586 巴赫尔·哈伦 , 贝扎德·萨贾迪 :
多FPGA分区信号处理算法的最优数据路径综合。 587-589
MCM应用和设计方法
吉米·申华王 , 戴伟明 :
多芯片模块自阻尼有耗传输线的优化设计。 594-598 詹姆斯·洛伊 , 阿图尔·加格 , Mukkai S.Krishnamoorthy公司 , 约翰·麦克唐纳 :
MCM的差分路由-CIF:理想的分叉介质。 599-603 穆罕默德·侯赛因·海达里 , 伊安妮斯·托利斯(Ioannis G.Tollis) , 春凉夏 :
改进的MCM层分配技术。 604-607 阿图尔·加格 , T.-L.Sham公司 , 汉斯·J·格鲁布 , 詹姆斯·洛伊 , 杰克·麦克唐纳 :
RISC处理器高级多芯片模块的热设计。 608-611
CMOS电路技术
拉扎克·侯赛因 , 郑梦慧 , 亚历山大·阿尔比奇 :
通过晶体管重新排序降低串联MOSFET电路的功耗。 614-617 林洪达 , 冉洪燕 , 余道格拉斯(Douglas Yu) :
在低电源电压下提高CMOS速度。 618-621 桑塔努·杜塔 , 韦恩·沃尔夫 :
视频信号处理架构的渐近极限。 622-625 汉斯·林德克维斯特 , Per Andersson公司 :
基于CMOS的快速条件和加法器技术。 626-635