The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 02 - March/April (vol. 21)
ISSN: 0740-7475
EIC Message

Past successes, future challenges (HTML)

Rajesh Gupta , Editor in Chief, <em>IEEE Design & Test</em>
pp. 77-78
Features

Guest Editors' Introduction: The Verification and Test of Complex Digital ICs (HTML)

Li-C. Wang , University of California, Santa Barbara
Magdy S. Abadir , Motorola
pp. 80-82

Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification (Abstract)

Eli Almog , IBM Research Lab, Haifa
Laurent Fournier , IBM Research Lab, Haifa
Michal Rimon , IBM Research Lab, Haifa
Allon Adir , IBM Research Lab, Haifa
Michael Vinov , IBM Research Lab, Haifa
Avi Ziv , IBM Research Lab, Haifa
Eitan Marcus , IBM Research Lab, Haifa
pp. 84-93

Automatic Test Program Generation: A Case Study (Abstract)

Fulvio Corno , Politecnico di Torino
Giovanni Squillero , Politecnico di Torino
Matteo Sonza Reorda , Politecnico di Torino
Ernesto S?nchez , Politecnico di Torino
pp. 102-109

A Divide-and-Conquer-Based Algorithm for Automatic Simulation Vector Generation (Abstract)

Jing-Yang Jou , National Chiao Tung University
Kuang-Chien Chen , Cadence Design Systems
Chia-Chih Yen , National Chiao Tung University
pp. 111-120

A Top-Down Methodology for Microprocessor Validation (Abstract)

Prabhat Mishra , University of California, Irvine
Magdy S. Abadir , Motorola
Nikil Dutt , University of California, Irvine
pp. 122-131

Safety Property Verification Using Sequential SAT and Bounded Model Checking (Abstract)

Li-C. Wang , University of California, Santa Barbara
Madhu K. Iyer , University of California, Santa Barbara
Ganapathy Parthasarathy , University of California, Santa Barbara
Kwang-Ting (Tim) Cheng , University of California, Santa Barbara
pp. 132-143

ITC 2003 Roundtable: Design for Manufacturability (Abstract)

Hank Walker , Texas A&M University
Rob Aitken , Artisan Components
Sandip Kundu , Intel
Stefan Eichenberger , Philips Semiconductors
pp. 144-156
Departments

Policies and procedures--who needs them? (Abstract)

Peter J. Ashenden , Ashenden Designs
pp. 157-158
The Last Byte
89 ms
(Ver )