ACM Home Page
      Please provide us with feedback. Feedback
 
Annual ACM IEEE Design Automation Conference archive
Proceedings of the 38th annual Design Automation Conference
2001,  Las Vegas, Nevada, United States   
Additional Information:full citation, index terms
Paper Acceptance Rate:160.00 of 410.00 submissions, 39%  view statistics
Chairman  
Jan Rabaey Univ. of California
 
Table of Contents
  The electronics industry supply chain (panel session): who does what?
Rita Glover, Marc Halpern, Rick Becks, Richard Kubin, Henry Jurgens, Rich Cassidy, Ted Vucurevich
Pages: 1 - 2
Full text available: PdfPdf(116 KB)
Additional Information:full citation, abstract, index terms
 
  Future performance challenges in nanometer design
Dennis Sylvester, Himanshu Kaul
Pages: 3 - 8
Full text available: PdfPdf(253 KB)
 
  IC design in high-cost nanometer-technologies era
Wojciech Maly
Pages: 9 - 14
Full text available: PdfPdf(240 KB)
 
  LOTTERYBUS: a new high-performance communication architecture for system-on-chip designs
Kanishka Lahiri, Anand Raghunathan, Ganesh Lakshminarayana
Pages: 15 - 20
Full text available: PdfPdf(347 KB)
 
  Robust interfaces for mixed-timing systems with application to latency-insensitive protocols
Tiberiu Chelcea, Steven M. Nowick
Pages: 21 - 26
Full text available: PdfPdf(124 KB)
 
  Latency-driven design of multi-purpose systems-on-chip
Seapahn Maguerdichian, Milenko Drinic, Darko Kirovski
Pages: 27 - 30
 
  Estimation of speed, area, and power of parameterizable, soft IP
Jagesh Sanghavi, Albert Wang
Pages: 31 - 34
Full text available: PdfPdf(71 KB)
 
  Formal property verification by abstraction refinement with formal, simulation and hybrid engines
Dong Wang, Pei-Hsin Jiang, James Kukula, Yunshan Zhu, Tony Ma, Robert Damiano
Pages: 35 - 40
Full text available: PdfPdf(179 KB)
 
  Scalable hybrid verification of complex microprocessors
Maher Mneimneh, Fadi Aloul, Chris Weaver, Saugata Chatterjee, Karem Sakallah, Todd Austin
Pages: 41 - 46
Full text available: PdfPdf(150 KB)
 
  Symbolic RTL simulation
Alferd Kölbl, James Kukula, Robert Damiano
Pages: 47 - 52
 
  A unified DFT architecture for use with IEEE 1149.1 and VSIA/IEEE P1500 compliant test access controllers
Bulent I. Dervisoglu
Pages: 53 - 58
Full text available: PdfPdf(199 KB)
 
  Instruction-level DFT for testing processor and IP cores in system-on-a-chip
Wei-Cheng Lai, Kwang-Ting Cheng
Pages: 59 - 64
Full text available: PdfPdf(75 KB)
 
  Test strategies for BIST at the algorithmic and register-transfer levels
Kelly A. Ockunzzi, Chris Papachristou
Pages: 65 - 70
Full text available: PdfPdf(131 KB)
 
  The next HDL (panel session): if C++ is ;the answer, what was the question?
Rajesh Gupta, Gerard Berry, Ramesh Chandra, Daniel Gajski, Kris Konigsfeld, Patrick Schaumont, Ingrid Verbauhede
Pages: 71 - 72
Full text available: PdfPdf(118 KB)
Additional Information:full citation, abstract, index terms
 
  Reticle enhancement technology: implications and challenges for physical design
W. Grobman, M. Thompson, R. Wang, C. Yuan, R. Tian, E. Demircan
Pages: 73 - 78
Full text available: PdfPdf(228 KB)
 
  Enabling alternating phase shifted mask designs for a full logic gate level: design rules and design rule checking
Lars Liebmann
Pages: 79 - 84
Full text available: PdfPdf(80 KB)
 
  Layout design methodolgies for sub-wavelength manufacturing
Michael L. Rieger, Jeffrey P. Mayhew, Sridhar Panchapakesan
Pages: 85 - 88
Full text available: PdfPdf(705 KB)
 
  Adoption of OPC and the impact on design and layout
F. M. Schellenberg, Olivier Toublan, Luigi Capodieci, Bob Socha
Pages: 89 - 92
Additional Information:full citation, abstract, index terms
 
  Adoption of OPC and the impact on design and layout
