6th Asian Test Symposium, ATS'97

                        CALL FOR PAPERS

The Sixth Asian Test Symposium (ATS'97)
November 17-19, 1997
Akita Castle Hotel, Akita, Japan

Sponsored by the IEEE Computer Society
Test Technology Technical Committee (TTTC)

In Cooperation with:
Technical Group on Fault Tolerant Systems, IEICE
Special Interest Group on Design Automation, IPS Japan
Japan Society for the Promotion of Science, 132nd Committee
(Electron and Ion Beam Science and Technology)
Mining College, Akita University


The Asian Test Symposium provides an international forum for engineers
and researchers from all countries of the world, especially from Asia,
to present and discuss various aspects of system, board and device
testing with design, manufacturing and field considerations in mind.
The official language of the symposium is English. Topics of interest
include, but are not limited to:

- Automatic Test Generation / Fault Simulation
- Synthesis for Testability / Design for Testability
- Built-in Self-Test / On-line Testing
- Iddq Test
- Fault Modeling & Diagnosis
- Mixed-Signal Test
- Design Verification
- Electron-Beam Testing
- Economics of Test
- Software Testing / Software Design for Testing


Original technical papers on the above topics are invited. These should
not exceed 20 double-spaced pages including figures, and should include
a 50-word abstract and a list of 4 to 5 keywords. Authors should include
the complete address, phone/fax numbers and e-mail address, and
designate a contact person and a presenter. The Program Committee
also welcomes proposals for panels and special topics sessions. Please
submit five copies of complete manuscript to the Program Chair by
April 15, 1997. The submission will be considered evidence that upon
acceptance the author(s) will prepare the final manuscript in time for
inclusion in the proceedings and will present the paper at the Symposium.

Prof. Teruhiko Yamada
Department of Computer Science, Meiji University
1-1-1 Higashimita, Tama-Ku, Kawasaki 214, Japan
Fax: +81-44-934-7912, Tel: +81-44-934-7452
E-mail: yamada(at)cs.meiji.ac.jp


Submission deadline : April 15, 1997
Notification of acceptance: June 30, 1997
Camera-ready Copies: August 5, 1997
Symposium: November 17-19, 1997


Symposium Chair:
Yuzo Takamatsu
Ehime University

Program Chair:
Teruhiko Yamada
Meiji University

Finance Chair:
Kiyoshi Furuya
Chuo University

Publicity Chair:
Hideo Fujiwara
Nara Institute of Science and Technology

Publications Chair:
Hirome Hiraishi
Kyoto Sangyo University

Registration Chair:
Masahide Takada
NEC Corporation

Local Arrangement Chair:
Hideo Tamamoto
Akita University

Hiroshi Takahashi
Ehime University

US Liaison:
Vishwani D. Agrawal
AT & T Bell Laboratories

Europe Liaison:
Bernard Courtois

Ex Office:
Group Chair, Asian Activities
TTTC, IEEE Computer Society
Kozo Kinoshita
Osaka University

Program Committee:

A.P. Ambler, Brunel University, UK
S.T. Chakradhar, NEC USA, USA
P.P. Chaudhuri, Indian Institute of Technology, India
S. Demidenko, Singapore Polytechnic, Republic of Singapore
H. Fujioka, Osaka University, Japan
Y. Furukawa, Advantest Corporation, Japan
A. J. van de Goor, Delft University of Technology, The Netherlands
K. Hatayama, Hitachi, Ltd., Japan
M. Hashizume, University of Tokushima, Japan
M. Hayashi, Mie University, Japan
F. Hirose, Fujitsu Labs. Ltd., Japan
M. Ishikawa, Toshiba Corporation, Japan
H. Ito, Chiba University, Japan
A. Ivanov, University of British Columbia, Canada
K. Iwasaki, Tokyo Metropolitan University, Japan
B. Kaminska, Ecole Polytechnique de Montreal, Canada
T. Kikuno, Osaka University, Japan
Y. Koseko, Mitsubishi Electric Corporation, Japan
C.L. Lee, National Chiao Tung University, Taiwan
T. Manmoto, IBM Japan, Ltd., Japan
Y. Min, Academia Sinica, China
A. Motohara, Matsushita Elec. Industrial Co., Ltd., Japan
M. Nicolaidis, TIMA/INPG, France
I. Pomeranz, University of Iowa, USA
E. Prochaska, Fachhochschule Heilbronn, Germany
J. Rajski, Mentor Graphics Corp., USA
A. Rubio, Universitat Politecnica de Catalunya, Spain
K.K. Saluja, University of Wisconsin-Madison, USA
T. Sasao, Kyushu Institute of Technology, Japan
J. Savir, IBM Somerset, USA
S.C. Seth, University of Nebraska, USA
S.D. Sherlekar, ASIC Technologies Pvt. Ltd., India
N. Suenaga, Oki Elec. Industry Co., Ltd., Japan
N. Takagi, Nagoya University, Japan
M. Teramoto, NTT LSI Laboratories, Japan
M. Tsunoyama, Niigata Institute of Technolog, Japan
P. Varma, Crosscheck Technolgy, USA
X. Wen, Akita University, Japan
C.W. Wu, National Tsing Hua University, Taiwan
S. Xu, Shanghai University of Science and Technology, China
T. Yokohira, Okayama University, Japan
T. Yoneda, Tokyo Institute of Technology, Japan
M. Yoshida, NEC Corperation, Japan
Y. Zorian, AT&T Bell Laboratories, USA



Monday November 17th, 1997
8:30 - 9:30 Plenary Session
Welcome Message: Y. Takamatsu, General Chair
Keynote Address: Embedded Test & Measurement is Critical for
Deep Submicron Technology
Vinod K. Agarwal, Logic Vision, U.S.A.
Program Introduction: T. Yamada, Program Chair
9:30 - 10:00 Coffee Break
10:00 - 12:00 1A Test Generation I
Chair: J. Savir - New Jersey Inst. of Technology, U.S.A.
1A.1 On the Compaction of Test Sets Produced by Genetic Optimization
I. Pomeranz, S. M. Reddy - Univ. of Iowa, U.S.A.
1A.2 On the Adders with Minimum Tests
S. Kajihara, T. Sasao - Kyushu Inst. of Technology, Japan
1A.3 Test Generation for Stuck-On Faults in BDD-Based Pass-Transistor Logic SPL
T. Shinogi, T. Hayashi - Mie Univ., Japan, K. Taki - Kobe Univ., Japan
1A.4 An Algorithmic Test Generation Method for Crosstalk Faults
in Synchronous Sequential Circuits
N. Itazaki, Y. Idomoto, K. Kinoshita - Osaka Univ., Japan
10:00 - 12:00 1B DFT I
Chair: S. K. Jhajharia - Singapore Polytechnic, Singapore
1B.1 Guaranteeing Testability in Re-Encoding for Low Power
S. Chiusano, F. Corno, P. Prinetto, M. Rebaudengo, M. S. Reorda -
Politecnico di Torino, Italy
1B.2 Automatic Testability Analysis of Boards and MCMs at Chip Level
M. Perbost , L. Lelan - Dassault Electronique, France, C. Landrault -
LIRMM, France
1B.3 Design of C-Testable Multipliers Based on the Modified Booth Algorithm
K. O. Boateng, H. Takahashi, Y. Takamatsu - Ehime Univ., Japan
1B.4 Testability Prediction for Full Scan Sequential Circuits
Using Neural Networks
G. P. Dias - Fudan Univ., China, S. Xu, P. Waiganjo - Shanghai Univ.
of Science and Technology, China
12:00 - 13:00 Lunch
13:00 - 15:00 2A Test Generation II
Chair: B. Kaminska - OPMAXX, U.S.A.
2A.1 A Genetic Algorithm for the Computation of Initialization
Sequences for Synchronous Sequential Circuits
F. Corno, P. Prinetto, M. Rebaudengo, M. S. Reorda, G. Squillero -
Politecnico di Torino, Italy
2A.2 Sequential Test Generation Based on Circuit Pseudo-Transformation
S. Ohtake, T. Inoue, H. Fujiwara - Nara Inst. of Science and Technology, Japan
2A.3 Exploiting Logic Simulation to Improve Simulation-Based Sequential ATPG
F. Corno, P. Prinetto, M. Rebaudengo, M. S. Reorda, M. Violante -
Politecnico di Torino, Italy
2A.4 TEMPLATES: A Test Generation Procedure for Synchronous
Sequential Circuits
I. Pomeranz, S. M. Reddy - Univ. of Iowa, U.S.A.
13:00 - 15:00 2B Fault Tolerance
Chair: N. Kanekawa - Hitachi, Japan
2B.1 Design and Implementation of Strongly Code-Disjoint CMOS
Built-In Intermediate Voltage Sensor for Totally Self-Checking Circuits
J. C. W. Pang, M. W. T. Wong, Y. S. Lee - Hong Kong Polytechnic Univ., Hong Kong
2B.2 On Fault Injection Approaches for Fault Tolerance of Feedforward
Neural Networks
T. Ito, I. Takanami - Iwate Univ., Japan
2B.3 A Concurrent Fault-Detection Scheme for FFT Processors
M.Tsunoyama - Niigata Inst. of Technology, Japan, M.Uenoyama - Uenoyama
Fuel Co., Japan, T. Kabasawa - Nagaoka College of Technology, Japan
2B.4 Code-Disjoint Circuits for Parity Codes
H. Hartje - Univ. of Potsdam, Germany, E. S. Sogomonyan - Russian Academy
of Sciences, Russia, M. Gossel - Univ. of Potsdam, Germany
15:00 - 15:25 Coffee Break
15:25 - 17:30 3A Special Session I
Case Studies for DFT Techniques in Japanese Industry
Chair & Coordinator: Masaaki Yoshida - NEC, Japan
3A.1 Testability Features of R10000 Microprocessor
J. Mori - Toshiba, Japan, B. Mathew, D. Burns, Y. H. Mok - Silicon Graphics, U.S.A.
3A.2 Application of a Design for Delay Testability Approach to High Speed Logic LSIs
K. Hatayama, M. Ikeda - Hitachi, Japan, M. Takakura, S. Uchiyama -
Hitachi Engineering, Japan, Y. Sakamoto - Hitachi Information Technology, Japan
3A.3 An Effective Fault Simulation Method for Core Based LSIs
T. Yoshida, R. Shimoda, T. Mizokawa, K. Hirayama - Matsushita, Japan
3A.4 Integrated and Automated Design-for-Testability Implementation for Cell-Based ICs
T. Ono, K. Wakui, H. Hikima, Y. Nakamura, M. Yoshida - NEC, Japan
3A.5 ATREX: Design for Testability System for Mega Gate LSIs
M. Emori, J. Kumagai, K. Itaya, T. Aikyo - Fujitsu, Japan, T. Anan, J. Niimi -
Fujitsu LSI Technology, Japan
15:25 - 17:30 3B Test Technologies (Short presentations)
Chair: M. Nishihara - IBM Japan, Japan
3B.1 On Energy Efficiency of VLSI Testing
C. W. Wu - National Tsing Hua Univ., Taiwan
3B.2 ProTest: A Low Cost Rapid Prototyping and Test System for ASICs and FPGAs
M. Jacomet, R. Walti, L. Winzenried, J. Perez, M. Gysel - Technical Eng. School Biel,
3B.3 Computing Stress Tests for Interconnect Defects
V. Dabholkar - Motorola, U.S.A., S. Chakravarty - State Univ. of New York, U.S.A.
3B.4 Analysis of the Feasibility of Dynamic Thermal Testing in Digital Circuits
J. Altet, A. Rubio - Univ. Politecnica de Catalunya, Spain, H. Tamamoto -
Akita Univ., Japan
3B.5 A Test Processor Chip Implementing Multiple Seed, Multiple Polynomial
Linear Feedback Shift Register
Z. M. Darus - Univ. Kebangsaan, Malaysia, I. Ahmed - Univ. of Malaya, Malaysia,
L. Ali - Univ. Kebangsaan, Malaysia

Tuesday November 18th, 1997
8:30 - 10:00 4A Special Session II
Beam Testing of VLSI Circuits in Japan
Chair: Kiyoshi Nikawa - NEC, Japan
Coordinator: Hiromu Fujioka - Osaka Univ., Japan
4A.1 Automatic EB Fault Tracing System by Successive Circuit Extraction from
VLSI CAD Layout Data
K. Miura, K. Nakata, K. Nakamae, H. Fujioka - Osaka Univ., Japan
4A.2 An Approach to Diagnose Logical Faults in Partially Observable Sequential Circuits
K. Yamazaki, T. Yamada - Meiji Univ., Japan
4A.3 Guided-Probe Diagnosis of Macro-Cell-Designed LSI Circuits
N. Kuji - NTT, Japan
8:30 - 10:00 4B Mixed-Signal Test
Chair: C. W. Wu - National Tsing Hua Univ., Taiwan
4B.1 A Perturbation Based Fault Modeling and Simulation for Mixed-Signal Circuits
N. Ben-Hamida, K. Saab, D. Marche, B. Kaminska - OPMAXX, U.S.A.
4B.2 Static Testing of ADCs Using Wavelet Transforms
T. Yamaguchi - Advantest Lab., Japan
4B.3 Analog Signal Metrology for Mixed Signal ICs
C. Su, Y. R. Cheng, Y. T. Chen - National Central Univ., Taiwan, S. Tenchen -
Telecommunication Lab., Taiwan
10:00 - 10:15 Coffee Break
10:15 - 11:45 5A Special Session III
Novel Beam Testing Techniques in Japan
Chair: Motosuke Miyoshi - Toshiba, Japan
Coordinator: Hiromu Fujioka - Osaka Univ., Japan
5A.1 A New Auto-Focus Method in Critical Dimension Measurement SEM
F. Komatsu, H. Motoki, M. Miyoshi - Toshiba, Japan
5A.2 Novel Optical Probing System for Quarter - mm VLSI Circuits
K. Ozaki, H. Sekiguchi, S. Wakana, Y. Goto - Fujitsu Labs., Japan, Y. Umehara,
J. Matsumoto - Advantest, Japan
5A.3 New Capabilities on OBIRCH Method for Fault Localization and Defect Detection
K. Nikawa -NEC, Japan, S. Inoue - TDI, Japan
5B Decision Diagrams and Logic Optimization
10:15 - 11:45
Chair: E. Prochaska - Fachhochschule Heilbronn, Germany
5B.1 On Acceleration of Logic Circuits Optimization Using Implication Relations
H. Ichihara, K. Kinoshita - Osaka Univ., Japan
5B.2 A Variable Reordering Method for Fast Optimization of Binary Decision Diagrams
M. B. Song, H. Chang - Soongsil Univ., Korea
5B.3 On Decomposition of Kleene TDDs
Y. Iguchi - Meiji Univ., Japan, T. Sasao, M. Matsuura - Kyushu Inst. of Technology, Japan
11:45 - 19:00 Tour (Lunch)
19:00 - 21:00 Banquet

Wednesday November 19th, 1997
8:30 - 10:00 6A FPGA Test
Chair: S. Xu - Shanghai Univ. of Science and Technology, China
6A.1 Testing for the Programming Circuit of LUT-Based FPGAs
H. Michinishi, T. Yokohira, T. Okamoto - Okayama Univ., Japan, T. Inoue, H. Fujiwara -
Nara Inst. of Science and Technology, Japan
6A.2 A XOR-Tree Based Technique for Constant Testability of Configurable FPGAs
W. K. Huang - Fudan Univ., China, F. J. Meyer, F. Lombardi - Texas A&M Univ., U.S.A.
6A.3 Test Pattern Generation and Test Configuration Generation Methodology
for the Logic of RAM-Based FPGA
M. Renovell, J. M. Portal - LIRMM, France, J. Figueras - Univ. Politecnica de Catalunya,
Spain, Y. Zorian - Logic Vision, U.S.A.
8:30 - 10:00 6B Software Test
Chair: T. Yoneda - Tokyo Inst. of Technology, Japan
6B.1 Source-to-Source Instrumentation of C Based Languages: Application to
the Memory Optimization of an Automatic Bank Check Reading System
P. B. Pereira - Matra Systemes et Information, France, L. Heutte - Univ. de Rouen,
France, J. V. Moreau - Matra Systemes et Information, France, P. Courtellemont,
Y. Lecourtier - Univ. de Rouen, France
6B.2 An Algorithm for All-Du-Path Testing Coverage of Shared Memory Parallel Programs
C. S. D. Yang, L. L. Pollock - Univ. of Delaware, U.S.A.
6B.3 Estimating the Number of Faults Using Simulator Based on Generalized
Stochastic Petri-Net Model
O. Mizuno, S. Kusumoto, T. Kikuno - Osaka Univ., Japan, Y. Takagi, K. Sakamoto -
OMRON, Japan
10:00 - 10:30 Coffee Break
10:30 - 12:00 7A Diagnosis
Chair: Y. Min - Chinese Academy of Sciences, China
7A.1 On the Complexity of Universal Fault Diagnosis for Look-up Table FPGAs
T. Inoue, S. Miyazaki, H. Fujiwara - Nara Inst. of Science and Technology, Japan
7A.2 Fault Diagnosis for Static CMOS Circuits
W. Xiaoqing, H. Tamamoto - Akita Univ., Japan, K. K. Saluja - Univ. of Wisconsin,
U.S.A., K. Kinoshita - Osaka Univ., Japan
7A.3 Fault Diagnosis of Odd-Even Sorting Networks
C. W. Hu, C. L. Lee, W. C. Wu - National Chiao Tung Univ., Taiwan, J. E. Cheng -
Chung-Hua Polytechnic Inst., Taiwan
10:30 - 12:00 7B DFT II
Chair: A. Ivanov - Univ. of British Columbia, Canada
7B.1 On The Tradeoff Between Number of Clocks and Number of Latches in Shift Registers
J. Savir - New Jersey Inst. of Technology, U.S.A.
7B.2 Test Compaction in a Parallel Access Scan Environment
S. Bhatia, P. Varma - Duet Technologies, U.S.A.
7B.3 A Partial Scan Design Method Based on n-Fold Line-Up Structures
T. Hosokawa, T. Hiraoka, M. Ohta, M. Muraoka, S. Kuninobu - Matsushita, Japan
12:00 - 13:00 Lunch
13:00 - 15:00 8A Delay Test
Chair: C. Landrault - LIRMM, France
8A.1 On the Capability of Delay Tests to Detect Bridges and Opens
S. Chakravarty - State Univ. of New York, U.S.A.
8A.2 A Method of Generating Tests for Marginal Delays and Delay Faults
in Combinational Circuits
H. Takahashi - Ehime Univ., Japan, T. Matsunaga - NEC, Japan,
K. O. Boateng, Y. Takamatsu - Ehime Univ., Japan
8A.3 Memory Efficient ATPG for Path Delay Faults
W. Long - Tsinghua Univ., China, Z. Li - Chinese Academy of Sciences,
China, S. Yang - Tsinghua Univ., China, Y. Min- Chinese Academy of Sciences, China
8A.4 Design of Delay-Verifiable Combinational Logic by Adding Extra Inputs
X. Yu, Y. Min - Chinese Academy of Sciences, China
13:00 - 15:00 8B BIST I
Chair: K. Iwasaki - Tokyo Metropolitan Univ., Japan
8B.1 BIST Testability Enhancement Using High Level Test Synthesis
for Behavioral and Structural Designs
K. Lai - Rockwell Semiconductor Systems, U.S.A., C. A. Papachristou,
M. Baklashov - Case Western Reserve Univ., U.S.A.
8B.2 On Chip Weighted Random Patterns
J. Savir - New Jersey Inst. of Technology, U.S.A.
8B.3 Random Pattern Testable Design with Partial Circuit Duplication
H. Yokoyama, W. Xiaoqing, H. Tamamoto - Akita Univ., Japan
8B.4 Accelerated Test Points Selection Method for Scan-Based BIST
M. Nakao, K. Hatayama, I. Higashi - Hitachi, Japan
15:00 - 15:30 Coffee Break
15:30 - 17:30 9A Current Testing
Chair: J. E Chen - Chung-Hua Polytechnic Inst., Taiwan
9A.1 Power Supply Current Monitoring Techniques for Testing PLLs
M. Dalmia, A. Ivanov, S. Tabatabaei - Univ. of British Columbia, Canada
9A.2 Supply Current Test for Unit-to-Unit Variations of Electrical
Characteristics in Gates
M. Hashizume, T. Kuchii, T. Tamesada - Tokushima Univ., Japan
9A.3 IDDT Testing
Y. Min, Z. Zhao, Z. Li - Chinese Academy of Sciences, China
9A.4 Built-In Current Sensor Designs Based on the Bulk-Driven Technique
K. J. Lee, T. C. Huang, M. C. Huang - National Cheng-Kung Univ., Taiwan
15:30 - 17:30 9B BIST II
Chair: T. Tada - Mitsubishi, Japan
9B.1 Test Length for Random Testing of Sequential Machines Application to RAMs
R. David - Lab. d'Automatique de Grenoble, France
9B.2 Built-In Self-Test for Multi-Port RAMs
Y. Wu, S. Gupta - Northern Telecom, Canada
9B.3 An Extended March Test Algorithm for Embedded Memories
G. M. Park, H. Chang - Soongsil Univ., Korea
9B.4 Low Cost BIST for EDAC Circuits
D. Badura - Silesian Univ. of Katowice, Poland, A. Hlawiczka -
Silesian Technical Univ. of Gliwice, Poland