ICCD 1998:美国德克萨斯州奥斯汀
国际计算机设计会议:计算机和处理器中的超大规模集成电路,ICCD 1998,会议记录,1998年10月5日至7日,美国德克萨斯州奥斯汀。 IEEE计算机学会 1998 ,国际标准图书编号 0-8186-9099-2 奥萨穆·高桥 , 乔尔·西尔伯曼 , Sang H.Dhong先生 , H.彼得·霍夫斯蒂 , 青木直明 :
GHz整数微处理器的690 ps读访问延迟寄存器文件。 6-10 凯文·诺卡 , 蒂比·加兰波斯 :
千兆赫兹整数微处理器的电路设计技术。 11-16 斯蒂芬·D·波斯洛兹尼 , Naoaki青木 , 大卫·鲍斯特勒 , 杰弗里·伯恩斯 , Sang H.Dhong先生 , 乌塔姆·戈沙尔 , H.彼得·霍夫斯蒂 , 大卫·P·拉波廷 , Kyung T.Lee先生 , 大卫·梅尔策 , 洪·恩戈(Hung C.Ngo) , 凯文·诺卡 , 乔尔·西尔伯曼 , 奥萨穆·高桥 , 伊凡·沃 :
1.0 GHz微处理器的设计方法。 17-23 伊里斯·波梅兰兹 , Sudhakar M.Reddy公司 :
改进了基于同步时序电路比较单元的内置测试模式生成器。 26-31 陈志昂(Chih-Ang Chen) , 桑迪普·K·古普塔 :
高效的BIST TPG设计和测试集压缩,通过减少输入进行延迟测试。 32-39 哈桑Ihs , 卡里姆·阿拉比 , 博泽娜·卡明斯卡 :
使用sigma-delta调制测试基于振荡测试策略的数模转换器。 40-46 阿尔贝托·阿拉拉 , 卡洛·布兰多利斯 , 威廉·福纳西亚里 , 法比奥·萨利斯 , 多纳泰拉·西乌托 :
软件和硬件的系统级性能评估策略。 48-53 苏赫里德·瓦德卡 , 爱丽丝·帕克 :
用于算法优化的精确字长选择。 54-61 弗朗索瓦·博伊尔 , 穆斯塔帕·阿布勒哈米德 , 伊冯·萨瓦里亚 , 我叫埃丁·本努尔 :
使用软件流水线技术优化同步电路设计。 62-67 王琦(Qi Wang) , 萨尔马·B·K·弗鲁杜拉 :
CMOS逆变器的短路功率估计。 70-75 哈立德·拉赫马特 , 何塞·内维斯 , 李金福 :
早期设计中耦合噪声的计算方法:比较分析。 76-81 阿什什·卡兰迪卡尔 , Keshab K.Parhi公司 :
低功耗SRAM设计采用分层分割的位线方法。 82-88 理查德·凯斯勒 , 爱德华·麦克莱伦 , D.A.韦伯 :
Alpha 21264微处理器体系结构。 90-95 艾米丽·施莱弗 , 戴尔·H·霍尔 , 内文·纳西夫 , 纳迪尔·拉赫曼 , 尼克·莱思曼 , 吉尔·瓦特 , 吉姆·法雷尔 :
21264的定时验证:600 MHz全定制微处理器。 96-103 马克·马特森 , 丹·贝里 , 谢恩·贝尔 , 拉里·比罗 , 史蒂夫·巴特勒 , 约翰·克劳斯 , 吉姆·法雷尔 , 迈克·戈万 , 唐纳德·A·普里奥 , 凯瑟琳·威尔科克斯 :
600 MHz超标量RISC微处理器的电路实现。 104-110 内森·多姆 , 卡尔·雷米 , 达伦布朗 , 斯科特·希尔德布兰特 , 詹姆斯·哈金斯 , 迈克尔·奎因 , 斯科特·泰勒 :
禅宗和阿尔法验证艺术。 111-117 莫伊塞斯·E·罗宾逊 , Earl E.Swartzlander Jr.小伯爵。 :
优化华莱士乘数的简化方案。 122-127 马丁·库尔曼 , Keshab K.Parhi公司 :
快速低功耗共享分区和方圆结构。 128-135 安德烈亚斯·瓦萨奇 , 斯特芬·多林 , 德克·蒂默曼 :
冗余CORDIC管道体系结构的面积最小化。 136-141 彼得·迈克尔·塞德尔 , 盖伊,甚至 :
浮点加法需要多少逻辑级别? 142-149 J.W.J.M.鲁顿 , 米歇尔·伯克拉(Michel R.C.M.Berkelaar) :
无危险逻辑的高效精确和启发式最小化。 152-159 拉贾特·乔杜里 , 刘泰洪 , 阿德南·阿齐兹 , 杰弗里·伯恩斯 :
用于传输晶体管逻辑的面向区域的合成。 160-167 斯坦·格里吉尔 , 马雷克·佩考斯基(Marek A.Perkowski) :
多值函数、关系和非确定性状态机的新紧表示。 168-174 苏米特·罗伊 , 有害艺术 , Prithviraj Banerjee公司 :
基于快速功率驱动映射的低功耗逻辑优化方法。 175-181 竹内诚司 , Takayasu Sakurai公司 :
一种用于VLSI邻近搜索引擎的细粒度、当前模式方案。 184-185 卡琳娜·本·兹维 , 麦基尼斯 , 富兰克林·拉斯德罗 :
用于高频设计的有效数据路径设计方法。 186-187 Ran Ginosar公司 , Rakefet Kol公司 :
自适应同步。 188-189 罗尔夫·哈克内斯 , Yiannos Manoli公司 :
微内核开发系统:设计新微处理器的统一环境。 190-191 维雷什·帕鲁西 , 纳扎宁·曼苏里 , Ranga Vemuri公司 :
用于大规模设计验证的自动数据路径抽象。 192-194 陆建平 , 索菲亚·塔哈尔 , 丹·沃伊库 , 宋晓宇 :
实际ATM交换机的模型检查。 195-198 麦伟基 , D.F.Wong(D.F.王) :
基于FPGA的逻辑仿真的性能驱动板级路由。 199-201 莫里斯·基拉武卡·伊努阿尼 , 乔纳森·索尔 :
异质FPGA技术映射中的再合成。 202-204 拉朱·文卡塔拉马纳 , N.兰加纳坦 :
一种用于MIMD系统的简单自适应虫洞路由算法。 205-207 阿夫申·甘乔 :
分支断言和消除。 208-210 张云南 , Keshab K.Parhi公司 :
高性能数字系列复合数字乘法器。 211-213 法提赫·科坎 , 丹尼尔·萨博 :
可重构硬件上时序电路的动态故障诊断。 214-215 吴玉良 , 洪冰风机 , C.K.Wong先生 :
关于薄布尔函数和相关的最优OBDD排序。 216-218 内森·文卡特斯瓦兰 , 迪内什·巴蒂亚 :
基于行的设计的顺时针约束放置。 219-220 沈慧武 , Yashwant K.Malaiya公司 , Anura P.Jayasumana公司 :
反随机与伪随机测试。 221-223 希加斯 :
ARM9系列高性能微处理器,用于嵌入式应用。 230-235 基思·S·P·克拉克 , 丹尼·科尔肖 :
基于Windows CE ARM的微控制器的系统设计。 236-241 T.希望 :
硬件/软件联合验证,IP供应商的观点。 242-246 斯蒂芬·福伯 , 吉姆·D·加赛德 , D.A.吉尔伯特 :
AMULET3:高性能自定时ARM微处理器。 247-252 戴尔·E·霍夫曼 , 罗伯特·M·阿维尔三世 , 布莱恩·库伦 , Yuen H.Chan先生 , 艾伦·丹斯基 , 罗伯特·F·哈奇 , 蒂莫西·麦克纳马拉 , 托马斯·麦克弗森 , 格雷戈里·诺斯罗普 , 莱昂·西格尔 , 安东尼·佩莱拉 , 帕特里克·M·威廉姆斯 :
500 MHz IBM S/390 G5定制微处理器的深亚微米设计技术。 258-263 弗拉基米尔·斯托亚诺维奇 , 沃金·G·奥克洛布季亚 , Raminder Singh Bajwa公司 :
高性能系统锁存器和触发器的比较分析。 264-269 鲁奇尔·普里 :
混合静态多米诺电路实现中的设计问题。 270-275 江彦斌 , Sachin S.Sapatnekar公司 , 赛勒斯·班吉 :
一种快速全局门折叠技术,用于使用静态CMOS和通晶体管逻辑的高性能设计。 276-281 Hyunchul Shin先生 , 李进安 , 李·苏普·金 :
在3D图形中使用泰勒级数近似的快速Phong着色器的最小化硬件架构。 286-291 Chichyang Chen先生 , 池焕阳 :
使用非常小的查找表进行LNS加减的流水线计算。 292-297 哈维尔·D·布鲁格拉 , 汤玛斯·朗 :
领先的单数据路径浮点加法器延迟改进预测方案。 298-305 高山晃一郎 , 佐藤太佐 , 中田聪 , 富宫广泽 :
一种使用符号模型检查验证大规模片上系统的方法。 308-313 尼娜·萨克塞纳 , 杰森·鲍姆加特纳 , 阿维吉特·萨哈 , 雅各布·A·亚伯拉罕 :
进行模型检查或不进行模型检查。 314-320 富尔维奥·科诺 , 马泰奥·桑扎·雷尔达 , 乔瓦尼·斯奎莱罗 :
VEGA:基于遗传算法的验证工具。 321-326 杰弗里·T·罗素 , 玛格丽达·F·贾科姆 :
高性能32位嵌入式处理器的软件功耗估计和优化。 328-333 穆罕默德·曼苏尔 , 艾曼·凯西 :
基于FPGA的Internet协议版本6路由器。 334-339 卡提基亚·M·加贾拉·普纳 , 迪内什·巴蒂亚 :
时间分区:可重构计算的范例。 340-345 路易斯·普兰纳 , 斯蒂芬·昂格 :
脉冲模式宏模块系统。 348-353 傅成成(Fu-Chiung Cheng) :
完井检测电路的实际设计和性能评估。 354-359 西蒙·摩尔 , 彼得·罗宾逊 :
自定时电路的快速原型制作。 360-365 爱德华·S·谭 , 裘德·里弗斯 , 维贾亚拉克什米·斯里尼瓦桑 , 加里·泰森 , 爱德华·S·戴维森 :
评估活动缓存管理方案的性能。 368-375 李恩友 , 克拉克·汤博森 :
数据缓存参数测量。 376-383 古尔·N·汗 :
高性能嵌入式系统应用的容错体系结构。 384-389 纳伦·纳拉辛汉 , 埃琳娜·特伊卡 , 拉杰什·拉德哈克里希南 , 斯里拉姆·戈文达拉扬 , Ranga Vemuri公司 :
定理证明了在资源约束调度器中引导形式断言的开发,用于高级综合。 392-399 米罗斯拉夫·韦列夫 , 兰达尔·布莱恩特 :
在符号三值模拟的有效内存模型中加入时间约束。 400-406 Yaun-Chung Hsu先生 , 陈希川 , 孙尚志 , 大卫·洪昌都 :
包含复杂门的组合电路的时序分析。 407-412 汤玛斯·朗 , 恩里克·穆索尔 , 乔迪·科尔塔德拉 :
扩展工作区编码方法以减少微处理器数据总线上的能量。 414-419 阿尔贝托·南纳雷利 , 汤玛斯·朗 :
低功耗基数8除法器。 420-426 肯尼思·Y.Yun , Supratik Chakraborty公司 , 凯文·詹姆斯 , 罗伯特·H·费尔利·库宁汉姆 , 雷内·L·克鲁兹 :
一个自定时的实时分拣网络。 427-434 D.科尔维诺 , 意大利史诗 , 法布里奇奥·费兰迪 , 佛朗哥·富米 , 多纳泰拉·西乌托 :
自动VHDL重构用于RTL综合优化和可测试性改进。 436-441 维克多·J·林 , 昆勒·奥卢科顿 :
DCP:合成RTL模型的数据路径/控制分区算法。 442-449 斯米塔·巴克西 , 丹尼尔·加伊斯基(Daniel D.Gajski) :
行为、循环和操作的分层流水线。 450-455 南尼 , 马吕斯·皮尔武 , Laxmi N.Bhuyan :
具有虫洞路由和虚拟通道的循环缓冲交换机设计。 466-473 张安迪 , 威廉·戴利 , 斯蒂芬·凯克勒 , 尼古拉斯·卡特 , 李华星(Whay Sing Lee) :
显式并行机制对多ALU处理器集群管道的影响。 474-481 保罗·马里奥特 , 伊万·C·克拉基克 , 伊冯·萨瓦里亚 :
用于实时数字信号处理应用的并行超大规模引擎SIMD体系结构。 482-487 凯末尔·埃比奥格鲁 , 杰森·弗里茨 , 斯蒂芬·科索诺基 , 迈克尔·格什温 , 埃里克·奥特曼 , 克里希南·凯拉斯 , 特里·布莱特 :
用于动态二进制翻译的八叉树VLIW处理器。 488-495 西江林 , 伊里斯·波梅兰兹 , Sudhakar M.Reddy公司 :
关于在同步时序电路中发现不可检测的冗余故障。 498-503 富尔维奥·科诺 , 贾纳克·帕特尔 , 伊丽莎白·鲁德尼克 , 马泰奥·桑扎·雷尔达 , 罗伯托·维埃蒂 :
使用高级信息和符号技术增强拓扑ATPG。 504-509 保罗·F·弗洛雷斯 , 霍拉西奥·内托 , 乔·马尔克·席尔瓦 :
最小尺寸测试图案问题的精确解决方案。 510-515 威廉·道尔蒂 , R.D.(肖恩)布兰顿 :
使用回归分析进行基于遗传算法的ATPG参数优化。 516-521 乔尔·格罗斯坦 , 尼克·雷思曼 , 内文·纳西夫 :
具有重新校准时钟的网络的静态竞争验证。 524-529 Yaun-Chung Hsu先生 , 孙尚志 , 大卫·洪昌都 :
求循环组合电路中最长的简单路径。 530-535 Hoon Choi先生 , 承和黄 :
实际使用过渡模式延迟来解决高度相关输入流下的浮动模式延迟问题。 536-541 拉迪·拉贾萨米 , 乔·戴尔·卡洛瑟斯 :
一种用于有效功率估计的分形压缩算法。 542-547 J.约翰 , 殷德 , 弗朗西斯·马图斯 , 克雷格·蔡斯 :
代码合并单元:一种促进加载存储数据通信的机制。 550-557 卢西安·科德雷斯库 , D.斯科特·威尔斯 :
分析输入可预测线程。 558-565 英格·杰尔·黄 , 子钦鹏 :
DOS/Windows应用程序中×86指令集的使用分析及其对超标量设计的启示。 566-573 詹姆·贝拉斯科·梅迪纳 , 迈克尔·尼古拉迪斯 :
模拟和混合信号电路的基于电流的测试。 576-581 黄伟兴 , 金龙卫 :
模拟集成电路的测试点选择过程和可诊断性分析。 582-587 Heebyung Yoon公司 , 侯俊伟 , 阿比吉特·查特吉 , Madhavan Swaminathan公司 :
嵌入式集成无源电路的故障检测和自动故障诊断。 588-593 塔城林 , 萨迪克·萨伊特 , Walling R.Cyre公司 :
用于硬件/软件协同设计的缓冲区大小驱动的分区。 596-601 亚历克斯·多博利 , 佩特鲁·埃利斯 :
异构体系结构的数据和控制依赖性调度。 602-608 刘慧群 , D.F.Wong(D.F.王) :
用于硬件/软件协同设计的集成分区和调度。 609-614 爱国路 , 汉斯·艾森曼 , Guenter Stenz公司 , 弗兰克·M·约翰内斯 :
将技术映射与布局后再合成相结合,以实现性能优化。 616-621 苏立新 , Wray L.邦廷 , A.理查德·牛顿 , 布拉德利·S·彼得斯 :
学习应用于标准单元布局的随机优化。 622-627 朱凯(Kai Zhu) , 姚文昌 , D.F.Wong(D.F.王) :
基于对称阵列的FPGA的定时驱动路由。 628-633 Yiannos Manoli公司 , W.莫克瓦 :
硅微系统融合了传感器、电路和系统。 634-641
![](https://dblp.org/img/cog.dark.24x24.png)