F. M. Schellenberg, Olivier Toublan, Luigi Capodieci, Bob Socha
Pages: 89 - 92
Full text available: PdfPdf(575 KB)
 
  Practical application of full-feature alternating phase-shifting technology for a phase-aware standard-cell design flow
Michael Sanie, Michel Côté, Philippe Hurat, Vinod Malhotra
Pages: 93 - 96
Full text available: PdfPdf(1.30 MB)
 
  Practical application of full-feature alternating phase-shifting technology for a phase-aware standard-cell design flow
Michael Sanie, Michel Côté, Philippe Hurat, Vinod Malhotra
Pages: 93 - 96
Additional Information:full citation, abstract, index terms
 
  Layout-driven hot-carrier degradation minimization using logic restructuring techniques
Chih-Wei Chang, Kai Wang, Malgorzata Marek-Sadowska
Pages: 97 - 102
Full text available: PdfPdf(153 KB)
 
  An algorithm for bi-decomposition of logic functions
Alan Mishchenko, Bernd Steinbach, Marek Perkowski
Pages: 103 - 108
Full text available: PdfPdf(251 KB)
 
  Factoring and recognition of read-once functions using cographs and normality
Martin C. Golumbic, Aviad Mintz, Udi Rotics
Pages: 109 - 114
Full text available: PdfPdf(243 KB)
 
  Logic minimization using exclusive OR gates
Valentina Ciriani
Pages: 115 - 120
Full text available: PdfPdf(263 KB)
 
  Design of half-rate clock and data recovery circuits for optical communication systems
Jafar Savoj, Behzad Razavi
Pages: 121 - 126
Full text available: PdfPdf(1.78 MB)
 
  A novel method for stochastic nonlinearity analysis of a CMOS pipeline ADC
David Goren, Eliyahu Shamsaevc, A. Wagner
Pages: 127 - 132
Full text available: PdfPdf(334 KB)
 
  Behavioral partitioning in the synthesis of mixed analog-digital systems
Sree Ganesan, Ranga Vemuri
Pages: 133 - 138
Full text available: PdfPdf(153 KB)
 
  Efficient DDD-based symbolic analysis of large linear analog circuits
Wim Verhaegen, Georges Gielen
Pages: 139 - 144
Full text available: PdfPdf(89 KB)
 
  Random limited-scan to improve random pattern testing of scan circuits
Irith Pomeranz
Pages: 145 - 150
Full text available: PdfPdf(77 KB)
 
  Test volume and application time reduction through scan chain concealment
Ismet Bayraktaroglu, Alex Orailoglu
Pages: 151 - 155
Full text available: PdfPdf(78 KB)
 
  An approach to test compaction for scan circuits that enhances at-speed testing
Irith Pomeranz, Sudhakar Reddy
Pages: 156 - 161
Full text available: PdfPdf(87 KB)
 
  Generating efficient tests for continuous scan
Sying-Jyan Wang, Sheng-Nan Chiou
Pages: 162 - 165
Full text available: PdfPdf(151 KB)
 
  Combining low-power scan testing and test data compression for system-on-a-chip
Anshuman Chandra, Krishnendu Chakrabarty
Pages: 166 - 169
Full text available: PdfPdf(197 KB)
 
  Your core— my problem? (panel session): integration and verification of IP
Gabe Moretti, Tom Anderson, Janick Bergeron, Ashish Dixit, Peter Flake, Tim Hopes, Ramesh Narayanaswamy
Pages: 170 - 171
Full text available: PdfPdf(129 KB)
 
  A quick safari through the reconfiguration jungle
Patrick Schaumont, Ingrid Verbauwhede, Kurt Keutzer, Majid Sarrafzadeh
Pages: 172 - 177
Full text available: PdfPdf(269 KB)
 
  Re-configurable computing in wireless
Bill Salefski, Levent Caglar
Pages: 178 - 183
Full text available: PdfPdf(241 KB)
 
  Hardware/software instruction set configurability for system-on-chip processors
Albert Wang, Earl Killian, Dror Maydan, Chris Rowen
Pages: 184 - 188
Full text available: PdfPdf(156 KB)
 
  A practical methodology for early buffer and wire resource allocation
Charles J. Alpert, Jiang Hu, Sachin S. Sapatnekar, Paul Villarrubia
Pages: 189 - 194
Full text available: PdfPdf(166 KB)
 
  Creating and exploiting flexibility in steiner trees
