ICCAD 2002: San Jose, California, USA

@proceedings{DBLP:conf/iccad/2002,
  editor    = {Lawrence T. Pileggi and
               Andreas Kuehlmann},
  title     = {Proceedings of the 2002 IEEE/ACM International Conference on
               Computer-aided Design, 2002, San Jose, California, USA, November
               10-14, 2002},
  booktitle = {ICCAD},
  publisher = {ACM},
  year      = {2002},
  isbn      = {0-7803-7607-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Hongmei Li, Jorge Carballido, Harry H. Yu, Vladimir I. Okhmatovski, Elyse Rosenbaum, Andreas C. Cangellaris:
  Comprehensive frequency-dependent substrate noise analysis using boundary element methods. 2-9
  Electronic Edition (ACM DL) BibTeX
• Eelco Schrik, Patrick Dewilde, N. P. van der Meijs:
  Theoretical and practical validation of combined BEM/FEM substrate resistance modeling. 10-15
  Electronic Edition (ACM DL) BibTeX
• Dipak Sitaram, Yu Zheng, Kenneth L. Shepard:
  Implicit treatment of substrate and power-ground losses in return-limited inductance extraction. 16-22
  Electronic Edition (ACM DL) BibTeX
• Takayasu Sakurai:
  Minimizing power across multiple technology and design levels. 24-27
  Electronic Edition (ACM DL) BibTeX
• Tadahiro Kuroda:
  Optimization and control of V_DD and V_TH for low-power, high-speed CMOS design. 28-34
  Electronic Edition (ACM DL) BibTeX
• Robert W. Brodersen, Mark Horowitz, Dejan Markovic, Borivoje Nikolic, Vladimir Stojanovic:
  Methods for true power minimization. 35-42
  Electronic Edition (ACM DL) BibTeX
• Shih-Ping Lin, Yao-Wen Chang:
  A novel framework for multilevel routing considering routability and performance. 44-50
  Electronic Edition (ACM DL) BibTeX
• Jason Cong, Min Xie, Yan Zhang:
  An enhanced multilevel routing system. 51-58
  Electronic Edition (ACM DL) BibTeX
• Shabbir H. Batterywala, Narendra V. Shenoy, William Nicholls, Hai Zhou:
  Track assignment: a desirable intermediate step between global routing and detailed routing. 59-66
  Electronic Edition (ACM DL) BibTeX
• Hua Xiang, Kai-Yuan Chao, D. F. Wong:
  ECO algorithms for removing overlaps between power rails and signal wires. 67-74
  Electronic Edition (ACM DL) BibTeX
• Nahmsuk Oh, Rohit Kapur, Thomas W. Williams:
  Fast seed computation for reseeding shift register in test pattern compression. 76-81
  Electronic Edition (ACM DL) BibTeX
• Irith Pomeranz, Sudhakar M. Reddy:
  On undetectable faults in partial scan circuits. 82-86
  Electronic Edition (ACM DL) BibTeX
• Chen Wang, Sudhakar M. Reddy, Irith Pomeranz, Xijiang Lin, Janusz Rajski:
  Conflict driven techniques for improving deterministic test pattern generation. 87-93
  Electronic Edition (ACM DL) BibTeX
• Jing-Jia Liou, Li-C. Wang, Kwang-Ting Cheng:
  On theoretical and practical considerations of path selection for delay fault testing. 94-100
  Electronic Edition (ACM DL) BibTeX
• Satnam Singh:
  Interface specification for reconfigurable components. 102-109
  Electronic Edition (ACM DL) BibTeX
• Lin Zhong, Niraj K. Jha:
  Interconnect-aware high-level synthesis for low power. 110-117
  Electronic Edition (ACM DL) BibTeX
• Ankur Srivastava, Majid Sarrafzadeh:
  Predictability: definition, ananlysis and optimization. 118-121
  Electronic Edition (ACM DL) BibTeX
• Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley:
  Simplifying Boolean constraint solving for random simulation-vector generation. 123-127
  Electronic Edition (ACM DL) BibTeX
• Katarzyna Radecka, Zeljko Zilic:
  Specifying and verifying imprecise sequential datapaths by Arithmetic Transforms. 128-131
  Electronic Edition (ACM DL) BibTeX
• Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli:
  Convertibility verification and converter synthesis: two faces of the same coin. 132-139
  Electronic Edition (ACM DL) BibTeX
• James Kao, Siva Narendra, Anantha Chandrakasan:
  Subthreshold leakage modeling and reduction techniques. 141-148
  Electronic Edition (ACM DL) BibTeX
• Jianwen Zhu:
  Symbolic pointer analysis. 150-157
  Electronic Edition (ACM DL) BibTeX
• Priya Unnikrishnan, Guangyu Chen, Mahmut T. Kandemir, D. R. Mudgett:
  Dynamic compilation for energy adaptation. 158-163
  Electronic Edition (ACM DL) BibTeX
• Greg Stitt, Frank Vahid:
  Hardware/software partitioning of software binaries. 164-170
  Electronic Edition (ACM DL) BibTeX
• Tim (Tianming) Kong:
  A novel net weighting algorithm for timing-driven placement. 172-176
  Electronic Edition (ACM DL) BibTeX
• Xiaojian Yang, Bo-Kyung Choi, Majid Sarrafzadeh:
  Timing-driven placement using design hierarchy guided constraint generation. 177-180
  Electronic Edition (ACM DL) BibTeX
• Cristinel Ababei, Navaratnasothie Selvakkumaran, Kia Bazargan, George Karypis:
  Multi-objective circuit partitioning for cutsize and path-based delay minimization. 181-185
  Electronic Edition (ACM DL) BibTeX
• Paul S. Zuchowski, Christopher B. Reynolds, Richard J. Grupp, Shelly G. Davis, Brendan Cremen, Bill Troxel:
  A hybrid ASIC and FPGA architecture. 187-194
  Electronic Edition (ACM DL) BibTeX
• David E. Lackey, Paul S. Zuchowski, Thomas R. Bednar, Douglas W. Stout, Scott W. Gould, John M. Cohn:
  Managing power and performance for System-on-Chip designs using Voltage Islands. 195-202
  Electronic Edition (ACM DL) BibTeX
• Tanay Karnik, Shekhar Borkar, Vivek De:
  Sub-90nm technologies: challenges and opportunities for CAD. 203-206
  Electronic Edition (ACM DL) BibTeX
• Andrea Pacelli:
  A local circuit topology for inductive parasitics. 208-214
  Electronic Edition (ACM DL) BibTeX
• Tsung-Hao Chen, Clement Luk, Hyungsuk Kim, Charlie Chung-Ping Chen:
  INDUCTWISE: inductance-wise interconnect simulator and extractor. 215-220
  Electronic Edition (ACM DL) BibTeX
• Haitian Hu, David Blaauw, Vladimir Zolotov, Kaushik Gala, Min Zhao, Rajendran Panda, Sachin S. Sapatnekar:
  A precorrected-FFT method for simulating on-chip inductance. 221-227
  Electronic Edition (ACM DL) BibTeX
• Piet Vanassche, Georges G. E. Gielen, Willy M. C. Sansen:
  On the difference between two widely publicized methods for analyzing oscillator phase behavior. 229-233
  Electronic Edition (ACM DL) BibTeX
• Kenneth Francken, Martin Vogels, Ewout Martens, Georges G. E. Gielen:
  A behavioral simulation tool for continuous-time delta sigma modulators. 234-239
  Electronic Edition (ACM DL) BibTeX
• Jaijeet S. Roychowdhury:
  Making Fourier-envelope simulation robust. 240-245
  Electronic Edition (ACM DL) BibTeX
• Soha Hassoun, Charles J. Alpert, Meera Thiagarajan:
  Optimal buffered routing path constructions for single and multiple clock domain systems. 247-253
  Electronic Edition (ACM DL) BibTeX
• Muzhou Shao, D. F. Wong, Youxin Gao, Li-Pen Yuan, Huijing Cao:
  Shaping interconnect for uniform current density. 254-259
  Electronic Edition (ACM DL) BibTeX
• Andrew B. Kahng, Bao Liu, Ion I. Mandoiu:
  Non-tree routing for reliability and yield improvement. 260-266
  Electronic Edition (ACM DL) BibTeX
• Pasquale Cocchini:
  Concurrent flip-flop and repeater insertion for high performance integrated circuits. 268-273
  Electronic Edition (ACM DL) BibTeX
• Tao Lin, Lawrence T. Pileggi:
  Throughput-driven IC communication fabric synthesis. 274-279
  Electronic Edition (ACM DL) BibTeX
• Harshit K. Shah, Pun Shiu, Brian Bell, Mamie Aldredge, Namarata Sopory, Jeff Davis:
  Repeater insertion and wire sizing optimization for throughput-centric VLSI global interconnects. 280-284
  Electronic Edition (ACM DL) BibTeX
• Sanjay Ramnath, Frederic Neuveux, Mokhtar Hirech, Felix Ng:
  Test-model based hierarchical DFT synthesis. 286-293
  Electronic Edition (ACM DL) BibTeX
• Xiaoding Chen, Michael S. Hsiao:
  Characteristic faults and spectral information for logic BIST. 294-298
  Electronic Edition (ACM DL) BibTeX
• Ozgur Sinanoglu, Alex Orailoglu:
  A novel scan architecture for power-efficient, rapid test. 299-303
  Electronic Edition (ACM DL) BibTeX
• Peter J. Vancorenland, Philippe Coppejans, Wouter De Cock, Paul Leroux, Michiel Steyaert:
  Optimization of a fully integrated low power CMOS GPS receiver. 305-308
  Electronic Edition (ACM DL) BibTeX
• Adil Koukab, Kaustav Banerjee, Michel J. Declercq:
  Analysis and optimization of substrate noise coupling in single-chip RF transceiver design. 309-316
  Electronic Edition (ACM DL) BibTeX
• Maria del Mar Hershenson:
  Design of pipeline analog-to-digital converters via geometric programming. 317-324
  Electronic Edition (ACM DL) BibTeX
• Luca Daniel, Alberto L. Sangiovanni-Vincentelli, Jacob White:
  Proximity templates for modeling of skin and proximity effects on packages and high frequency interconnect. 326-333
  Electronic Edition (ACM DL) BibTeX
• Rafael Escovar, Roberto Suaya:
  Transmission line design of clock trees. 334-340
  Electronic Edition (ACM DL) BibTeX
• Guoan Zhong, Cheng-Kok Koh, Kaushik Roy:
  On-chip interconnect modeling by wire duplication. 341-346
  Electronic Edition (ACM DL) BibTeX
• Matthew M. Ziegler, Mircea R. Stan:
  A Case for CMOS/nano co-design. 348-352
  Electronic Edition (ACM DL) BibTeX
• Vivek V. Shende, Aditya K. Prasad, Igor L. Markov, John P. Hayes:
  Reversible logic circuit synthesis. 353-360
  Electronic Edition (ACM DL) BibTeX
• Bikram Baidya, Tamal Mukherjee:
  Extraction and LVS for mixed-domain integrated MEMS layouts. 361-366
  Electronic Edition (ACM DL) BibTeX
• Qi Jing, Tamal Mukherjee, Gary K. Fedder:
  Schematic-based lumped parameterized behavioral modeling for suspended MEMS. 367-373
  Electronic Edition (ACM DL) BibTeX
• Mahesh Ketkar, Sachin S. Sapatnekar:
  Standby power optimization via transistor sizing and dual threshold voltage assignment. 375-378
  Electronic Edition (ACM DL) BibTeX
• Anoop Iyer, Diana Marculescu:
  Power efficiency of voltage scaling in multiple clock, multiple voltage cores. 379-386
  Electronic Edition (ACM DL) BibTeX
• Miodrag Vujkovic, Carl Sechen:
  Optimized power-delay curve generation for standard cell ICs. 387-394
  Electronic Edition (ACM DL) BibTeX
• Hiran Tennakoon, Carl Sechen:
  Gate sizing using Lagrangian relaxation combined with a fast gradient-based pre-processing step. 395-402
  Electronic Edition (ACM DL) BibTeX
• Xun Liu, Marios C. Papaefthymiou:
  A Markov chain sequence generator for power macromodeling. 404-411
  Electronic Edition (ACM DL) BibTeX
• Lipeng Cao:
  Circuit power estimation using pattern recognition techniques. 412-417
  Electronic Edition (ACM DL) BibTeX
• Sarvesh Bhardwaj, Sarma B. K. Vrudhula, David Blaauw:
  Estimation of signal arrival times in the presence of delay noise. 418-422
  Electronic Edition (ACM DL) BibTeX
• Mark A. Lavin, Lars Liebmann:
  CAD computation for manufacturability: can we save VLSI technology from itself? 424-431
  Electronic Edition (ACM DL) BibTeX
• Michael Butts, André DeHon, Seth Copen Goldstein:
  Molecular electronics: devices, systems and tools for gigagate, gigabit chips. 433-440
  Electronic Edition (ACM DL) BibTeX
• Lintao Zhang, Sharad Malik:
  Conflict driven learning in a quantified Boolean Satisfiability solver. 442-449
  Electronic Edition (ACM DL) BibTeX
• Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah:
  Generic ILP versus specialized 0-1 ILP: an update. 450-457
  Electronic Edition (ACM DL) BibTeX
• Farzan Fallah:
  Binary time-frame expansion. 458-464
  Electronic Edition (ACM DL) BibTeX
• Shihhsien S. Kuo, Michael D. Altman, Jaydeep P. Bardhan, Bruce Tidor, Jacob K. White:
  Fast methods for simulation of biomolecule electrostatics. 466-473
  Electronic Edition (ACM DL) BibTeX
• Gang Li, Narayan R. Aluru:
  Efficient mixed-domain analysis of electrostatic MEMS. 474-477
  Electronic Edition (ACM DL) BibTeX
• Yehia Massoud, Jacob White:
  FastMag: a 3-D magnetostatic inductance extraction program for structures with permeable materials. 478-484
  Electronic Edition (ACM DL) BibTeX
• Andreas C. Lemke, Lars Hedrich, Erich Barke:
  Analog circuit sizing based on formal methods using affine arithmetic. 486-489
  Electronic Edition (ACM DL) BibTeX
• Giorgio Biagetti, Simone Orcioni, L. Signoracci, Claudio Turchetti, Paolo Crippa, Michele Alessandrini:
  SiSMA: a statistical simulator for mismatch analysis of MOS ICs. 490-496
  Electronic Edition (ACM DL) BibTeX
• Florin Balasa, Sarat C. Maruvada, Karthik Krishnamoorthy:
  Efficient solution space exploration based on segment trees in analog placement with symmetry constraints. 497-502
  Electronic Edition (ACM DL) BibTeX
• Jinjun Xiong, Jun Chen, James Ma, Lei He:
  Post global routing RLC crosstalk budgeting. 504-509
  Electronic Edition (ACM DL) BibTeX
• Rouying Zhan, Haigang Feng, Qiong Wu, Guang Chen, Xiaokang Guan, Albert Z. Wang:
  A technology-independent CAD tool for ESD protection device extraction: ESDExtractor. 510-513
  Electronic Edition (ACM DL) BibTeX
• Ruiqi Tian, Ronggang Yu, Xiaoping Tang, D. F. Wong:
  On mask layout partitioning for electron projection lithography. 514-518
  Electronic Edition (ACM DL) BibTeX
• Sasha Novakovsky, Shy Shyman, Ziyad Hanna:
  High capacity and automatic functional extraction tool for industrial VLSI circuit designs. 520-525
  Electronic Edition (ACM DL) BibTeX
• Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple:
  Combinational equivalence checking through function transformation. 526-533
  Electronic Edition (ACM DL) BibTeX
• Jin Yang, Amit Goel:
  GSTE through a case study. 534-541
  Electronic Edition (ACM DL) BibTeX
• Fan Mo, Robert K. Brayton:
  Whirlpool PLAs: a regular logic structure and their synthesis. 543-550
  Electronic Edition (ACM DL) BibTeX
• Prabhakar Kudva, Andrew Sullivan, William E. Dougherty:
  Metrics for structural logic synthesis. 551-556
  Electronic Edition (ACM DL) BibTeX
• Alan Mishchenko, Robert K. Brayton:
  Simplification of non-deterministic multi-valued networks. 557-562
  Electronic Edition (ACM DL) BibTeX
• Chao Huang, Srivaths Ravi, Anand Raghunathan, Niraj K. Jha:
  High-level synthesis of distributed logic-memory architectures. 564-571
  Electronic Edition (ACM DL) BibTeX
• Preeti Ranjan Panda, Lakshmikantam Chitturi:
  An energy-conscious algorithm for memory port allocation. 572-576
  Electronic Edition (ACM DL) BibTeX
• Sambuddhi Hettiaratchi, Peter Y. K. Cheung, Thomas J. W. Clarke:
  Energy efficient address assignment through minimized memory row switching. 577-581
  Electronic Edition (ACM DL) BibTeX
• Pinhong Chen, Yuji Kukimoto, Kurt Keutzer:
  Refining switching window by time slots for crosstalk noise calculation. 583-586
  Electronic Edition (ACM DL) BibTeX
• Vladimir Zolotov, David Blaauw, Supamas Sirichotiyakul, Murat R. Becer, Chanhee Oh, Rajendran Panda, Amir Grinshpon, Rafi Levy:
  Noise propagation and failure criteria for VLSI designs. 587-594
  Electronic Edition (ACM DL) BibTeX
• Li Ding, David Blaauw, Pinaki Mazumder:
  Efficient crosstalk noise modeling using aggressor and tree reductions. 595-600
  Electronic Edition (ACM DL) BibTeX
• María C. Molina, José M. Mendías, Román Hermida:
  Bit-level scheduling of heterogeneous behavioural specifications. 602-608
  Electronic Edition (ACM DL) BibTeX
• Chun-Gi Lyuh, Taewhan Kim, Ki-Wook Kim:
  Coupling-aware high-level interconnect synthesis for low power. 609-613
  Electronic Edition (ACM DL) BibTeX
• Junhyung Um, Jae-hoon Kim, Taewhan Kim:
  Layout-driven resource sharing in high-level synthesis. 614-618
  Electronic Edition (ACM DL) BibTeX
• Frank Liu, Chandramouli V. Kashyap, Charles J. Alpert:
  A delay metric for RC circuits based on the Weibull distribution. 620-624
  Electronic Edition (ACM DL) BibTeX
• Larry McMurchie, Carl Sechen:
  WTA: waveform-based timing analysis for deep submicron circuits. 625-631
  Electronic Edition (ACM DL) BibTeX
• Jindrich Zejda, Paul Frain:
  General framework for removal of clock network pessimism. 632-639
  Electronic Edition (ACM DL) BibTeX
• Fei Sun, Srivaths Ravi, Anand Raghunathan, Niraj K. Jha:
  Synthesis of custom processors based on extensible platforms. 641-648
  Electronic Edition (ACM DL) BibTeX
• Jong-eun Lee, Kiyoung Choi, Nikil Dutt:
  Efficient instruction encoding for automatic instruction set design of configurable ASIPs. 649-654
  Electronic Edition (ACM DL) BibTeX
• Susan Cotterell, Frank Vahid:
  Synthesis of customized loop caches for core-based embedded systems. 655-662
  Electronic Edition (ACM DL) BibTeX
• Xinping Zhu, Sharad Malik:
  A hierarchical modeling framework for on-chip communication architectures. 663-671
  Electronic Edition (ACM DL) BibTeX
• Jason Cong, Joey Y. Lin, Wangning Long:
  A new enhanced SPFD rewiring algorithm. 672-678
  Electronic Edition (ACM DL) BibTeX
• Subarnarekha Sinha, Alan Mishchenko, Robert K. Brayton:
  Topologically constrained logic synthesis. 679-686
  Electronic Edition (ACM DL) BibTeX
• Victor N. Kravets, Karem A. Sakallah:
  Resynthesis of multi-level circuits under tight constraints using symbolic optimization. 687-693
  Electronic Edition (ACM DL) BibTeX
• Shinji Kimura, Takashi Horiyama, Masaki Nakanishi, Hirotsugu Kajihara:
  Folding of logic functions and its application to look up table compaction. 694-697
  Electronic Edition (ACM DL) BibTeX
• Sorin Manolache, Petru Eles, Zebo Peng:
  Schedulability analysis of multiprocessor real-time applications with stochastic task execution times. 699-706
  Electronic Edition (ACM DL) BibTeX
• Peng Rong, Massoud Pedram:
  Battery-aware power management based on Markovian decision processes. 707-713
  Electronic Edition (ACM DL) BibTeX
• Weiping Liao, Joseph M. Basile, Lei He:
  Leakage power modeling and reduction with data retention. 714-719
  Electronic Edition (ACM DL) BibTeX
• Steven M. Martin, Krisztián Flautner, Trevor N. Mudge, David Blaauw:
  Combined dynamic voltage scaling and adaptive body biasing for lower power microprocessors under dynamic workloads. 721-725
  Electronic Edition (ACM DL) BibTeX
• Bren Mochocki, Xiaobo Sharon Hu, Gang Quan:
  A realistic variable voltage scheduling model for real-time applications. 726-731
  Electronic Edition (ACM DL) BibTeX
• Kihwan Choi, Karthik Dantu, Wei-Chung Cheng, Massoud Pedram:
  Frame-based dynamic voltage and frequency scaling for a MPEG decoder. 732-737
  Electronic Edition (ACM DL) BibTeX
• Bo Hu, Malgorzata Marek-Sadowska:
  Congestion minimization during placement without estimation. 739-745
  Electronic Edition (ACM DL) BibTeX
• Charles J. Alpert, Gi-Joon Nam, Paul Villarrubia:
  Free space management for cut-based placement. 746-751
  Electronic Edition (ACM DL) BibTeX
• Deshanand P. Singh, Stephen Dean Brown:
  Incremental placement for layout driven optimizations on FPGAs. 752-759
  Electronic Edition (ACM DL) BibTeX
• Hui Zheng, Lawrence T. Pileggi:
  Robust and passive model order reduction for circuits containing susceptance elements. 761-766
  Electronic Edition (ACM DL) BibTeX
• Yehea I. Ismail:
  Efficient model order reduction via multi-node moment matching. 767-774
  Electronic Edition (ACM DL) BibTeX
• Carlos P. Coelho, Joel R. Phillips, Luis Miguel Silveira:
  Optimization based passive constrained fitting. 775-780
  Electronic Edition (ACM DL) BibTeX
• Armin Biere, Wolfgang Kunz:
  SAT and ATPG: Boolean engines for formal hardware verification. 782-785
  Electronic Edition (ACM DL) BibTeX
• Chih-Wei Jim Chang, Malgorzata Marek-Sadowska:
  ATPG-based logic synthesis: an overview. 786-789
  Electronic Edition (ACM DL) BibTeX
• Reinaldo A. Bergamaschi, John M. Cohn:
  The A to Z of SoCs. 790-798
  Electronic Edition (ACM DL) BibTeX