- I
- ICCAD
- 2003
- 2003 International Conference on Computer-Aided Design (ICCAD '03)
| | This Publication | | | | | | | |
| | | | Bibliographic References | | | |
| | | | |
2003 International Conference on Computer-Aided Design (ICCAD '03) San Jose, CA November 09-November 13 ISBN: 1-58113-762-1 Table of Contents
 | null |
 | Session 1A: Interconnect-Centric SoC Design |
Lin Li, Pennsylvania State University, University Park, PA pp. 2
Hongyu Chen, University of California at San Diego, La Jolla
Qinke Wang, University of California at San Diego, La Jolla
Bo Yao, University of California at San Diego, La Jolla pp. 13
 | Session 1B: Energy Optimization using Dynamic Voltage Scaling for Embedded Systems |
Gang Qu, University of Maryland, College Park pp. 26
Le Yan, Princeton University, NJ pp. 30
 | Session 1C: New Opportunities in High-Level Synthesis |
Qi Wang, Cadence Design Systems, Inc, San Jose
Sumit Roy, Calypto Design Systems, Inc, Santa Clara pp. 39
 | Session 1D: New Ideas in Placement and Floorplanning |
 | Session 2A: Improvements in SoC Testing |
Yu Xia, Portland State University, OR pp. 100
 | Session 2B: Electrical and Power Models - System to Transistor Level |
 | Session 2C: Embedded Tutorial: Design and CAD Challenges for sub-90nm CMOS Technology |
Rajiv Joshi, IBM Thomas J Watson Research Center, Yorktown Hts, NY
Ruchir Puri, IBM Thomas J Watson Research Center, Yorktown Hts, NY pp. 129
 | Session 3A: Emerging Techniques in Dynamic Verification |
 | Session 3B: Delay and Signal Modeling for Timing Analysis |
 | Session 3C: Software Techniques for Energy and Performance Optimization in Embedded Systems |
G. Chen, Pennsylvania State University, University Park, PA
M. Kandemir, Pennsylvania State University, University Park, PA
A. Nadgir, Pennsylvania State University, University Park, PA
U. Sezer, University of Wisconsin, Madison, WI pp. 193
 | Session 3D: Optimization of Global Interconnects |
Chuan Lin, Northwestern University, Evanston, IL
Hai Zhou, Northwestern University, Evanston, IL pp. 215
 | Session 4A: Numerical Methods for Analog Optimization and Analysis |
Willy Sansen, Katholieke Universiteit Leuven - ESAT/MICAS, Belgium pp. 247
 | Session 4B: CAD Algorithms for Emerging Technologies |
Xu Xu, University of California at San Diego pp. 262
S. K. De, University of Illinois at Urbana-Champaign
N. R. Aluru, University of Illinois at Urbana-Champaign pp. 270
 | Session 4C: Design Techniques for Customized Processors |
Tsuhan Chen, Carnegie Mellon University, Pittsburgh, PA pp. 275
Fei Sun, Princeton University, Princeton, NJ pp. 283
J? Henkel, NEC Laboratories America, Princeton, NJ pp. 291
 | Session 4D: New Improvements in Placement |
Satoshi Ono, SUNY Binghamton Computer Science Department pp. 307
 | Session 5A: Optimizations for Verification Engines |
M. K. Iyer, University of California - Santa Barbara pp. 320
Cong Liu, University of California at Berkeley pp. 326
 | Session 5B: System Design Concepts |
 | Session 5C: Analog Design and Methodology |
 | Session 5D: Routing |
Tsung-Yi Ho, National Taiwan University, Taipei, Taiwan pp. 382
Bing Lu, Cadence Design Sys. Inc., New Providence, NJ
Wei Guo, Institut Fran?ais du P?trole, France pp. 401
 | Session 6A: Automatic Abstraction for Formal Verification |
Bing Li, University of Colorado at Boulder pp. 408
 | Session 6B: Embedded Tutorial: System Level Design and Verification using a Synchronous Lan |
 | Session 6C: Nonlinear Modelling of Analog and Optical Systems |
Jo? Afonso, Technical University of Lisbon, Portugal pp. 446
Peng Li, Carnegie Mellon University, Pittsburgh, PA
Xin Li, Carnegie Mellon University, Pittsburgh, PA
Yang Xu, Carnegie Mellon University, Pittsburgh, PA pp. 454
 | Session 6D: Timing and Tradeoffs in Placement |
Huaiyu Xu, University of California, Los Angeles pp. 467
Min Xie, University of California, Los Angeles pp. 472
 | Session 7A: Simulation at the Nanometer Scale |
Santanu Mahapatra, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland pp. 497
 | Session 7B: Energy Issues in Systems Design |
 | Session 7C: Constraint Driven High-Level Synthesis |
Xun Yang, University of California, Los Angeles pp. 536
D. Helms, OFFIS Research Institute, Germany pp. 544
 | Session 7D: Optimal Interconnect Synthesis and Analysis |
Lei He, University of California, Los Angeles pp. 574
Jin Liu, The University of Texas at Dallas pp. 581
 | Session 8A: Memory Testing |
Jih-Nung Lee, National Tsing Hua University, Hsinchu, Taiwan
Yung-Fa Chou, National Tsing Hua University, Hsinchu, Taiwan
Cheng-Wen Wu, National Tsing Hua University, Hsinchu, Taiwan pp. 595
Qiang Xu, McMaster University, Hamilton, Canada pp. 599
 | Session 8B: Statistical Static Timing - I |
 | Session 8C: Power-Aware Design |
 | Session 8D: Interconnect Reduction |
D. Krishna, Rensselaer Polytechnic Institute, Troy, NY
W. M. Loh, LSI Logic Corporation, Milpitas, CA
P. Bendix, LSI Logic Corporation, Milpitas, CA pp. 665
 | Session 9A: Embedded Tutorial: Mixed Signal DFT: A Concise Overview |
 | Session 9B: Embedded Tutorial: Manufacturing-Aware Physical Design |
 | Session 9C: Cool Topics in Logic Synthesis |
 | Session 9D: Graph Algorithmic Approaches to EDA Problems |
Shuo Zhou, University of California, San Diego pp. 734
Lei Yang, University of Washington, Seattle pp. 741
 | Session 10A: Parametric Considerations in Test Schemes |
Rahul Kundu, Carnegie Mellon University, Pittsburgh, PA pp. 765
 | Session 10B: Power-Grid and Substrate Analysis |
Zhao Li, University of Washington, Seattle pp. 793
 | Session 10C: Hot Topics in Logic Synthesis |
Andreas Kuehlmann, University of California at Berkeley; Cadence Berkeley Labs, Berkeley, CA pp. 801
 | Session 10D: Interconnect Modeling |
Anne Woo, University of Illinois, Urbana pp. 827
Ben Song, Massachusetts Institute of Technology, Cambridge
Zhenhai Zhu, Massachusetts Institute of Technology, Cambridge
Jacob White, Massachusetts Institute of Technology, Cambridge pp. 843
 | Session 11A: Test Data Reduction Techniques |
Chen Wang, Mentor Graphic Corporation, Wilsonville, OR pp. 855
 | Session 11B: Embedded Tutorial: Formal Methods for Dynamic Power Management |
 | Session 11C: Embedded Tutorial: Large-Scale Circuit Placement: Gap and Promise |
Min Xie, UCLA Computer Science Department
Xin Yuan, UCLA Computer Science Department pp. 883
 | Session 11D: Statistical Static Timing - II | Usage of this product signifies your acceptance of the Terms of Use.
| | | | | | | |