Elaheh Bozorgzadeh, Ryan Kastner, Majid Sarrafzadeh
Pages: 195 - 198
Full text available: PdfPdf(162 KB)
 
  Simultaneous shield insertion and net ordering under explicit RLC noise constraint
Kevin M. Lepak, Irwan Luwandi, Lei He
Pages: 199 - 202
Full text available: PdfPdf(152 KB)
 
  On optimum switch box designs for 2-D FPGAs
Hongbing Fan, Jiping Liu, Yu-Liang Wu, Chak-Chung Cheung
Pages: 203 - 208
Full text available: PdfPdf(828 KB)
 
  Dependency preserving probabilistic modeling of switching activity using bayesian networks
Sanjukta Bhanja, N. Ranganathan
Pages: 209 - 214
Full text available: PdfPdf(226 KB)
 
  A static estimation technique of power sensitivity in logic circuits
Taewhan Kim, Ki-Seok Chung, C. L. Liu
Pages: 215 - 219
Full text available: PdfPdf(202 KB)
 
  JouleTrack: a web based tool for software energy profiling
Amit Sinha, Anantha P. Chandrakasan
Pages: 220 - 225
Full text available: PdfPdf(209 KB)
 
  Effective use of boolean satisfiability procedures in the formal verification of superscalar and VLIW
Miroslav N. Velev, Randal E. Bryant
Pages: 226 - 231
Full text available: PdfPdf(103 KB)
 
  Circuit-based Boolean Reasoning
Andreas Kuehlmann, Malay K. Ganai, Viresh Paruthi
Pages: 232 - 237
Full text available: PdfPdf(146 KB)
 
  Checking equivalence for partial implementations
Christoph Scholl, Bernd Becker
Pages: 238 - 243
Full text available: PdfPdf(114 KB)
 
  Validating the intel pentium 4 microprocessor
Bob Bentley
Pages: 244 - 248
Full text available: PdfPdf(164 KB)
 
  Nuts and bolts of core and SoC verification
Ken Albin
Pages: 249 - 252
Full text available: PdfPdf(164 KB)
 
  Teaching future verification engineers: the forgotten side of logic design
Fusun Ozguner, Duane Marhefka, Joanne DeGroat, Bruce Wile, Jennifer Stofer, Lyle Hanrahan
Pages: 253 - 255
Full text available: PdfPdf(115 KB)
 
  SoC integration of reusable baseband bluetooth IP
Torbjörn Grahm, Barry Clark
Pages: 256 - 231
Additional Information:full citation, abstract, index terms
 
  One-chip bluetooth Asic challenges
Paul T. M. van Zeijl
Page: 262
Full text available: PdfPdf(79 KB)
Additional Information:full citation, abstract, index terms
 
  Transformations for the synthesis and optimization of asynchronous distributed control
Michael Theobald, Steven M. Nowick
Pages: 263 - 268
Full text available: PdfPdf(166 KB)
 
  Speculation techniques for high level synthesis of control intensive designs
Sumit Gupta, Nick Savoiu, Sunwoo Kim, Nikil Dutt, Rajesh Gupta, Alex Nicolau
Pages: 269 - 272
Full text available: PdfPdf(135 KB)
 
  Parallelizing DSP nested loops on reconfigurable architectures using data context switching
Kiran Bondalapati
Pages: 273 - 276
Full text available: PdfPdf(123 KB)
 
  Using symbolic algebra in algorithmic level DSP synthesis
Armita Peymandoust, Giovanni De Micheli
Pages: 277 - 282
Full text available: PdfPdf(87 KB)
 
  Computing logic-stage delays using circuit simulation and symbolic elmore analysis
Clayton B. McDonald, Randal E. Bryant
Pages: 283 - 288
Full text available: PdfPdf(118 KB)
 
  A new gate delay model for simultaneous switching and its applications
Liang-Chi Chen, Sandeep K. Gupta, Melvin A. Breuer
Pages: 289 - 294
Full text available: PdfPdf(163 KB)
 
  Static timing analysis including power supply noise effect on propagation delay in VLSI circuits
Geng Bai, Sudhakar Bobba, Ibrahim N. Hajj
Pages: 295 - 300
Full text available: PdfPdf(242 KB)
 
  Simulation-based test algorithm generation and port scheduling for multi-port memories
