| 2005 | 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA |
| 2005 | A Dual Dielectric Approach for Performance Aware Gate Tunneling Reduction in Combinational Circuits. Valmiki Mukherjee, Saraju P. Mohanty, Elias Kougianos |
| 2005 | A Dual-Vt Layout Approach for Statistical Leakage Variability Minimization in Nanometer CMOS. Maryam Ashouei, Abhijit Chatterjee, Adit D. Singh, Vivek De |
| 2005 | A Feasibility Study of Subthreshold SRAM Across Technology Generations. Arijit Raychowdhury, Saibal Mukhopadhyay, Kaushik Roy |
| 2005 | A Flexible Design Methodology for Analog Test Wrappers in Mixed-Signal SOCs. Anuja Sehgal, Sule Ozev, Krishnendu Chakrabarty |
| 2005 | A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management. Shrirang M. Yardi, Karthik Channakeshava, Michael S. Hsiao, Thomas L. Martin, Dong S. Ha |
| 2005 | A High Performance Sub-Pipelined Architecture for AES. Hua Li, Jianzhou Li |
| 2005 | A Low-Overhead Virtual Rail Technique for SRAM Leakage Power Reduction. Jente B. Kuang, Hung C. Ngo, Kevin J. Nowka, Jethro C. Law, Rajiv V. Joshi |
| 2005 | A New Pointer-based Instruction Queue Design and Its Power-Performance Evaluation. Marco Antonio Ramírez, Adrián Cristal, Mateo Valero, Alexander V. Veidenbaum, Luis Villa |
| 2005 | A Novel Method of Improving Transition Delay Fault Coverage Using Multiple Scan Enable Signals. Narendra Devta-Prasanna, Arun Gunda, P. Krishnamurthy, Sudhakar M. Reddy, Irith Pomeranz |
| 2005 | A Skewed Repeater Bus Architecture for On-Chip Energy Reduction in Microprocessors. Muhammad M. Khellah, Maged Ghoneima, James W. Tschanz, Yibin Ye, Nasser A. Kurd, Javed Barkatullah, Srikanth Nimmagadda, Yehea I. Ismail |
| 2005 | A Soft Error Monitor Using Switching Current Detection. Patrick Ndai, Amit Agarwal, Qikai Chen, Kaushik Roy |
| 2005 | A Thermally-Aware Methodology for Design-Specific Optimization of Supply and Threshold Voltages in Nanometer Scale ICs. Sheng-Chih Lin, Navin Srivastava, Kaustav Banerjee |
| 2005 | A Waveform Independent Gate Model for Accurate Timing Analysis. Peng Li, Emrah Acar |
| 2005 | ALLCN: An Automatic Logic-to-Layout Tool for Carbon Nanotube Based Nanotechnology. Wei Zhang, Niraj K. Jha |
| 2005 | Accurate Diagnosis of Multiple Faults. Yung-Chieh Lin, Feng Lu, Kwang-Ting Cheng |
| 2005 | Additional Reviewers. |
| 2005 | Algorithmic and Architectural Design Methodology for Particle Filters in Hardware. Aswin C. Sankaranarayanan, Rama Chellappa, Ankur Srivastava |
| 2005 | An Improved Approach for AlternativeWires Identi.cation. Yung-Chih Chen, Chun-Yao Wang |
| 2005 | Analytical Model for Sensor Placement on Microprocessors. Kyeong-Jae Lee, Kevin Skadron, Wei Huang |
| 2005 | Application-Specific Power-Aware Workload Allocation for Voltage Scalable MPSoC Platforms. Martino Ruggiero, Andrea Acquaviva, Davide Bertozzi, Luca Benini |
| 2005 | Applying Resource Sharing Algorithms to ADL-driven Automatic ASIP Implementation. Ernst Martin Witte, Anupam Chattopadhyay, Oliver Schliebusch, David Kammler |
| 2005 | Architectural Considerations for Energy Efficiency. Hoang Q. Dao, Bart R. Zeydel, Vojin G. Oklobdzija |
| 2005 | Architectural-Level Fault Tolerant Computation in Nanoelectronic Processors. Wenjing Rao, Alex Orailoglu, Ramesh Karri |
| 2005 | Are Today's Verification Tools Able to Handle Current Design Challenges? Rich Faris, Ken Larsen, Harry Foster, Stuart Swan |
| 2005 | Assertion Checking of Behavioral Descriptions with Non-linear Solver. Íñigo Ugarte, Pablo Sanchez |
| 2005 | Asynchronous IC Interconnect Network Design and Implementation Using a Standard ASIC Flow. Bradley R. Quinton, Mark R. Greenstreet, Steven J. E. Wilton |
| 2005 | At-Speed Logic BIST Architecture for Multi-Clock Designs. Laung-Terng Wang, Xiaoqing Wen, Po-Ching Hsu, Shianling Wu, Jonhson Guo |
| 2005 | Attacking Control Overhead to Improve Synthesised Asynchronous Circuit Performance. Luis A. Plana, Sam Taylor, Doug A. Edwards |
| 2005 | Automatic Synthesis of Composable Sequential Quantum Boolean Circuits. Li-Kai Chang, Fu-Chiung Cheng |
| 2005 | Benefits and Costs of Power-Gating Technique. Hailin Jiang, Malgorzata Marek-Sadowska, Sani R. Nassif |
| 2005 | Broadband Impedance Matching for Inductive Interconnect in VLSI Packages. Brock J. LaMeres, Sunil P. Khatri |
| 2005 | Case Study of ATPG-based Bounded Model Checking: Verifying USB2.0 IP Core. Qiang Qiang, Chia-Lun Chang, Daniel G. Saab, Jacob A. Abraham |
| 2005 | Challenges in the Formal Verification of Complete State-of-the-Art Processors. Nathaniel Ayewah, Nikhil Kikkeri, Peter-Michael Seidel |
| 2005 | ChiYun Compact: A Novel Test Compaction Technique for Responses with Unknown Values. Mango Chia-Tso Chao, Seongmoon Wang, Srimat T. Chakradhar, Kwang-Ting Cheng |
| 2005 | Concurrent Core Test for Test Cost Reduction Using Merged Test Set and Scan Tree. Gang Zeng, Hideo Ito |
| 2005 | Copyright. |
| 2005 | Correlation between Detailed and Simplified Simulations in Studying Multiprocessor Architecture. Khaled Z. Ibrahim |
| 2005 | Counter-Based Cache Replacement Algorithms. Mazen Kharbutli, Yan Solihin |
| 2005 | Dealing with I/O Devices in the Context of Pervasive System Verification. Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul |
| 2005 | Deployment of Better Than Worst-Case Design: Solutions and Needs. Todd M. Austin, Valeria Bertacco |
| 2005 | Efficient Implementation Selection via Time Budgeting Complexity Analysis and Leakage Optimization Case Study. Soheil Ghiasi |
| 2005 | Efficient Rectilinear Steiner Tree Construction with Rectilinear Blockages. Zion Cien Shen, Chris C. N. Chu, Ying-Meng Li |
| 2005 | Efficient Thermal Simulation for Run-Time Temperature Tracking and Management. Hang Li, Pu Liu, Zhenyu Qi, Lingling Jin, Wei Wu, Sheldon X.-D. Tan, Jun Yang |
| 2005 | Energy and Performance Analysis of Mapping Parallel Multithreaded Tasks for An On-Chip Multi-Processor System. Bo-Cheng Charles Lai, Patrick Schaumont, Wei Qin, Ingrid Verbauwhede |
| 2005 | Energy-Efficient Color Approximation for Digital LCD Interfaces. Andi Nourrachmat, Sabino Salerno, Enrico Macii, Massimo Poncino |
| 2005 | Enhanced Dual-Transition Probabilistic Power Estimation with Selective Supergate Analysis. Fei Hu, Vishwani D. Agrawal |
| 2005 | Error-tolerance memory Microarchitecture via Dynamic Multithreading. Lei Wang |
| 2005 | Exact lower bound for the number of switches in series to implement a combinational logic cell. Felipe Ribeiro Schneider, Renato P. Ribas, Sachin S. Sapatnekar, André Inácio Reis |
| 2005 | Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size Arithmetic Datapaths. Namrata Shekhar, Priyank Kalla, Sivaram Gopalakrishnan, Florian Enescu |
| 2005 | Extended Forward Implications and Dual Recurrence Relations to Identify Sequentially Untestable Faults. Manan Syal, Rajat Arora, Michael S. Hsiao |
| 2005 | FRAM Memory Technology - Advantages for Low Power, Fast Write, High Endurance Applications. Rick Bailey, Glen Fox, Jarrod Eliason, Marty Depner, Daesig Kim, Edwin Jabillo, John Groat, John Walbert, Scott R. Summerfelt, K. R. Udayakumar, John Rodriquez, Keith Remack, K. Boku, John Gertas |
| 2005 | Fast Hierarchical Process Variability Analysis and Parametric Test Development for Analog/RF Circuits. Fang Liu, Sule Ozev |
| 2005 | Fast Minimum and Maximum Selection. Anatoly I. Grushin |
| 2005 | Fault Tolerant Asynchronous Adder through Dynamic Self-reconfiguration. Song Peng, Rajit Manohar |
| 2005 | File System Interfaces for Embedded Software Development. Bhanu Pisupati, Geoffrey Brown |
| 2005 | Formal Verification and its Impact on the Snooping versus Directory Protocol Debate. Milo M. K. Martin |
| 2005 | Formal Verification of Parametric Multiplicative Division Implementations. Nikhil Kikkeri, Peter-Michael Seidel |
| 2005 | Frame Buffer Energy Optimization by Pixel Prediction. Kimish Patel, Enrico Macii, Massimo Poncino |
| 2005 | H-SIMD Machine: Configurable Parallel Computing for Matrix Multiplication. Xizhen Xu, Sotirios G. Ziavras |
| 2005 | Hardware Ef.cient LBISTWith Complementary Weights. Liyang Lai, Janak H. Patel, Thomas Rinderknecht, Wu-Tung Cheng |
| 2005 | Hardware Support for Bulk Data Movement in Server Platforms. Li Zhao, Ravi R. Iyer, Srihari Makineni, Laxmi N. Bhuyan, Donald Newell |
| 2005 | Implementing Caches in a 3D Technology for High Performance Processors. Kiran Puttaswamy, Gabriel H. Loh |
| 2005 | Incorporating Ef.cient Assertion Checkers into Hardware Emulation. Marc Boule, Zeljko Zilic |
| 2005 | LCD Display Energy Reduction by User Monitoring. Vasily G. Moshnyaga, Eiji Morikawa |
| 2005 | Latency Lags Bandwidth. David A. Patterson |
| 2005 | Layout-Aware RF Circuit Synthesis Driven by Worst Case Parasitic Corners. Anuradha Agarwal, Ranga Vemuri |
| 2005 | Load-Store Queue Management: an Energy-Efficient Design Based on a State-Filtering Mechanism.. Fernando Castro, Daniel Chaver, Luis Piñuel, Manuel Prieto, Francisco Tirado, Michael C. Huang |
| 2005 | Low- and Ultra Low-Power Arithmetic Units: Design and Comparison. Milena Vratonjic, Bart R. Zeydel, Vojin G. Oklobdzija |
| 2005 | Low-Power Design of 90-nm SuperH Processor Core. Tetsuya Yamada, Masahide Abe, Yusuke Nitta, Kenji Ogura, Manabu Kusaoke, Makoto Ishikawa, Motokazu Ozawa, Kiwamu Takada, Fumio Arakawa, Osamu Nishii, Toshihiro Hattori |
| 2005 | Memory Bank Predictors. Stefan Bieschewski, Joan-Manuel Parcerisa, Antonio González |
| 2005 | Methods for Modeling Resource Contention on Simultaneous Multithreading Processors. Tipp Moseley, Dirk Grunwald, Joshua L. Kihm, Daniel A. Connors |
| 2005 | Minimum Energy Near-threshold Network of PLA based Design. Nikhil Jayakumar, Sunil P. Khatri |
| 2005 | Mitigating Soft Errors in Highly Associative Cache with CAM-based Tag. Luong Dinh Hung, Masahiro Goshima, Shuichi Sakai |
| 2005 | Model Checking C Programs Using F-SOFT. Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang |
| 2005 | Monitoring Temperature in FPGA based SoCs. Sivakumar Velusamy, Wei Huang, John C. Lach, Mircea R. Stan, Kevin Skadron |
| 2005 | Near-memory Caching for Improved Energy Consumption. Nevine AbouGhazaleh, Bruce R. Childers, Daniel Mossé, Rami G. Melhem |
| 2005 | Novel Low-Overhead Operand Isolation Techniques for Low-Power Datapath Synthesis. Nilanjan Banerjee, Arijit Raychowdhury, Swarup Bhunia, Hamid Mahmoodi-Meimand, Kaushik Roy |
| 2005 | Optimizing the Thermal Behavior of Subarrayed Data Caches. Johnsy K. John, Jie S. Hu, Sotirios G. Ziavras |
| 2005 | Organizing Committee. |
| 2005 | Partially-Parallel LDPC Decoder Based on High-Efficiency Message-Passing Algorithm. Kazunori Shimizu, Tatsuyuki Ishikawa, Takeshi Ikenaga, Satoshi Goto, Nozomu Togawa |
| 2005 | Physical Synthesis of Energy-Efficient Networks-on-Chip Through Topology Exploration and Wire Style Optimizationz. Yuanfang Hu, Hongyu Chen, Yi Zhu, Andrew A. Chien, Chung-Kuan Cheng |
| 2005 | Power-Efficient Wakeup Tag Broadcast. Joseph J. Sharkey, Kanad Ghose, Dmitry V. Ponomarev, Oguz Ergin |
| 2005 | Pre-layout Physical Connectivity Prediction with Application in Clustering-Based Placement. Qinghua Liu, Malgorzata Marek-Sadowska |
| 2005 | Program Committee. |
| 2005 | Quality Transition Fault Tests Suitable for Small Delay Defects. Mahilchi Milir Vaseekar Kumar, Spyros Tragoudas |
| 2005 | Quick Scan Chain Diagnosis Using Signal Profiling. Jheng-Syun Yang, Shi-Yu Huang |
| 2005 | RECAST: Boosting Tag Line Buffer Coverage in Low-Power High-Level Caches "for Free". Won-Ho Park, Andreas Moshovos, Babak Falsafi |
| 2005 | Reconsidering CEGAR: Learning Good Abstractions without Refinement. Anubhav Gupta, Edmund M. Clarke |
| 2005 | Reducing the Energy of Speculative Instruction Schedulers. Yongxiang Liu, Gokhan Memik, Glenn Reinman |
| 2005 | Reducing the Latency and Area Cost of Core Swapping through Shared Helper Engines. Anahita Shayesteh, Eren Kursun, Timothy Sherwood, Suleyman Sair, Glenn Reinman |
| 2005 | Restrictive Compression Techniques to Increase Level 1 Cache Capacity. Prateek Pujara, Aneesh Aggarwal |
| 2005 | Ripple-Precharge TCAM A Low-Power Solution for Network Search Engines. Deepak S. Vijayasarathi, Mehrdad Nourani, Mohammad J. Akhbarizadeh, Poras T. Balsara |
| 2005 | Robust Design of High Fan-In/Out Subthreshold Circuits. Jinhui Chen, Lawrence T. Clark, Yu Cao |
| 2005 | SST: Symbolic Subordinate Threading. Rania H. Mameesh, Manoj Franklin |
| 2005 | Simulating Commercial Java Throughput Workloads: A Case Study. Yue Luo, Lizy Kurian John |
| 2005 | State Set Management for SAT-based Unbounded Model Checking. Kameshwar Chandrasekar, Michael S. Hsiao |
| 2005 | Statistical Analysis Driven Synthesis of Asynchronous Systems. Koji Ohashi, Mineo Kaneko |
| 2005 | Supply Voltage Degradation Aware Analytical Placement. Andrew B. Kahng, Bao Liu, Qinke Wang |
| 2005 | Surfliner: A Distortionless Electrical Signaling Scheme for Speed of Light On-Chip Communications. Hongyu Chen, Rui Shi, Chung-Kuan Cheng, David M. Harris |
| 2005 | Temperature-Aware Voltage Islands Architecting in System-on-Chip Design. Wei-Lun Hung, Greg M. Link, Yuan Xie, Narayanan Vijaykrishnan, Nagu R. Dhanwada, John Conner |
| 2005 | Temperature-Dependent Optimization of Cache Leakage Power Dissipation. Peng Li, Yangdong Deng, Lawrence T. Pileggi |
| 2005 | Temperature-Sensitive Loop Parallelization for Chip Multiprocessors. Sri Hari Krishna Narayanan, Guilin Chen, Mahmut T. Kandemir, Yuan Xie |
| 2005 | Temporal Decomposition for Logic Optimization. Nathan Kitchen, Andreas Kuehlmann |
| 2005 | The TM3270 Media-Processor Data Cache. Jan-Willem van de Waerdt, Stamatis Vassiliadis, Jean-Paul van Itegem, Hans Van Antwerpen |
| 2005 | Three-Dimensional Cache Design Exploration Using 3DCacti. Yuh-Fang Tsai, Yuan Xie, Narayanan Vijaykrishnan, Mary Jane Irwin |
| 2005 | Title Page. |
| 2005 | Towards finding path delay fault tests with high test efficiency using ZBDDs. Maria K. Michael, Kyriakos Christou, Spyros Tragoudas |
| 2005 | Towards the Formal Verification of Lower System Layers in Automotive Systems. Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul |
| 2005 | Using Scratchpad to Exploit Object Locality in Java. Carl S. Lebsack, J. Morris Chang |
| 2005 | Utilizing Horizontal and Vertical Parallelism with a No-Instruction-Set Compiler for Custom Datapaths. Mehrdad Reshadi, Bita Gorjiara, Daniel D. Gajski |
| 2005 | VALVE: Variable Length Value Encoder for Off-Chip Data Buses.. Dinesh C. Suresh, Banit Agrawal, Walid A. Najjar, Jun Yang |
| 2005 | VGTA: Variation Aware Gate Timing Analysis. Soroush Abbaspour, Hanif Fatemi, Massoud Pedram |
| 2005 | Variability-Driven Buffer Insertion Considering Correlations. Azadeh Davoodi, Ankur Srivastava |
| 2005 | Welcome Message. |
| 2005 | X-Routing using Two Manhattan Route Instances. Seraj Ahmad, Nikhil Jayakumar, Vijay Balasubramanian, Edward Hursey, Sunil P. Khatri, Rabi N. Mahapatra |
| 2005 | Yesterday and Tomorrow: A View on Progress in Computer Design. Michael J. Flynn |