Volume 21,
Number 1,
January/February 2004
EIC Message
Features
Nontheme Features
Departments
The Last Byte
Volume 21,
Number 2,
March/April 2004
EIC Message
Features
- Roy L. Russo:
Serving a growing community: How D&T began.
79-
Electronic Edition (link) BibTeX
- Magdy S. Abadir, Li-C. Wang:
Guest Editors' Introduction: The Verification and Test of Complex Digital ICs.
80-82
Electronic Edition (link) BibTeX
- Allon Adir, Eli Almog, Laurent Fournier, Eitan Marcus, Michal Rimon, Michael Vinov, Avi Ziv:
Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification.
84-93
Electronic Edition (link) BibTeX
- Carl Scafidi, J. Douglas Gibson, Rohit Bhatia:
Validating the Itanium 2 Exception Control Unit: A Unit-Level Approach.
94-101
Electronic Edition (link) BibTeX
- Fulvio Corno, Ernesto Sánchez, Matteo Sonza Reorda, Giovanni Squillero:
Automatic Test Program Generation: A Case Study.
102-109
Electronic Edition (link) BibTeX
- Chia-Chih Yen, Jing-Yang Jou, Kuang-Chien Chen:
A Divide-and-Conquer-Based Algorithm for Automatic Simulation Vector Generation.
111-120
Electronic Edition (link) BibTeX
- Prabhat Mishra, Nikil Dutt, Narayanan Krishnamurthy, Magdy S. Abadir:
A Top-Down Methodology for Microprocessor Validation.
122-131
Electronic Edition (link) BibTeX
- Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Li-C. Wang:
Safety Property Verification Using Sequential SAT and Bounded Model Checking.
132-143
Electronic Edition (link) BibTeX
- Rob Aitken, Stefan Eichenberger, Gary Maier, Sandip Kundu, Hank Walker:
ITC 2003 Roundtable: Design for Manufacturability.
144-156 BibTeX
Departments
The Last Byte
Volume 21,
Number 3,
May/June 2004
EIC Message
D&T:
20 Years of Service
Panel Summaries
Features
- Yervant Zorian, Dimitris Gizopoulos, Cary Vandenberg, Philippe Magarshack:
Guest Editors' Introduction: Design for Yield and Reliability.
177-182
Electronic Edition (link) BibTeX
- Juan Antonio Carballo, Sani R. Nassif:
Impact of Design-Manufacturing Interface on SoC Design Methodologies.
183-191
Electronic Edition (link) BibTeX
- Alessandra Nardi, Alberto L. Sangiovanni-Vincentelli:
Logic Synthesis for Manufacturability.
192-199
Electronic Edition (link) BibTeX
- Samvel K. Shoukourian, Valery A. Vardanian, Yervant Zorian:
SoC Yield Optimization via an Embedded-Memory Test and Repair Infrastructure.
200-207
Electronic Edition (link) BibTeX
- Davide Appello, Alessandra Fudoli, Katia Giarda, Vincenzo Tancorre, Emil Gizdarski, Ben Mathew:
Understanding Yield Losses in Logic Circuits.
208-215
Electronic Edition (link) BibTeX
- Melvin A. Breuer, Sandeep K. Gupta, T. M. Mak:
Defect and Error Tolerance in the Presence of Massive Numbers of Defects.
216-227
Electronic Edition (link) BibTeX
- Subhasish Mitra, Wei-Je Huang, Nirmal R. Saxena, Shu-Yi Yu, Edward J. McCluskey:
Reconfigurable Architecture for Autonomous Self-Repair.
228-240
Electronic Edition (link) BibTeX
- T. M. Mak, Angela Krstic, Kwang-Ting (Tim) Cheng, Li-C. Wang:
New Challenges in Delay Testing of Nanometer, Multigigahertz Designs.
241-247
Electronic Edition (link) BibTeX
- Bhaskar Chatterjee, Manoj Sachdev, Ali Keshavarzi:
DFT for Delay Fault Testing of High-Performance Digital Circuits.
248-258
Electronic Edition (link) BibTeX
DAC Watch
DATC Newsletter
- Design Automation Technical Committee Newsletter.
263- BibTeX
The Last Byte
Volume 21,
Number 4,
July/August 2004
EIC Message
Features
- Sumit DasGupta:
Looking back, looking around.
271-273 BibTeX
- André Ivanov, Fabrizio Lombardi, Cecilia Metra:
Guest Editors' Introduction: Advances in VLSI Testing at MultiGbps Rates.
274-276
Electronic Edition (link) BibTeX
- T. M. Mak, Mike Tripp, Anne Meixner:
Testing Gbps Interfaces without a Gigahertz Tester.
278-286
Electronic Edition (link) BibTeX
- David C. Keezer, Dany Minier, Marie-Christine Caron:
Multiplexing ATE Channels for Production Testing at 2.5 Gbps.
288-301
Electronic Edition (link) BibTeX
- Nelson Ou, Touraj Farahmand, Andy Kuo, Sassan Tabatabaei, André Ivanov:
Jitter Models for the Design and Test of Gbps-Speed Serial Interconnects.
302-313
Electronic Edition (link) BibTeX
- Stephen K. Sunter, Aubin Roy:
On-Chip Digital Jitter Measurement, from Megahertz to Gigahertz.
314-321
Electronic Edition (link) BibTeX
Special Features
Departments
Volume 21,
Number 5,
September/October 2004
EIC Message
Conference Reports
Features
- Radu Marculescu, Petru Eles:
Guest Editors' Introduction: Designing Real-Time Embedded Multimedia Systems.
354-356
Electronic Edition (link) BibTeX
- Chaeseok Im, Soonhoi Ha:
Energy Optimization for Latency- and Quality-Constrained Video Applications.
358-366
Electronic Edition (link) BibTeX
- Alexander Maxiaguine, Samarjit Chakraborty, Simon Künzli, Lothar Thiele:
Evaluating Schedulers for Multimedia Processing on Buffer-Constrained SoC Platforms.
368-377
Electronic Edition (link) BibTeX
- Paul Marchal, Francky Catthoor, Davide Bruni, Luca Benini, José Ignacio Gómez, Luis Piñuel:
Integrated Task Scheduling and Data Assignment for SDRAMs in Dynamic Applications.
378-387
Electronic Edition (link) BibTeX
- Hojun Shim, Naehyuck Chang, Massoud Pedram:
A Backlight Power Management Framework for Battery-Operated Multimedia Systems.
388-396
Electronic Edition (link) BibTeX
- Sudeep Pasricha, Manev Luthra, Shivajit Mohapatra, Nikil D. Dutt, Nalini Venkatasubramanian:
Dynamic Backlight Adaptation for Low-Power Handheld Devices.
398-405
Electronic Edition (link) BibTeX
- Haris Lekatsas, Jörg Henkel, Srimat T. Chakradhar, Venkata Jakkula:
Cypress: Compression and Encryption of Data and Code for Embedded Multimedia Systems.
406-415
Electronic Edition (link) BibTeX
Special Features
Departments
Volume 21,
Number 6,
November-December 2004
EIC Message
Features
- Carl Pixley, Sharad Malik:
Guest Editors' Introduction: Exploring Synergies for Design Verification.
461-463
Electronic Edition (link) BibTeX
- Martin Zambaldi, Wolfgang Ecker, Renate Henftling, Matthias Bauer:
A Layered Adaptive Verification Platform for Simulation, Test, and Emulation.
464-471
Electronic Edition (link) BibTeX
- Serdar Tasiran, Yuan Yu, Brannon Batson:
Linking Simulation with Formal Verification at a Higher Level.
472-482
Electronic Edition (link) BibTeX
- Young-Il Kim, Chong-Min Kyung:
TPartition: Testbench Partitioning for Hardware-Accelerated Functional Verification.
484-493
Electronic Edition (link) BibTeX
- Jayanta Bhadra, Narayanan Krishnamurthy, Magdy S. Abadir:
Enhanced Equivalence Checking: Toward a Solidarity of Functional Verification and Manufacturing Test Generation.
494-502
Electronic Edition (link) BibTeX
Special Features
- Shuo Sheng, Michael S. Hsiao:
Success-Driven Learning in ATPG for Preimage Computation.
504-512
Electronic Edition (link) BibTeX
- Ioannis Papaefstathiou:
Titan II: An IPcomp Processor for 10-Gbps Networks.
514-523
Electronic Edition (link) BibTeX
- Frederic Worm, Paolo Ienne, Patrick Thiran, Giovanni De Micheli:
On-Chip Self-Calibrating Communication Techniques Robust to Electrical Parameter Variations.
524-535
Electronic Edition (link) BibTeX
- Marcel A. Kossel, Martin L. Schmatz:
Jitter Measurements of High-Speed Serial Links.
536-543
Electronic Edition (link) BibTeX
- Glenn H. Chapman, Sunjaya Djaja, Desmond Y. H. Cheung, Yves Audet, Israel Koren, Zahava Koren:
A Self-Correcting Active Pixel Sensor Using Hardware and Software Correction.
544-551
Electronic Edition (link) BibTeX
- Fernanda Lima Kastensmidt, Gustavo Neuberger, Renato Fernandes Hentschke, Luigi Carro, Ricardo Reis:
Designing Fault-Tolerant Techniques for SRAM-Based FPGAs.
552-562
Electronic Edition (link) BibTeX
- Naran Sirisantana, Bipul Chandra Paul, Kaushik Roy:
Enhancing Yield at the End of the Technology Roadmap.
563-571
Electronic Edition (link) BibTeX
- Ikhwan Lee, Yongseok Choi, Youngjin Cho, Yongsoo Joo, Hyeonmin Lim, Hyung Gyu Lee, Hojun Shim, Naehyuck Chang:
Web-Based Energy Exploration Tool for Embedded Systems.
572-586
Electronic Edition (link) BibTeX
Departments
The Last Byte
Copyright © Sat May 16 23:57:38 2009
by Michael Ley (ley@uni-trier.de)