Chi-Feng Wu, Chih-Tsun Huang, Kuo-Liang Cheng, Chih-Wea Wang, Cheng-Wen Wu
Pages: 301 - 306
Full text available: PdfPdf(151 KB)
 
  Improving bus test via IDDT and boundary scan
Shih-Yu Yang, Christos A. Papachristou, Massood Tabib-Azar
Pages: 307 - 312
Full text available: PdfPdf(262 KB)
 
  Fault characterizations and design-for-testability technique for detecting $I_{DDQ}$ faults in CMOS/BiCMOS circuits
Kaamran Raahemifar, Majid Ahmadi
Pages: 313 - 316
Full text available: PdfPdf(152 KB)
 
  Testing for interconnect crosstalk defects using on-chip embedded processor cores
Li Chen, Xiaoliang Bai, Sujit Dey
Pages: 317 - 320
Full text available: PdfPdf(70 KB)
 
  (When) will FPGAs kill ASICs? (panel session)
Rob A. Rutenbar, Max Baron, Thomas Daniel, Rajeev Jayaraman, Zvi Or-Bach, Jonathan Rose, Carl Sechen
Pages: 321 - 322
Full text available: PdfPdf(125 KB)
Additional Information:full citation, abstract, index terms
 
  Inductance 101: modeling and extraction
Michael W. Beattie, Lawrence T. Pileggi
Pages: 323 - 328
Full text available: PdfPdf(613 KB)
 
  Inductance 101: analysis and design issues
Kaushik Gala, David Blaauw, Junfeng Wang, Vladimir Zolotov, Min Zhao
Pages: 329 - 334
Full text available: PdfPdf(204 KB)
 
  Modeling magnetic coupling for on-chip interconnect
Michael W. Beattie, Lawrence T. Pileggi
Pages: 335 - 340
Full text available: PdfPdf(287 KB)
 
  Min/max on-chip inductance models and delay metrics
Yi-Chang Lu, Mustafa Celik, Tak Young, Lawrence T. Pileggi
Pages: 341 - 346
Full text available: PdfPdf(149 KB)
 
  Utilizing memory bandwidth in DSP embedded processors
Catherine H. Gebotys
Pages: 347 - 352
 
  Address code generation for digital signal processors
Sathishkumar Udayanarayanan, Chaitali Chakrabarti
Pages: 353 - 358
Full text available: PdfPdf(172 KB)
 
  Reducing memory requirements of nested loops for embedded systems
J. Ramanujam, Jinpyo Hong, Mahmut Kandemir, A. Narayan
Pages: 359 - 364
Full text available: PdfPdf(174 KB)
 
  Detection of partially simultaneously alive signals in storage requirement estimation for data intensive applications
PerGunnar Kjeldsberg, Francky Catthoor, Einar J. Aas
Pages: 365 - 370
Full text available: PdfPdf(279 KB)
 
  A new structural pattern matching algorithm for technology mapping
Min Zhao, Sachin S. Sapatnekar
Pages: 371 - 376
Full text available: PdfPdf(232 KB)
 
  Technology mapping for SOI domino logic incorporating solutions for the parasitic bipolar effect
Srirang K. Karandikar, S. Sapatnekar
Pages: 377 - 382
Full text available: PdfPdf(115 KB)
 
  Latency and latch count minimization in wave steered circuits
Amit Singh, Arindam Mukherjee, Malgorzata Marek-Sadowska
Pages: 383 - 388
Full text available: PdfPdf(152 KB)
 
  Performance-driven multi-level clustering with application to hierarchical FPGA mapping
Jason Cong, Michail Romesis
Pages: 389 - 394
Full text available: PdfPdf(217 KB)
 
  Application of constraint-based heuristics in collaborative design
Juan Antonio Carballo, Stephen W. Director
Pages: 395 - 400
Full text available: PdfPdf(416 KB)
 
  A universal client for distributed networked design and computing
Franc Brglez, Hemang Lavana
Pages: 401 - 406
Full text available: PdfPdf(206 KB)
 
  Hypermedia-aided design
Darko Kirovski, Milenko Drinic, Miodrag Potkonjak
Pages: 407 - 412
Full text available: PdfPdf(595 KB)
 
  A framework for object oriented hardware specification, verification, and synthesis
