| 2004 | A SAT-based algorithm for reparameterization in symbolic simulation. Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening |
| 2004 | A communication-theoretic design paradigm for reliable SOCs. Naresh R. Shanbhag |
| 2004 | A dual-core 64b ultraSPARC microprocessor for dense server applications. Toshinari Takayanagi, Jinuk Luke Shin, Bruce Petrick, Jeffrey Y. Su, Ana Sonia Leon |
| 2004 | A fast hardware/software co-verification method for system-on-a-chip by using a C/C++ simulator and FPGA emulator with shared register communication. Yuichi Nakamura, Kohei Hosokawa, Ichiro Kuroda, Ko Yoshikawa, Takeshi Yoshimura |
| 2004 | A fast parasitic extractor based on low-rank multilevel matrix compression for conductor and dielectric modeling in microelectronics and MEMS. Dipanjan Gope, Swagato Chakraborty, Vikram Jandhyala |
| 2004 | A frequency relaxation approach for analog/RF system-level simulation. Xin Li, Yang Xu, Peng Li, Padmini Gopalakrishnan, Lawrence T. Pileggi |
| 2004 | A general decomposition strategy for verifying register renaming. Hazem I. Shehata, Mark D. Aagaard |
| 2004 | A linear fractional transform (LFT) based model for interconnect parametric uncertainty. Janet Meiling Wang, Omar Hafiz, Jun Li |
| 2004 | A method for correcting the functionality of a wire-pipelined circuit. Vidyasagar Nookala, Sachin S. Sapatnekar |
| 2004 | A method to decompose multiple-output logic functions. Tsutomu Sasao, Munehiro Matsuura |
| 2004 | A methodology to improve timing yield in the presence of process variations. Sreeja Raj, Sarma B. K. Vrudhula, Janet Meiling Wang |
| 2004 | A new approach to latency insensitive design. Mario R. Casu, Luca Macchiarulo |
| 2004 | A new heuristic algorithm for reversible logic synthesis. Pawel Kerntopf |
| 2004 | A new state assignment technique for testing and low power. Sungju Park, Sangwook Cho, Seiyang Yang, Maciej J. Ciesielski |
| 2004 | A novel approach for flexible and consistent ADL-driven ASIP design. Gunnar Braun, Achim Nohl, Weihua Sheng, Jianjiang Ceng, Manuel Hohenauer, Hanno Scharwächter, Rainer Leupers, Heinrich Meyr |
| 2004 | A novel technique to improve noise immunity of CMOS dynamic logic circuits. Li Ding, Pinaki Mazumder |
| 2004 | A packing algorithm for non-manhattan hexagon/triangle placement design by using an adaptive o-tree representation. Jing Li, Tan Yan, Bo Yang, Juebang Yu, Chunhui Li |
| 2004 | A recursive paradigm to solve Boolean relations. David Bañeres, Jordi Cortadella, Michael Kishinevsky |
| 2004 | A robust algorithm for approximate compatible observability don't care (CODC) computation. Nikhil Saluja, Sunil P. Khatri |
| 2004 | A scalable soft spot analysis methodology for compound noise effects in nano-meter circuits. Chong Zhao, Xiaoliang Bai, Sujit Dey |
| 2004 | A stochastic approach To power grid analysis. Sanjay Pant, David T. Blaauw, Vladimir Zolotov, Savithri Sundareswaran, Rajendran Panda |
| 2004 | A synthesis flow toward fast parasitic closure for radio-frequency integrated circuits. Gang Zhang, E. Aykut Dengi, Ronald A. Rohrer, Rob A. Rutenbar, L. Richard Carley |
| 2004 | A timing-driven module-based chip design flow. Fan Mo, Robert K. Brayton |
| 2004 | AMUSE: a minimally-unsatisfiable subformula extractor. Yoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Karem A. Sakallah, Igor L. Markov |
| 2004 | Abstraction of assembler programs for symbolic worst case execution time analysis. Tobias Schüle, Klaus Schneider |
| 2004 | Abstraction refinement by controllability and cooperativeness analysis. Freddy Y. C. Mang, Pei-Hsin Ho |
| 2004 | Accurate pre-layout estimation of standard cell characteristics. Hiroaki Yoshida, Kaushik De, Vamsi Boppana |
| 2004 | Adaptive data partitioning for ambient multimedia. Xiaoping Hu, Radu Marculescu |
| 2004 | An Essentially Non-Oscillatory (ENO) high-order accurate Adaptive table model for device modeling. Baolin Yang, Bruce McGaughy |
| 2004 | An SoC design methodology using FPGAs and embedded microprocessors. Nobuyuki Ohba, Kohji Takano |
| 2004 | An algorithm for converting floating-point computations to fixed-point in MATLAB based FPGA design. Sanghamitra Roy, Prithviraj Banerjee |
| 2004 | An analytical approach for dynamic range estimation. Bin Wu, Jianwen Zhu, Farid N. Najm |
| 2004 | An approach to placement-coupled logic replication. Milos Hrkic, John Lillis, Giancarlo Beraudo |
| 2004 | An area estimation methodology for FPGA based designs at systemc-level. Carlo Brandolese, William Fornaciari, Fabio Salice |
| 2004 | An efficient algorithm for finding empty space for online FPGA placement. Manish Handa, Ranga Vemuri |
| 2004 | An efficient finite-domain constraint solver for circuits. Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Li-C. Wang |
| 2004 | An efficient scalable and flexible data transfer architecture for multiprocessor SoC with massive distributed memory. Sang-Il Han, Amer Baghdadi, Marius Bonaciu, Soo-Ik Chae, Ahmed Amine Jerraya |
| 2004 | An integrated hardware/software approach for run-time scratchpad management. Francesco Poletti, Paul Marchal, David Atienza, Luca Benini, Francky Catthoor, Jose Manuel Mendias |
| 2004 | Architecture-level synthesis for automatic interconnect pipelining. Jason Cong, Yiping Fan, Zhiru Zhang |
| 2004 | Area-efficient instruction set synthesis for reconfigurable system-on-chip designs. Philip Brisk, Adam Kaplan, Majid Sarrafzadeh |
| 2004 | Automated design of operational transconductance amplifiers using reversed geometric programming. Johan P. Vanderhaegen, Robert W. Brodersen |
| 2004 | Automated energy/performance macromodeling of embedded software. Anish Muttreja, Anand Raghunathan, Srivaths Ravi, Niraj K. Jha |
| 2004 | Automated fixed-point data-type optimization tool for signal processing and communication systems. Changchun Shi, Robert W. Brodersen |
| 2004 | Automatic abstraction and verification of verilog models. Zaher S. Andraus, Karem A. Sakallah |
| 2004 | Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis. Kai Kapp, Viktor K. Sabelfeld |
| 2004 | Automatic generation of breakpoint hardware for silicon debug. Bart Vermeulen, Mohammad Zalfany Urfianto, Sandeep Kumar Goel |
| 2004 | Automatic generation of equivalent architecture model from functional specification. Samar Abdi, Daniel Gajski |
| 2004 | Automatic translation of software binaries onto FPGAs. Gaurav Mittal, David Zaretsky, Xiaoyong Tang, Prithviraj Banerjee |
| 2004 | Benefits and challenges for platform-based design. Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Fernando De Bernardinis, Marco Sgroi |
| 2004 | Buffer sizing for clock power minimization subject to general skew constraints. Kai Wang, Malgorzata Marek-Sadowska |
| 2004 | Business models in IP, software licensing, and services. Ellen Sentovich, Raul Camposano, Jim Douglas, Aurangzeb Khan |
| 2004 | CAD challenges in BioMEMS design. Jacob White |
| 2004 | CHIME: coupled hierarchical inductance model evaluation. Satrajit Gupta, Lawrence T. Pileggi |
| 2004 | Characterizing embedded applications for instruction-set extensible processors. Pan Yu, Tulika Mitra |
| 2004 | Circuit-aware architectural simulation. SeokWoo Lee, Shidhartha Das, Valeria Bertacco, Todd M. Austin, David T. Blaauw, Trevor N. Mudge |
| 2004 | Closed-form expressions of distributed RLC interconnects for analysis of on-chip inductance effects. Yuichi Tanji, Hideki Asai |
| 2004 | Coding for system-on-chip networks: a unified framework. Srinivasa R. Sridhara, Naresh R. Shanbhag |
| 2004 | Combining dictionary coding and LFSR reseeding for test data compression. Xiaoyun Sun, Larry L. Kinney, Bapiraju Vinnakota |
| 2004 | Communication-efficient hardware acceleration for fast functional simulation. Young-Il Kim, Woo-Seung Yang, Young-Su Kwon, Chong-Min Kyung |
| 2004 | Compact thermal modeling for temperature-aware design. Wei Huang, Mircea R. Stan, Kevin Skadron, Karthik Sankaranarayanan, Shougata Ghosh, Sivakumar Velusamy |
| 2004 | Competitive strategies for the electronics industry. Ellen Sentovich, Jaswinder Ahuja, Paul Lippe, Bernie Rosenthal |
| 2004 | Correct-by-construction layout-centric retargeting of large analog designs. Sambuddha Bhattacharya, Nuttorn Jangkrajarng, Roy Hartono, Chuanjin Richard Shi |
| 2004 | Data compression for improving SPM behavior. Ozcan Ozturk, Mahmut T. Kandemir, I. Demirkiran, Guangyu Chen, Mary Jane Irwin |
| 2004 | Debugging HW/SW interface for MPSoC: video encoder system design case study. Mohamed-Wassim Youssef, Sungjoo Yoo, Arif Sasongko, Yanick Paviot, Ahmed Amine Jerraya |
| 2004 | Decomposing specifications with concurrent outputs to resolve state coding conflicts in asynchronous logic synthesis. Hemangee K. Kapoor, Mark B. Josephs |
| 2004 | Defect tolerant probabilistic design paradigm for nanotechnologies. Margarida F. Jacome, Chen He, Gustavo de Veciana, Stephen Bijansky |
| 2004 | Defining coverage views to improve functional coverage analysis. Sigal Asaf, Eitan Marcus, Avi Ziv |
| 2004 | Design and implementation of the POWER5 microprocessor. Joachim G. Clabes, Joshua Friedrich, Mark Sweet, Jack DiLullo, Sam G. Chu, Donald W. Plass, James Dawson, Paul Muench, Larry Powell, Michael S. Floyd, Balaram Sinharoy, Mike Lee, Michael Goulet, James Wagoner, Nicole S. Schwartz, Stephen L. Runyon, Gary Gorman, Phillip J. Restle, Ronald N. Kalla, Joseph McGill, J. Steve Dodson |
| 2004 | Design and reliability challenges in nanometer technologies. Shekhar Borkar, Tanay Karnik, Vivek De |
| 2004 | Design automation for mask programmable fabrics. Narendra V. Shenoy, Jamil Kawa, Raul Camposano |
| 2004 | Design optimizations for microprocessors at low temperature. Arman Vassighi, Ali Keshavarzi, Siva G. Narendra, Gerhard Schrom, Yibin Ye, Seri Lee, Greg Chrysler, Manoj Sachdev, Vivek De |
| 2004 | Design tools for BioMEMS. Tom Korsmeyer, Jun Zeng, Ken Greiner |
| 2004 | Designing robust microarchitectures. Todd M. Austin |
| 2004 | Divide-and-concatenate: an architecture level optimization technique for universal hash functions. Bo Yang, Ramesh Karri, David A. McGrew |
| 2004 | DyAD: smart routing for networks-on-chip. Jingcao Hu, Radu Marculescu |
| 2004 | Dynamic FPGA routing for just-in-time FPGA compilation. Roman L. Lysecky, Frank Vahid, Sheldon X.-D. Tan |
| 2004 | EDA: this is serious business. Robert Dahlberg, Kurt Keutzer, R. Bingham, Aart J. de Geus, Walden C. Rhines |
| 2004 | Efficient equivalence checking with partitions and hierarchical cut-points. Demos Anastasakis, Lisa McIlwain, Slawomir Pilarski |
| 2004 | Efficient on-line testing of FPGAs with provable diagnosabilities. Vinay Verma, Shantanu Dutt, Vishal Suthar |
| 2004 | Efficient power/ground network analysis for power integrity-driven design methodology. Su-Wei Wu, Yao-Wen Chang |
| 2004 | Efficient timing closure without timing driven placement and routing. Miodrag Vujkovic, David Wadkins, William Swartz, Carl Sechen |
| 2004 | Enabling energy efficiency in via-patterned gate array devices. R. Reed Taylor, Herman Schmit |
| 2004 | Energy characterization of filesystems for diskless embedded systems. Siddharth Choudhuri, Rabi N. Mahapatra |
| 2004 | Energy-aware deterministic fault tolerance in distributed real-time embedded systems. Ying Zhang, Robert P. Dick, Krishnendu Chakrabarty |
| 2004 | Exploiting input information in a model reduction algorithm for massively coupled parasitic networks. Luís Miguel Silveira, Joel R. Phillips |
| 2004 | Exploiting structure in symmetry detection for CNF. Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov |
| 2004 | Extending the transaction level modeling approach for fast communication architecture exploration. Sudeep Pasricha, Nikil D. Dutt, Mohamed Ben-Romdhane |
| 2004 | FITS: framework-based instruction-set tuning synthesis for embedded application specific processors. Allen C. Cheng, Gary S. Tyson, Trevor N. Mudge |
| 2004 | FPGA power reduction using configurable dual-Vdd. Fei Li, Yan Lin, Lei He |
| 2004 | Fast and accurate parasitic capacitance models for layout-aware. Anuradha Agarwal, Hemanth Sampath, Veena Yelamanchili, Ranga Vemuri |
| 2004 | Fast and flexible buffer trees that navigate the physical layout environment. Charles J. Alpert, Milos Hrkic, Jiang Hu, Stephen T. Quay |
| 2004 | Fast hazard detection in combinational circuits. Cheoljoo Jeong, Steven M. Nowick |
| 2004 | Fast statistical timing analysis handling arbitrary delay correlations. Michael Orshansky, Arnab Bandyopadhyay |
| 2004 | First-order incremental block-based statistical timing analysis. Chandramouli Visweswariah, K. Ravindran, Kerim Kalafala, Steven G. Walker, S. Narayan |
| 2004 | Flexible architectures for engineering successful SOCs. Chris Rowen, Steve Leibson |
| 2004 | Floorplanning optimization with trajectory piecewise-linear model for pipelined interconnects. Changbo Long, Lucanus J. Simonson, Weiping Liao, Lei He |
| 2004 | Forest vs. trees: where's the slack? Paul K. Rodman |
| 2004 | Heterogeneous MP-SoC: the solution to energy-efficient signal processing. Tim Kogel, Heinrich Meyr |
| 2004 | Hierarchical application aware error detection and recovery. Ravishankar K. Iyer |
| 2004 | Hierarchical approach to exact symbolic analysis of large analog circuits. Sheldon X.-D. Tan, Weikun Guo, Zhenyu Qi |
| 2004 | High level cache simulation for heterogeneous multiprocessors. Joshua J. Pieper, Alain Mellan, JoAnn M. Paul, Donald E. Thomas, Faraydon Karim |
| 2004 | High-level simulation of substrate noise in high-ohmic substrates with interconnect and supply effects. Geert Van der Plas, Mustafa Badaroglu, Gerd Vandersteen, Petr Dobrovolný, Piet Wambacq, Stéphane Donnay, Georges G. E. Gielen, Hugo De Man |
| 2004 | Implicit enumeration of structural changes in circuit optimization. Victor N. Kravets, Prabhakar Kudva |
| 2004 | Implicit pseudo boolean enumeration algorithms for input vector control. Kaviraj Chopra, Sarma B. K. Vrudhula |
| 2004 | Industrial experience with test generation languages for processor verification. Michael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov |
| 2004 | Introduction of local memory elements in instruction set extensions. Partha Biswas, Vinay Choudhary, Kubilay Atasu, Laura Pozzi, Paolo Ienne, Nikil D. Dutt |
| 2004 | Is statistical timing statistically significant? Richard Goldman, Kurt Keutzer, Clive Bittlestone, Ahsan Bootehsaz, Shekhar Y. Borkar, E. Chen, Louis Scheffer, Chandramouli Visweswariah |
| 2004 | LODS: locality-oriented dynamic scheduling for on-chip multiprocessors. Mahmut T. Kandemir |
| 2004 | Large-scale full-wave simulation. Sharad Kapur, David E. Long |
| 2004 | Large-scale placement by grid-warping. Zhong Xiu, James D. Z. Ma, Suzanne M. Fowler, Rob A. Rutenbar |
| 2004 | Leakage aware dynamic voltage scaling for real-time embedded systems. Ravindra Jejurikar, Cristiano Pereira, Rajesh K. Gupta |
| 2004 | Leakage in nano-scale technologies: mechanisms, impact and design considerations. Amit Agarwal, Chris H. Kim, Saibal Mukhopadhyay, Kaushik Roy |
| 2004 | Leakage-and crosstalk-aware bus encoding for total power reduction. Harmander Deogun, Rajeev R. Rao, Dennis Sylvester, David T. Blaauw |
| 2004 | Low voltage swing logic circuits for a Pentium 4 processor integer core. Daniel J. Deleganes, Micah Barany, George L. Geannopoulos, Kurt Kreitzer, Anant P. Singh, Sapumal B. Wijeratne |
| 2004 | Mapping a domain specific language to a platform FPGA. Chidamber Kulkarni, Gordon J. Brebner, Graham Schelle |
| 2004 | Memory access scheduling and binding considering energy minimization in multi-bank memory systems. Chun-Gi Lyuh, Taewhan Kim |
| 2004 | Modeling repeaters explicitly within analytical placement. Prashant Saxena, Bill Halpin |
| 2004 | Modular scheduling of guarded atomic actions. Daniel L. Rosenband, Arvind |
| 2004 | Multi-profile based code compression. Eduardo Braulio Wanderley Netto, Rodolfo Azevedo, Paulo Centoducatte, Guido Araujo |
| 2004 | Multi-resource aware partitioning algorithms for FPGAs with heterogeneous resources. Navaratnasothie Selvakkumaran, Abhishek Ranjan, Salil Raje, George Karypis |
| 2004 | Multiple constant multiplication by time-multiplexed mapping of addition chains. Peter Tummeltshammer, James C. Hoe, Markus Püschel |
| 2004 | Noise characterization of static CMOS gates. Rouwaida Kanj, Timothy Lehner, Bhavna Agrawal, Elyse Rosenbaum |
| 2004 | Nomadic platform approach for wireless mobile multimedia. Mark Hopkins |
| 2004 | Novel sizing algorithm for yield improvement under process variation in nanometer technology. Seung Hoon Choi, Bipul Chandra Paul, Kaushik Roy |
| 2004 | ORACLE: optimization with recourse of analog circuits including layout extraction. Yang Xu, Lawrence T. Pileggi, Stephen P. Boyd |
| 2004 | Off-chip latency-driven dynamic voltage and frequency scaling for an MPEG decoding. Kihwan Choi, Ramakrishna Soma, Massoud Pedram |
| 2004 | On designing via-configurable cell blocks for regular fabrics. Yajun Ran, Malgorzata Marek-Sadowska |
| 2004 | On path-based learning and its applications in delay test and diagnosis. Li-C. Wang, T. M. Mak, Kwang-Ting Cheng, Magdy S. Abadir |
| 2004 | On test generation for transition faults with minimized peak power dissipation. Wei Li, Sudhakar M. Reddy, Irith Pomeranz |
| 2004 | On the generation of scan-based test sets with reachable states for testing under functional operation conditions. Irith Pomeranz |
| 2004 | Operating-system controlled network on chip. Vincent Nollet, Théodore Marescaux, Diederik Verkest, Jean-Yves Mignolet, Serge Vernalde |
| 2004 | Optical proximity correction (OPC): friendly maze routing. Li-Da Huang, Martin D. F. Wong |
| 2004 | Optimal placement of power supply pads and pins. Min Zhao, Yuhong Fu, Vladimir Zolotov, Savithri Sundareswaran, Rajendran Panda |
| 2004 | Parametric yield estimation considering leakage variability. Rajeev R. Rao, Anirudh Devgan, David T. Blaauw, Dennis Sylvester |
| 2004 | Passivity-preserving model reduction via a computationally efficient project-and-balance scheme. Ngai Wong, Venkataramanan Balakrishnan, Cheng-Kok Koh |
| 2004 | Performance analysis of different arbitration algorithms of the AMBA AHB bus. Massimo Conti, Marco Caldari, Giovanni B. Vece, Simone Orcioni, Claudio Turchetti |
| 2004 | Phase correct routing for alternating phase shift masks. Kevin W. McCullen |
| 2004 | Placement feedback: a concept and method for better min-cut placements. Andrew B. Kahng, Sherief Reda |
| 2004 | Platform based design: does it answer the entire SoC challenge? Gary Smith |
| 2004 | Post-layout logic optimization of domino circuits. Aiqun Cao, Cheng-Kok Koh |
| 2004 | Power minimization using simultaneous gate sizing, dual-Vdd and dual-Vth assignment. Ashish Srivastava, Dennis Sylvester, David T. Blaauw |
| 2004 | Practical repeater insertion for low power: what repeater library do we need? Xun Liu, Yuantao Peng, Marios C. Papaefthymiou |
| 2004 | Pre-layout wire length and congestion estimation. Qinghua Liu, Malgorzata Marek-Sadowska |
| 2004 | Probabilistic regression suites for functional verification. Shai Fine, Shmuel Ur, Avi Ziv |
| 2004 | Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004 Sharad Malik, Limor Fix, Andrew B. Kahng |
| 2004 | Profile-based optimal intra-task voltage scheduling for hard real-time applications. Jaewon Seo, Taewhan Kim, Ki-Seok Chung |
| 2004 | Profile-guided microarchitectural floorplanning for deep submicron processor design. Mongkol Ekpanyapong, Jacob R. Minz, Thaisiri Watewai, Hsien-Hsin S. Lee, Sung Kyu Lim |
| 2004 | Proxy-based task partitioning of watermarking algorithms for reducing energy consumption in mobile devices. Arun Kejariwal, Sumit Gupta, Alexandru Nicolau, Nikil D. Dutt, Rajesh Gupta |
| 2004 | Quadratic placement using an improved timing model. Bernd Obermeier, Frank M. Johannes |
| 2004 | Quantum logic synthesis by symbolic reachability analysis. William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski |
| 2004 | Quantum-Dot Cellular Automata (QCA) circuit partitioning: problem modeling and solutions. Dominic A. Antonelli, Danny Z. Chen, Timothy J. Dysart, Xiaobo Sharon Hu, Andrew B. Kahng, Peter M. Kogge, Richard C. Murphy, Michael T. Niemier |
| 2004 | Re-synthesis for delay variation tolerance. Shih-Chieh Chang, Cheng-Tao Hsieh, Kai-Chiang Wu |
| 2004 | Reducing clock skew variability via cross links. Anand Rajaram, Jiang Hu, Rabi N. Mahapatra |
| 2004 | Refining the SAT decision ordering for bounded model checking. Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi |
| 2004 | Reliability-driven layout decompaction for electromigration failure avoidance in complex mixed-signal IC designs. Goeran Jerke, Jens Lienig, Jürgen Scheible |
| 2004 | Reliable communication in systems on chips. Giovanni De Micheli |
| 2004 | Requirement-based design methods for adaptive communications links. Juan Antonio Carballo, Kevin J. Nowka, Seung-Moon Yoo, Ivan Vo, Clay Cranford, V. Robert Norman |
| 2004 | Retargetable profiling for rapid, early system-level design space exploration. Lukai Cai, Andreas Gerstlauer, Daniel Gajski |
| 2004 | Robust, stable time-domain methods for solving MPDEs of fast/slow systems. Ting Mei, Jaijeet S. Roychowdhury, Todd S. Coffey, Scott A. Hutchinson, David M. Day |
| 2004 | Routing architecture exploration for regular fabrics. V. Kheterpal, Andrzej J. Strojwas, Lawrence T. Pileggi |
| 2004 | STAC: statistical timing analysis with correlation. Jiayong Le, Xin Li, Lawrence T. Pileggi |
| 2004 | SUNMAP: a tool for automatic topology selection and generation for NoCs. Srinivasan Murali, Giovanni De Micheli |
| 2004 | Scalable selector architecture for x-tolerant deterministic BIST. Peter Wohl, John A. Waicukauski, Sanjay Patel |
| 2004 | Scan-BIST based on transition probabilities. Irith Pomeranz |
| 2004 | Security as a new dimension in embedded system design. Srivaths Ravi, Paul C. Kocher, Ruby B. Lee, Gary McGraw, Anand Raghunathan |
| 2004 | Selective gate-length biasing for cost-effective runtime leakage control. Puneet Gupta, Andrew B. Kahng, Puneet Sharma, Dennis Sylvester |
| 2004 | Simultaneous optimization of supply and threshold voltages for low-power and high-performance circuits in the leakage dominant era. Anirban Basu, Sheng-Chih Lin, Vineet Wason, Amit Mehrotra, Kaustav Banerjee |
| 2004 | Sparse transformations and preconditioners for hierarchical 3-D capacitance extraction with multiple dielectrics. Shu Yan, Vivek Sarin, Weiping Shi |
| 2004 | Specific scheduling support to minimize the reconfiguration overhead of dynamically reconfigurable hardware. Javier Resano, Daniel Mozos |
| 2004 | Static timing analysis using backward signal propagation. Dongwoo Lee, Vladimir Zolotov, David T. Blaauw |
| 2004 | Statistical gate delay model considering multiple input switching. Aseem Agarwal, Florentin Dartu, David T. Blaauw |
| 2004 | Statistical optimization of leakage power considering process variations using dual-Vth and sizing. Ashish Srivastava, Dennis Sylvester, David T. Blaauw |
| 2004 | Statistical timing analysis based on a timing yield model. Farid N. Najm, Noel Menezes |
| 2004 | Statistical timing analysis in sequential circuit for on-chip global interconnect pipelining. Lizheng Zhang, Yuhen Hu, Charlie Chung-Ping Chen |
| 2004 | Symmetry detection for incompletely specified functions. Kuo-Hua Wang, Jia-Hung Chen |
| 2004 | Synthesizing interconnect-efficient low density parity check codes. Marghoob Mohiyuddin, Amit Prakash, Adnan Aziz, Wayne H. Wolf |
| 2004 | System design for DSP applications in transaction level modeling paradigm. Abhijit K. Deb, Axel Jantsch, Johnny Öberg |
| 2004 | System level design: six success stories in search of an industry. Francine Bacchini, Pierre G. Paulin, Reinaldo A. Bergamaschi, Raj Pawate, Arie Bernstein, Ramesh Chandra, Mohamed Ben-Romdhane |
| 2004 | System level leakage reduction considering the interdependence of temperature and leakage. Lei He, Weiping Liao, Mircea R. Stan |
| 2004 | Systematic functional coverage metric synthesis from hierarchical temporal event relation graph. Young-Su Kwon, Young-Il Kim, Chong-Min Kyung |
| 2004 | The best of both worlds: the efficient asynchronous implementation of synchronous specifications. Abhijit Davare, Kelvin Lwin, Alex Kondratyev, Alberto L. Sangiovanni-Vincentelli |
| 2004 | The future of multiprocessor systems-on-chips. Wayne H. Wolf |
| 2004 | Theoretical and practical limits of dynamic voltage scaling. Bo Zhai, David T. Blaauw, Dennis Sylvester, Krisztián Flautner |
| 2004 | Timing closure for low-FO4 microprocessor design. David S. Kung |
| 2004 | Timing closure through a globally synchronous, timing partitioned design methodology. Anders Edman, Christer Svensson |
| 2004 | Toward a methodology for manufacturability-driven design rule exploration. Luigi Capodieci, Puneet Gupta, Andrew B. Kahng, Dennis Sylvester, Jie Yang |
| 2004 | Toward a systematic-variation aware timing methodology. Puneet Gupta, Fook-Luen Heng |
| 2004 | Tradeoffs between date oxide leakage and delay for dual T Anup Kumar Sultania, Dennis Sylvester, Sachin S. Sapatnekar |
| 2004 | Trends in the use of re-configurable platforms. Max Baron |
| 2004 | Variational delay metrics for interconnect timing analysis. Kanak Agarwal, Dennis Sylvester, David T. Blaauw, Frank Liu, Sani R. Nassif, Sarma B. K. Vrudhula |
| 2004 | Verification: what works and what doesn't. Francine Bacchini, Robert F. Damiano, Bob Bentley, Kurt Baty, Kevin Normoyle, Makoto Ishii, Einat Yogev |
| 2004 | Verifying a gigabit ethernet switch using SMV. Yuan Lu, Mike Jorda |
| 2004 | Virtual memory window for application-specific reconfigurable coprocessors. Miljan Vuletic, Laura Pozzi, Paolo Ienne |
| 2004 | Were the good old days all that good?: EDA then and now. Shishpal Rawat, William H. Joyner Jr., John A. Darringer, Daniel Gajski, Pat O. Pistilli, Hugo De Man, Carl Harris, James Solomon |
| 2004 | What happened to ASIC?: Go (recon)figure? Nitin Deo, Behrooz Zahiri, Ivo Bolsens, Jason Cong, Bhusan Gupta, Philip Lopresti, Christopher B. Reynolds, Chris Rowen, Ray Simar |
| 2004 | When IC yield missed the target, who is at fault? Andreas J. Strojwas, Michael Campbell, Vassilios Gerousis, Jim Hogan, John Kibarian, Marc Levitt, Walter Ng, Dipu Pramanik, Mark Templeton |
| 2004 | Will Moore's Law rule in the land of analog? Rob A. Rutenbar, Anthony R. Bonaccio, Teresa H. Meng, Ernesto Perea, Robert Pitts, Charles G. Sodini, Jim Wieser |
| 2004 | Worst-case circuit delay taking into account power supply variations. Dionysios Kouroussis, Rubil Ahmadi, Farid N. Najm |