ICCD 2005:
San Jose,
CA,
USA
23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA.
IEEE Computer Society 2005, ISBN 0-7695-2451-6 BibTeX
Cover
Introduction
Keynote Presentation
1.1 Power and Thermal Consideration in Processor Design (I)
- Peng Li, Yangdong Deng, Lawrence T. Pileggi:
Temperature-Dependent Optimization of Cache Leakage Power Dissipation.
7-12
Electronic Edition (link) BibTeX
- Hoang Q. Dao, Bart R. Zeydel, Vojin G. Oklobdzija:
Architectural Considerations for Energy Efficiency.
13-16
Electronic Edition (link) BibTeX
- Anahita Shayesteh, Eren Kursun, Timothy Sherwood, Suleyman Sair, Glenn Reinman:
Reducing the Latency and Area Cost of Core Swapping through Shared Helper Engines.
17-23
Electronic Edition (link) BibTeX
- Kyeong-Jae Lee, Kevin Skadron, Wei Huang:
Analytical Model for Sensor Placement on Microprocessors.
24-30
Electronic Edition (link) BibTeX
1.2 Interconnect Prediction and Optimization
1.3 System-Level Architecture
Panel Discussion
2.1 Power aware System Design
- Andi Nourrachmat, Sabino Salerno, Enrico Macii, Massimo Poncino:
Energy-Efficient Color Approximation for Digital LCD Interfaces.
81-86
Electronic Edition (link) BibTeX
- Martino Ruggiero, Andrea Acquaviva, Davide Bertozzi, Luca Benini:
Application-Specific Power-Aware Workload Allocation for Voltage Scalable MPSoC Platforms.
87-93
Electronic Edition (link) BibTeX
- Vasily G. Moshnyaga, Eiji Morikawa:
LCD Display Energy Reduction by User Monitoring.
94-97
Electronic Edition (link) BibTeX
- Kimish Patel, Enrico Macii, Massimo Poncino:
Frame Buffer Energy Optimization by Pixel Prediction.
98-101
Electronic Edition (link) BibTeX
- Bo-Cheng Charles Lai, Patrick Schaumont, Wei Qin, Ingrid Verbauwhede:
Energy and Performance Analysis of Mapping Parallel Multithreaded Tasks for An On-Chip Multi-Processor System.
102-104
Electronic Edition (link) BibTeX
- Nevine AbouGhazaleh, Bruce R. Childers, Daniel Mossé, Rami G. Melhem:
Near-memory Caching for Improved Energy Consumption.
105-110
Electronic Edition (link) BibTeX
2.2 Physical-Aware System-Level Analysis and Synthesis
- Yuanfang Hu, Hongyu Chen, Yi Zhu, Andrew A. Chien, Chung-Kuan Cheng:
Physical Synthesis of Energy-Efficient Networks-on-Chip Through Topology Exploration and Wire Style Optimizationz.
111-118
Electronic Edition (link) BibTeX
- Shrirang M. Yardi, Karthik Channakeshava, Michael S. Hsiao, Thomas L. Martin, Dong S. Ha:
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management.
119-126
Electronic Edition (link) BibTeX
- Soheil Ghiasi:
Efficient Implementation Selection via Time Budgeting Complexity Analysis and Leakage Optimization Case Study.
127-129
Electronic Edition (link) BibTeX
- Hang Li, Pu Liu, Zhenyu Qi, Lingling Jin, Wei Wu, Sheldon X.-D. Tan, Jun Yang:
Efficient Thermal Simulation for Run-Time Temperature Tracking and Management.
130-136
Electronic Edition (link) BibTeX
2.3 SoC Test Methods
- Anuja Sehgal, Sule Ozev, Krishnendu Chakrabarty:
A Flexible Design Methodology for Analog Test Wrappers in Mixed-Signal SOCs.
137-142
Electronic Edition (link) BibTeX
- Gang Zeng, Hideo Ito:
Concurrent Core Test for Test Cost Reduction Using Merged Test Set and Scan Tree.
143-146
Electronic Edition (link) BibTeX
- Mango Chia-Tso Chao, Seongmoon Wang, Srimat T. Chakradhar, Kwang-Ting Cheng:
ChiYun Compact: A Novel Test Compaction Technique for Responses with Unknown Values.
147-152
Electronic Edition (link) BibTeX
- Yung-Chieh Lin, Feng Lu, Kwang-Ting Cheng:
Accurate Diagnosis of Multiple Faults.
153-156
Electronic Edition (link) BibTeX
- Jheng-Syun Yang, Shi-Yu Huang:
Quick Scan Chain Diagnosis Using Signal Profiling.
157-160
Electronic Edition (link) BibTeX
- Fang Liu, Sule Ozev:
Fast Hierarchical Process Variability Analysis and Parametric Test Development for Analog/RF Circuits.
161-170
Electronic Edition (link) BibTeX
3.1 Reliable Circuit Design
3.2 High Level Systhesis
3.3 Verification of SoCs with Datapaths and Software
Keynote Address
4.1 Low Power Circuit Arhcitecture
- Deepak S. Vijayasarathi, Mehrdad Nourani, Mohammad J. Akhbarizadeh, Poras T. Balsara:
Ripple-Precharge TCAM A Low-Power Solution for Network Search Engines.
243-248
Electronic Edition (link) BibTeX
- Milena Vratonjic, Bart R. Zeydel, Vojin G. Oklobdzija:
Low- and Ultra Low-Power Arithmetic Units: Design and Comparison.
249-252
Electronic Edition (link) BibTeX
- Muhammad M. Khellah, Maged Ghoneima, James Tschanz, Yibin Ye, Nasser Kurd, Javed Barkatullah, Srikanth Nimmagadda, Yehea I. Ismail:
A Skewed Repeater Bus Architecture for On-Chip Energy Reduction in Microprocessors.
253-257
Electronic Edition (link) BibTeX
- Tetsuya Yamada, Masahide Abe, Yusuke Nitta, Kenji Ogura, Manabu Kusaoke, Makoto Ishikawa, Motokazu Ozawa, Kiwamu Takada, Fumio Arakawa, Osamu Nishii, Toshihiro Hattori:
Low-Power Design of 90-nm SuperH Processor Core.
258-266
Electronic Edition (link) BibTeX
4.2 Emerging Design Styles and Applications
4.3 Formal Verification - Form Hardware to Software (Invited)
- Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai:
Model Checking C Programs Using F-SOFT.
297-308
Electronic Edition (link) BibTeX
- Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul:
Dealing with I/O Devices in the Context of Pervasive System Verification.
309-316
Electronic Edition (link) BibTeX
- Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul:
Towards the Formal Verification of Lower System Layers in Automotive Systems.
317-326
Electronic Edition (link) BibTeX
5.1 Cache Memory Architecture
5.2 Gate Timing abd Power Analysis
5.3 Perform Modeling
6.1 Low Voltage Design
6.2 Physical-Aware Circuit Design
6.3 Verification and Test for Sequential Circuits and Delay Fault Models
- Manan Syal, Rajat Arora, Michael S. Hsiao:
Extended Forward Implications and Dual Recurrence Relations to Identify Sequentially Untestable Faults.
453-460
Electronic Edition (link) BibTeX
- Qiang Qiang, Chia-Lun Chang, Daniel G. Saab, Jacob A. Abraham:
Case Study of ATPG-based Bounded Model Checking: Verifying USB2.0 IP Core.
461-463
Electronic Edition (link) BibTeX
- Maria K. Michael, Kyriakos Christou, Spyros Tragoudas:
Towards finding path delay fault tests with high test efficiency using ZBDDs.
464-467
Electronic Edition (link) BibTeX
- Mahilchi Milir Vaseekar Kumar, Spyros Tragoudas:
Quality Transition Fault Tests Suitable for Small Delay Defects.
468-470
Electronic Edition (link) BibTeX
- Narendra Devta-Prasanna, Arun Gunda, P. Krishnamurthy, Sudhakar M. Reddy, Irith Pomeranz:
A Novel Method of Improving Transition Delay Fault Coverage Using Multiple Scan Enable Signals.
471-474
Electronic Edition (link) BibTeX
- Laung-Terng Wang, Xiaoqing Wen, Po-Ching Hsu, Shianling Wu, Jonhson Guo:
At-Speed Logic BIST Architecture for Multi-Clock Designs.
475-478
Electronic Edition (link) BibTeX
- Liyang Lai, Janak H. Patel, Thomas Rinderknecht, Wu-Tung Cheng:
Hardware Ef.cient LBISTWith Complementary Weights.
479-484
Electronic Edition (link) BibTeX
7.1 New Memory Technologies (Invited)
- Rick Bailey, Glen Fox, Jarrod Eliason, Marty Depner, Daesig Kim, Edwin Jabillo, John Groat, John Walbert, Scott Summerfelt, K. R. Udayakumar, John Rodriquez, Keith Remack, K. Boku, John Gertas:
FRAM Memory Technology - Advantages for Low Power, Fast Write, High Endurance Applications.
485
Electronic Edition (link) BibTeX
8.1 High Performance Designs
8.2 Future VLSI Technologies and Their Impact
8.3 Architecture for Verifiability (Invited)
9.1 Low Power Circuit Architecture (II)
9.3 Formal Verification Methods
10.1 Power and Thermal Consideration in Processor Design (II)
- Won-Ho Park, Andreas Moshovos, Babak Falsafi:
RECAST: Boosting Tag Line Buffer Coverage in Low-Power High-Level Caches "for Free".
609-616
Electronic Edition (link) BibTeX
- Fernando Castro, Daniel Chaver, Luis Piñuel, Manuel Prieto, Francisco Tirado, Michael C. Huang:
Load-Store Queue Management: an Energy-Efficient Design Based on a State-Filtering Mechanism..
617-624
Electronic Edition (link) BibTeX
- Johnsy K. John, Jie S. Hu, Sotirios G. Ziavras:
Optimizing the Thermal Behavior of Subarrayed Data Caches.
625-630
Electronic Edition (link) BibTeX
- Dinesh C. Suresh, Banit Agrawal, Walid A. Najjar, Jun Yang:
VALVE: Variable Length Value Encoder for Off-Chip Data Buses..
631-633
Electronic Edition (link) BibTeX
- Sivakumar Velusamy, Wei Huang, John Lach, Mircea R. Stan, Kevin Skadron:
Monitoring Temperature in FPGA based SoCs.
634-640
Electronic Edition (link) BibTeX
10.2 Instruction Issue,
Scheduling and Prediction
- Yongxiang Liu, Gokhan Memik, Glenn Reinman:
Reducing the Energy of Speculative Instruction Schedulers.
641-646
Electronic Edition (link) BibTeX
- Marco A. Ramírez, Adrián Cristal, Mateo Valero, Alexander V. Veidenbaum, Luis Villa:
A New Pointer-based Instruction Queue Design and Its Power-Performance Evaluation.
647-653
Electronic Edition (link) BibTeX
- Joseph J. Sharkey, Kanad Ghose, Dmitry V. Ponomarev, Oguz Ergin:
Power-Efficient Wakeup Tag Broadcast.
654-661
Electronic Edition (link) BibTeX
- Rania Mameesh, Manoh Franklin:
SST: Symbolic Subordinate Threading.
662-665
Electronic Edition (link) BibTeX
- Stefan Bieschewski, Joan-Manuel Parcerisa, Antonio González:
Memory Bank Predictors.
666-670
Electronic Edition (link) BibTeX
11.1 Circuit Consideration in Process Design
- Xizhen Xu, Sotirios G. Ziavras:
H-SIMD Machine: Configurable Parallel Computing for Matrix Multiplication.
671-676
Electronic Edition (link) BibTeX
- Sri Hari Krishna Narayanan, Guilin Chen, Mahmut T. Kandemir, Yuan Xie:
Temperature-Sensitive Loop Parallelization for Chip Multiprocessors.
677-682
Electronic Edition (link) BibTeX
- Brock J. LaMeres, Sunil P. Khatri:
Broadband Impedance Matching for Inductive Interconnect in VLSI Packages.
683-688
Electronic Edition (link) BibTeX
- Wei-Lun Hung, Greg M. Link, Yuan Xie, Narayanan Vijaykrishnan, Nagu R. Dhanwada, John Conner:
Temperature-Aware Voltage Islands Architecting in System-on-Chip Design.
689-696
Electronic Edition (link) BibTeX
11.2 Logic Optimization
Copyright © Sat May 16 23:16:37 2009
by Michael Ley (ley@uni-trier.de)