T. Kuhn, T. Oppold, M. Winterholer, W. Rosenstiel, Marc Edwards, Yaron Kashai
Pages: 413 - 418
Full text available: PdfPdf(222 KB)
 
  When will the analog design flow catch up with digital methodology? (panel session)
Georges Gielen, Mar Hershenson, Ken Kundert, Philippe Magarshack, Akira Matsuzawa, Ronald A. Rohrer, Ping Yang
Page: 419
Full text available: PdfPdf(116 KB)
Additional Information:full citation, abstract, index terms
 
  Achieving 550 MHz in an ASIC methodology
D. G. Chinnery, B. Nikolic, K. Keutzer
Pages: 420 - 425
Full text available: PdfPdf(1.21 MB)
 
  A semi-custom design flow in high-performance microprocessor design
Gregory A. Northrop, Pong-Fei Lu
Pages: 426 - 431
Full text available: PdfPdf(187 KB)
 
  Reducing the frequency gap between ASIC and custom designs: a custom perspective
Stephen E. Rich, Matthew J. Parker, Jim Schwartz
Pages: 432 - 437
Full text available: PdfPdf(220 KB)
 
  Low-energy intra-task voltage scheduling using static timing analysis
Dongkun Shin, Jihong Kim, Seongsoo Lee
Pages: 438 - 443
Full text available: PdfPdf(113 KB)
 
  Battery-aware static scheduling for distributed real-time embedded systems
Jiong Luo, Niraj K. Jha
Pages: 444 - 449
Full text available: PdfPdf(239 KB)
 
  An approach to incremental design of distributed embedded systems
Paul Pop, Petru Eles, Traian Pop, Zebo Peng
Pages: 450 - 455
Full text available: PdfPdf(111 KB)
 
  Signal representation guided synthesis using carry-save adders for synchronous data-path circuits
Zhan Yu, Meng-Lin Yu, Alan N. Willson, Jr.
Pages: 456 - 461
Full text available: PdfPdf(103 KB)
 
  Improved merging of datapath operators using information content and required precision analysis
Anmol Mathur, Sanjeev Saluja
Pages: 462 - 467
Full text available: PdfPdf(218 KB)
 
  Digital filter synthesis based on minimal signed digit representation
In-Cheol Park, Hyeong-Ju Kang
Pages: 468 - 473
Full text available: PdfPdf(226 KB)
 
  Publicly detectable techniques for the protection virtual components
Gang Qu
Pages: 474 - 479
Full text available: PdfPdf(132 KB)
 
  Watermarking of SAT using combinatorial isolation lemmas
Rupak Majumdar, Jennifer L. Wong
Pages: 480 - 485
Full text available: PdfPdf(92 KB)
 
  Watermarking graph partitioning solutions
Greg Wolfe, Jennifer L. Wong, Miodrag Potkonjak
Pages: 486 - 489
Full text available: PdfPdf(86 KB)
 
  Hardware metering
Farinaz Koushanfar, Gang Qu
Pages: 490 - 493
Full text available: PdfPdf(199 KB)
 
  Technical visualizations in VLSI design: visualization
Phillip J. Restle
Pages: 494 - 499
Full text available: PdfPdf(812 KB)
 
  Using texture mapping with mipmapping to render a VLSI layout
Jeff Solomon, Mark Horowitz
Pages: 500 - 505
Full text available: PdfPdf(708 KB)
 
  Web-based algorithm animation
Marc Najork
Pages: 506 - 511
Full text available: PdfPdf(264 KB)
 
  Speeding up control-dominated applications through microarchitectural customizations in embedded processors
Peter Petrov, Alex Orailoglu
Pages: 512 - 517
Full text available: PdfPdf(86 KB)
 
  Automatic generation of application-specific architectures for heterogeneous multiprocessor system-on-chip
Damien Lyonnard, Sungjoo Yoo, Amer Baghdadi, Ahmed A. Jerraya
Pages: 518 - 523
Full text available: PdfPdf(285 KB)
 
  Dynamic voltage scaling and power management for portable systems
Tajana Simunic, Luca Benini, Andrea Acquaviva, Peter Glynn, Giovanni De Micheli
Pages: 524 - 529
Full text available: PdfPdf(248 KB)
 
  Chaff: engineering an efficient SAT solver
Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik
Pages: 530 - 535
Full text available: PdfPdf(196 KB)
 
  Dynamic detection and removal of inactive clauses in SAT with application in image computation
Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav Ashar
Pages: 536 - 541
Full text available: PdfPdf(192 KB)
 
  SATIRE: a new incremental satisfiability engine
Jesse Whittemore, Joonyoung Kim, Karem Sakallah
Pages: 542 - 545
Full text available: PdfPdf(109 KB)
 
  A framework for low complexitgy static learning
Emil Gizdarski, Hideo Fujiwara
Pages: 546 - 549
Full text available: PdfPdf(173 KB)
 
  Fast power/ground network optimization based on equivalent circuit modeling
X.-D. Sheldon Tan, C.-J. Richard Shi
Pages: 550 - 554
Full text available: PdfPdf(188 KB)
 
  An interconnect energy model considering coupling effects
Taku Uchino, Jason Cong
Pages: 555 - 558
Full text available: PdfPdf(168 KB)
 
  Efficient large-scale power grid analysis based on preconditioned krylov-subspace iterative methods
Tsung-Hao Chen, Charlie Chung-Ping Chen
Pages: 559 - 562
Full text available: PdfPdf(274 KB)
 
  Using conduction modes basis functions for efficient electromagnetic anaysis of on-chip and off-chip interconnect
Luca Daniel, Alberto Sangiovanni, Jacob White
Pages: 563 - 566
Full text available: PdfPdf(158 KB)
 
  Analysis of non-uniform temperature-dependent interconnect performance in high performance ICs
Amir H. Ajami, Kaustav Banerjee, Massoud Pedram, Lukas P. P. P. van Ginneken
Pages: 567 - 572
Full text available: PdfPdf(294 KB)
 
  VHDL-based design and design methodology for reusable high performance direct digital requency synthesizers
Ireneusz Janiszewski, Bernhard Hoppe, Hermann Meuth
Pages: 573 - 578
Full text available: PdfPdf(226 KB)
 
  Concurrent error detection of fault-based side-channel cryptanalysis of 128-bit symmetric block ciphers
Ramesh Karri, Kaijie Wu, Piyush Mishra, Yongkook Kim
Pages: 579 - 584
Full text available: PdfPdf(260 KB)
 
  MetaCores: design and optimization techniques
Seapahn Meguerdichian, Farinaz Koushanfar, Advait Morge, Dusan Petranovic, Miodrag Potkonjak
Pages: 585 - 590
Full text available: PdfPdf(284 KB)
 
  Is nanometer design under control? (panel session)
Andrew B. Kahng, Nancy Nettleton, John Cohn, Shekhar Borkar, Louis Scheffer, Ed Cheng, Sang Wang
Pages: 591 - 592
Full text available: PdfPdf(106 KB)
Additional Information:full citation, abstract, index terms
 
  A hardware/software co-design flow and IP library based on simulink
L. M. Reyneri, F. Cucinotta, A. Serra, L. Lavagno
Pages: 593 - 598
Full text available: PdfPdf(120 KB)
 
  System-level power/performance analysis for embedded systems design
Amit Nandi, Radu Marculescu
Pages: 599 - 604
Full text available: PdfPdf(207 KB)
 
  High-level software energy macro-modeling
T. K. Tan, A. K. Raghunathan, G. Lakishminarayana, N. K. Jha
Pages: 605 - 610
Full text available: PdfPdf(206 KB)
 
  Model checking of S3C2400X industrial embedded SOC product
Hoon Choi, Byeongwhee Yun, Yuntae Lee, Hyunglae Roh
Pages: 611 - 616
Full text available: PdfPdf(759 KB)
 
  Semi-formal test generation with genevieve
Julia Dushina, Mike Benjamin, Daniel Geist
Pages: 617 - 622
Full text available: PdfPdf(147 KB)
 
  A transaction-based unified simulation/emulation architecture for functional verification
Murali Kudlugi, Soha Hassoun, Charles Selvidge, Duaine Pryor
Pages: 623 - 628
Full text available: PdfPdf(201 KB)
 
  Integrated high-level synthesis and power-net routing for digital design under switching noise constraints
Alex Doboli, Ranga Vemuri
Pages: 629 - 634
Full text available: PdfPdf(235 KB)
 
  Integrating scheduling and physical design into a coherent compilation cycle for reconfigurable computing architectures
Kia Bazargan, Seda Ogrenci, Majid Sarrafzadeh
Pages: 635 - 640
Full text available: PdfPdf(231 KB)
 
  Statistical design space exploration for application-specific unit synthesis
Davide Bruni, Alessandro Bogliolo, Luca Benini
Pages: 641 - 646
Full text available: PdfPdf(179 KB)
 
  Static schedluing of multiple asynchronous domains for functional verification
Murali Kudlugi, Charles Selvidge, Russell Tessier
Pages: 647 - 652
Full text available: PdfPdf(100 KB)
 
  Functional correlation analysis in crosstalk induced critical paths identification
Tong Xiao, Malgorzata Marek-Sadowska
Pages: 653 - 656
Full text available: PdfPdf(60 KB)
 
  An advanced timing characterization method using mode dependecy
Hakan Yalcin, Robert Palermo, Mohammad Mortazavi, Cyrus Bamji, Karem Sakallah, John Hayes
Pages: 657 - 660
Full text available: PdfPdf(72 KB)
 
  Fast statistical timing analysis by probabilistic event propagation
Jing-Jia Liou, Kwang-Ting Cheng, Sandip Kundu, Angela Krstic
Pages: 661 - 666
Full text available: PdfPdf(98 KB)
 
  Addressing the system-on-a-chip interconnect woes through communication-based design
M. Sgroi, M. Sheets, A. Mihal, K. Keutzer, S. Malik, J. Rabaey, A. Sangiovanni-Vencentelli
Pages: 667 - 672
Full text available: PdfPdf(180 KB)
 
  Micronetwork-based integration for SOCs: 673
Drew Wingard
Page: 677
 
  On-chip communication architecture for OC-768 network processors
Faraydon Karim, Anh Nguyen, Sujit Dey, Ramesh Rao
Pages: 678 - 683
Full text available: PdfPdf(245 KB)
 
  Route packets, not wires: on-chip inteconnection networks
William J. Dally, Brian Towles
Pages: 684 - 689
Full text available: PdfPdf(125 KB)
 
  Dynamic management of scratch-pad memory space
M. Kandemir, J. Ramanujam, J. Irwin, N. Vijaykrishnan, I. Kadayif, A. Parikh
Pages: 690 - 695
Full text available: PdfPdf(257 KB)
 
  Clustered VLIW architecture with predicated switching
Margarida F. Jacome, Gustavo de Veciana, Satish Pillai
Pages: 696 - 701
Full text available: PdfPdf(190 KB)
 
  High-quality operation binding for clustered VLIW datapaths
Viktor S. Lapinskii, Margarida F. Jacome, Gustavo A. de Veciana
Pages: 702 - 707
Full text available: PdfPdf(127 KB)
 
  Fast bit-true simulation
Holger Keding, Martin Coors, Olaf Lüthje, Heinrich Meyr
Pages: 708 - 713
Full text available: PdfPdf(303 KB)
 
  Timing analysis with crosstalk as fixpoints on complete lattice
Hai Zhou, Narendra Shenoy, William Nicholls
Pages: 714 - 719
Full text available: PdfPdf(231 KB)
 
  Driver modeling and alignment for worst-case delay noise
Supamas Sirichotiyakul, David Blaauw, Chanhee Oh, Rafi Levy, Vladimir Zolotov, Jingyan Zuo
Pages: 720 - 725
Full text available: PdfPdf(895 KB)
 
  False coupling interactions in static timing analysis
Ravishankar Arunachalam, Ronald D. Blanton, Lawrence T. Pileggi
Pages: 726 - 731
Full text available: PdfPdf(156 KB)
 
  Coupling delay optimization by temporal decorrelation using dual threshold voltage technique
Ki-Wook Kim, Seong-Ook Jung, Prashant Saxena, C. L. Liu, Sung-Mo Kang
Pages: 732 - 737
Full text available: PdfPdf(110 KB)
 
  Input space adaptive design: a high-level methodology for energy and performance optimization
Weidong Wang, Anand Raghunathan, Ganesh Lakshminarayana, Niraj K. Jha
Pages: 738 - 743
Full text available: PdfPdf(265 KB)
 
  A$^{\mbox{\huge\bf 2}}$BC: adaptive address bus coding for low power deep sub-micron designs
Jörg Henkel, Haris Lekatsas
Pages: 744 - 749
Full text available: PdfPdf(945 KB)
 
  Coupling-driven bus design for low-power application-specific systems
Youngsoo Shin, Takayasu Sakurai
Pages: 750 - 753
Full text available: PdfPdf(95 KB)
 
  Modeling and minimization of interconnect energy dissipation in nanometer technologies
Clark N. Taylor, Sujit Dey, Yi Zhao
Pages: 754 - 757
Full text available: PdfPdf(76 KB)
 
  A true single-phase 8-bit adiabatic multiplier
Suhwan Kim, Conrad H. Ziesler, Marios C. Papaefthymiou
Pages: 758 - 763
Full text available: PdfPdf(648 KB)
 
  TCG: a transitive closure graph-based representation for non-slicing floorplans
Jai-Ming Lin, Yao-Wen Chang
Pages: 764 - 769
Full text available: PdfPdf(142 KB)
 
  Floorplanning with abutment constraints and L-shpaed/T-shaped blocks baed on corner block list
Yuchun Ma, Xianlong Hong, Sheqin Dong, Yici Cai, Chung-Kuan Cheng, Jun Gu
Pages: 770 - 775
Full text available: PdfPdf(263 KB)
 
  Improved cut sequences for partitioning based placement
Mehmet Can Yildiz, Patrick H. Madden
Pages: 776 - 779
Full text available: PdfPdf(47 KB)
 
  Timing driven placement using physical net constraints
Bill Halpin, C. Y. Roger Chen, Naresh Sehgal
Pages: 780 - 783
Full text available: PdfPdf(185 KB)
 
  From architecture to layout: partitioned memory synthesis for embedded systems-on-chip
L. Benini, L. Macchiarulo, A. Macii, E. Macii, M. Poncino
Pages: 784 - 789
Full text available: PdfPdf(257 KB)
 
  What drives EDA innovaiton? (panel session)
Steve Schulz, Greg Hinckley, Grey Spirakis, Karen Vahtra, John Darringer, J. George Janac, Handel Jones
Pages: 790 - 791
Full text available: PdfPdf(125 KB)
Additional Information:full citation, abstract, index terms
 
  Built-in self-test for signal integrity
Mehrdad Nourani, Amir Attarha
Pages: 792 - 797
Full text available: PdfPdf(150 KB)
 
  Analysis of on-chip inductance effects using a novel performance optimization methodology for distributed RLC interconnects
Kaustav Banerjee, Amit Mehrotra
Pages: 798 - 803
Full text available: PdfPdf(261 KB)
 
  Modeling and analysis of differential signaling for minimizing inductive cross-talk
Yehia Massoud, Jamil Kawa, Don MacMillen, Jacob White
Pages: 804 - 809
Full text available: PdfPdf(260 KB)
 
  Automated pipeline design
Daniel Kroening, Wolfgang J. Paul
Pages: 810 - 815
Full text available: PdfPdf(195 KB)
 
  A new verification methodology for complex pipeline behavior
Kazuyoshi Kohno, Nobu Matsumoto
Pages: 816 - 821
Full text available: PdfPdf(208 KB)
 
  Pre-silicon verification of the Alpha 21364 microprocessor error handling system
Richard Lee, Benjamin Tsien
Pages: 822 - 827
Full text available: PdfPdf(177 KB)
 
  Energy efficient fixed-priority scheduling for real-time systems on variable voltage processors
Gang Quan, Xiaobo Hu
Pages: 828 - 833
Full text available: PdfPdf(213 KB)
 
  Dynamic power management in a mobile multimedia system with guaranteed quality-of-service
Qinru Qiu, Qing Wu, Massoud Pedram
Pages: 834 - 839
 
  Power-aware scheduling under timing constraints for mission-critical embedded systems
Jinfeng Liu, Pai H. Chou, Nader Bagherzadeh, Fadi Kurdahi
Pages: 840 - 845
Full text available: PdfPdf(119 KB)
 
  Exploring SOI device structures and interconnect architecures for 3-dimensional integration
Rongtian Zhang, Kaushik Roy, Cheng-Kok Koh, David B. Janes
Pages: 846 - 851
Full text available: PdfPdf(343 KB)
 
  Two-dimensional position deteciton system with MEMS accelerometer for MOUSE applications
Seungbae Lee, Gi-Joon Nam, Junseok Chae, Hanseup Kim, Alan J. Drake
Pages: 852 - 857
Full text available: PdfPdf(1.40 MB)
 
  Mismatch analysis and direct yield optimization by specwise linearization and feasibility-guided search
Frank Schenkel, Michael Pronath, Stephen Zizala, Robert Schwencker, Helmut Graeb, Kurt Antreich
Pages: 858 - 863
Full text available: PdfPdf(187 KB)