IEEE Asian Test Symposium > |
3rd Asian Test Symposium, ATS'94
Third Asian Test Symposium(ATS'94) November 15-17, 1994 Nara Ken New Public Hall, Nara, Japan SPONSORED BY IEEE Computer Society Test Technology Technical Committee IN COOPERATION WITH Technical Group on Fault Tolerant Systems, IEICE Techincal Group on VLSI Design Technology, 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) Nara Institute of Science and Technology SYMPOSIUM OVERVIEW 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. INVITATION TO NARA Nara is often called the "cradle of Japanese civilization" or the "fountainhead of Japan's art and culture." This city, 26 miles south of Kyoto, is even older than Kyoto, having been the first permanent national capital during the 8th century. We are pleased to propose hosting the Third Asian Test Symposium, ATS'94, in this historic city, Nara, in 1994. Following the symposia in Hiroshima and Beijing, this meeting in Nara also aims at providing an Asian and international forum for the presentation of the latest research and advanced development in test and design technologies. ORGANIZING COMMITTEE Symposium Chair: Program Chair: Hideo Fujiwara Yuzo Takamatsu Nara Institute of Science Ehime University and Technology takamatu(at)cs.ehime-u.ac.jp fujiwara(at)is.naist.jp Finance Chair: Publicity Chair: Teruhiko Yamada Hideo Tamamoto Meiji University Akita University Publication Chair: Registration Chair: Kiyoshi Furuya Kazumi Hatayama Chuo University Hitachi Ltd. furuya(at)ise.chuo-u.ac.jp hatayama(at)hrl.hitachi.co.jp Local Arrangement Chair: Secretary: Hiromi Hiraishi Akira Motohara Kyoto Sangyo University Matsushita Co. Ltd. hiraishi(at)kyoto-su.ac.jp motohara(at)vdrl.src.mei.co.jp USA Liaison: European Liaison: Jacob Savir Ad J.van de Goor IBM Delf University of Technology savir(at)vnet.ibm.com vdgoor(at)duteca.et.tudelft.nl Ex Officio Asian Group Chair, TTTC: Kozo Kinoshita Osaka University kinoshita(at)ap.osaka-u.ac.jp PROGRAM COMMITTEE MEMBERS A.P.Ambler(U.K.) S.T.Chakradhar(USA) P.P.Chaudhuri(India) T.Chen(China) B.Courtois(France) A.J.van de Goor(Netherland) M.Hashizume(Japan) T.Hayashi(Japan) F.Hirose(Japan) N.Ishiura(Japan) A.Ivanov(Canada) K.Iwasaki(Japan) B.Kaminska(Canada) S.Kikuchi(Japan) T.Kikuno(Japan) C.L.Lee(Taiwan) T.Manmoto(Japan) Y.Min(China) T.Ogihara(Japan) J.Rajski(Canada) A.Rubio(Spain) K.K.Saluja(USA) T.Sasao(Japan) J.Savir(USA) S.C.Seth(USA) S.D.Sherlekar(India) A.K.Somani(USA) M.Takada(Japan) N.Takagi(Japan) M.Teramoto(Japan) P.Varma(USA) T.Yokohira(Japan) C.W.Wu(Taiwan) H.J.Wunderlich(Germany) S.Xu(China) A.Yamada(Japan) T.Yoneda(Japan) Y.Zorian(USA) TECHNICAL PROGRAM ====================================================== Monday November 14th, 1994 ====================================================== 17:00 to 20:30 Registration(at Hotel Fujita Nara) 18:00 to 19:30 Welcome Reception(at Hotel Fujita Nara) =========================================== Day 1: Tuesday November 15th, 1994 =========================================== 9:00 to 9:30 Opening 9:30 to 10:00 Coffee break 10:00 to 11:40 Session 1A: Fault Simulation Chair: A. Yamada (Tokyo Metropolitan University, Japan) 1A.1 "Test Generation and Fault Simulation Algorithms for Sequential Circuits with Embedded RAMs," T.J. Chakraborty and V.D. Agrawal (AT&T Bell Labs, USA). 1A.2 "Hardware-Accelerated Parallel-Pattern / Multiple-Fault- Propagation Concurrent Fault Simulation," W. Hahn and A. Hagerer (U. of Passau, Germany). 1A.3 "Fault Detection by Transient Transition Count Testing," K.C. Huang, M.Y.Chen, C.L.Lee (National Chiao Tung U., Taiwan), and J.E Chen (Chung-Hua Polytech. Insti., Taiwan). 1A.4 "Delay Fault Propagation in Synchronous Sequential Circuits," P. Cavallera, P. Girard, C. Landrault, and S. Pravossoudovitch (U. Montpellier II, France). Session 1B: On-line Testing Chair: M. Nishihara (IBM Japan, Ltd., Japan) 1B.1 "Bounding Error Masking in Linear Output Space Compression Schemes," S. Tarnick (The U. of Potsdam, Germany). 1B.2 "Fault Coverage Analysis in Monitored Sequential Circuits," R.A. Parekhji, G. Venkatesh, and S.D. Sherlekar (Indian Insti. of Tech., India). 1B.3 "Application of Byte Error Detecting Codes to the Design of Self-Checking Circuits," S. Pagey and A.J. Al-khalili (Concordia U., Canada). 1B.4 "Strongly Fail Safe Interface Based on Concurrent Checking," M. Nicolaidis (TIMA/INPG, France). 11:40 to 13:30 Lunch 13:30 to 15:10 Session 2A: Test Pattern Generation and Parallel Testing Chair: J. Rajski (McGill University, Canada) 2A.1 "Efficient Techniques for Multiple Fault Test Generation," S. Kajihara, R. Nishigaya, T. Sumioka, and K. Kinoshita (Osaka U., Japan). 2A.2 "A Sequential Redundant Fault Identification Scheme and Its Application to Test Generation," H.-C. Liang, C.L. Lee (National Chiao Tung U., Taiwan), and J.E Chen (Chung-Hua Polytech. Insti., Taiwan). 2A.3 "Test Scheduling Using Test Subsession Partitioning," D. Xiang (Academia Sinica, China). 2A.4 "On the Performance Analysis of Parallel Processing for Test Generation," T. Inoue, T. Fujii, and H. Fujiwara (Nara Insti. of Sci. and Tech., Japan). Session 2B: Diagnostics Chair: S. Xu (Shanghai University of Science and Technology, China) 2B.1 "An Efficient Logical Fault Diagnosis for Combinational Circuits using Stuck-at Fault Simulation," T. Shimono (NEC Co., Japan). 2B.2 "Efficiency Improvements for Multiple Fault Diagnosis of Combinational Circuits," N. Yanagida, H. Takahashi, and Y. Takamatsu (Ehime U., Japan). 2B.3 "An Approach of Diagnosing Single Bridging Faults in CMOS Combinational Circuits," K. Yamazaki and T. Yamada (Meiji U., Japan). 2B.4 "Efficient Diagnostic Fault Simulation for Sequential Circuits," J.M. Jou and S.-C. Chen (National Cheng Kung U., Taiwan). 15:10 to 15:30 Coffee break 15:30 to 17:10 Session 3A: Test Pattern Generation Chair: K. K. Salujya (University of Wisconsin, USA) 3A.1 "A Genetic Approach to Test Generation for Logic Circuits," T. Hayashi, H. Kita (Mie U., Japan), and K. Hatayama (Hitachi Ltd., Japan). 3A.2 "Test Generation for Redundant Faults in Combinational Circuits by Using Delay Effects," X. Yu, H. Takahashi, and Y. Takamatsu (Ehime U., Japan). 3A.3 "Efficient Fault Ordering for Automatic Test Pattern Generation for Sequential Circuits," P.A. Krauss and M. Henftling (Tech. U. of Munich, Germany). 3A.4 "Sequential Test Generation in Massive Observability Environments," P. Varma (CrossCheck Tech., USA). Session 3B: Supply Current Testing Chair: A. Rubio (Universitat Politecnica de Catalunya, Spain) 3B.1 "Testing of Analog Integrated Circuits Based on Power Supply Current Monitoring and Discrimination Analysis," Z. Wang, G. Gielen, and W. Sansen (Katholieke U. Leuven, Belgium). 3B.2 "Random Test Input Generation for Supply Current Testing of TTL Combinational Circuits," M. Hashizume, I. Tsukimoto, and T. Tamesada (The U. of Tokushima, Japan). 3B.3 "A Built-in IDDQ Test Circuit Utilizing Upper and Lower Limits," Y. Miura and S. Naito (Tokyo Metropolitan U., Japan). 3B.4 "The Effect of Fault Detection by IDDq Measurement for CMOS VLSIs," J. Hirase and M. Hamada (Matsushita Ele. Co., Japan). 18:30 to 20:30 ATS'94 Banquet ==================================== Day 2: Wednesday November 16 th, 1994 ==================================== 9:00 to 10:15 Session 4A: Design for Testability I Chair: B. Courtois (INPG/TIMA, France) 4A.1 "Testability Considerations in Technology Mapping," I. Pomeranz and S.M. Reddy (U. of Iowa, U.S.A.). 4A.2 "Easily Testable Realization for Generalized Reed-Muller Expressions," T. Sasao (Kyushu Insti. of Tech., Japan). 4A.3 "C-Testable Multipliers Based on the Modified Booth Algorithm," D. Gizopoulos (Insti. of Inf.&Telecom., Greece), D. Nikolos (U. of Patras, Greece), and A. Paschalis (Insti. of Inf.&Telecom., Greece) . Session 4B: Fault Modeling Chair: H. Khakzar (Fachhochschule fuer Technik Esslingen, Germany) 4B.1 "A Unified Model for Inter-Gate and Intra-Gate CMOS Bridging Fault: The Configuration Ratio," M. Renovell, P. Huc, and Y. Bertrand (U. de Montpellier II, France). 4B.2 "Detectability of Spurious Signals with Limited Propagation in Combinational Circuits," F. Moll (U. Poli. de Catalunya, Spain), M. Roca(U. Illes Balears, Spain), D. Marche (Ecole Polytech. de Montreal, Canada), and A. Rubio (U. Poli. de Catalunya, Spain). 4B.3 "On Crosstalk Fault Detection in Hierarchical VLSI Logic Circuits," A. Liaud, J.Y. Fourniols, and E. Sicard (INSA-DGE, France). 10:15 to 10:35 Coffee break 10:35 to 11:50 Session 5A: Design for Testability II Chair: M. Takada (NEC Corporation, Japan) 5A.1 "Analysis and Improvement of Testability Measure Approximation Algorithms," J. Bitner (The U. of Texas at Austin, USA), J. Jain (Fujitsu Lab. of America), J. A. Abraham, and D. S. Fussell (The U. of Texas at Austin, USA). 5A.2 "A New Testable Design of Logic Circuits under Highly Observable Condition," W. Xiaoqing, H. Tamamoto (Akita U., Japan), and K. Kinoshita (Osaka U., Japan). 5A.3 "Design in Fault Isolating of Ternary Cellular Arrays using Ternary Decision Diagrams," N. Kamiura, H. Satoh, Y. Hata, and K. Yamato (Himeji Insti. of Tech., Japan). Session 5B: Software Testing Chair: K. Matsumoto (Nara Institute of Science and Technology, Japan) 5B.1 "Software Design Verification using FTA," T. Fukaya, M. Hirayama, and Y. Mihara (Toshiba Co., Japan). 5B.2 "Efficient Test Sequence Generation for Localization of Multiple Faults in Communication Protocols," Y. Kakuda, H. Yukitomo, S. Kusumoto, and T. Kikuno (Osaka U., Japan). 5B.3 "Netlist Automatic Extractor: An Image Processing Based Software for Bare Board Test Data Generation," A. Benali, L. Balme(National Polytech. Insti., France), and C. Vaucher (ZAC de la Fontaine de Jouvence, France). 12:10 to 17:30 Tour to Horyuji and Yakushiji Temples (including lunch time) ==================================== Day 3: Thursday November 17th, 1994 ==================================== 9:00 to 10:15 Session 6A: Built-in Selt-Test I Chair: S. D. Sherlekar (ASIC Technologies Pvt. Ltd., India) 6A.1 "Design of Random Pattern Testable Floating Point Adders," J. Rajski and J. Tyszer (McGill U., Canada). 6A.2 "Selecting Programmable Space Compactors for BIST Using Genetic Algorithms," B. Tsuji (PMC-Sierra Inc., Canada), A. Ivanov (U. of British Columbia, Canada), and Y. Zorian (AT&T Bell Labs, USA). 6A.3 "Evaluations of Various TPG Circuits for Use in Two-Pattern Testing," K. Furuya, S. Yamazaki, and M. Sato (Chuo U., Japan). Session 6B: Verification I Chair: J. Savir (IBM, USA) 6B.1 "Boolean Process - An Analytical Approach to Circuit Representation," Y. Min (Academia Sinica, China). 6B.2 "Gate-Level Design Diagnosis Using a Learning-Based Search Strategy, I. Pomeranz and S.M. Reddy (U. of Iowa, USA). 6B.3 "Design Verification by Using Universal Test Sets," B. Chen, C. L. Lee (National Chiao Tung U., Taiwan), and J. E Chen (Chung-Hua Polytech. Insti., Taiwan). 10:15 to 10:35 Coffee break 10:35 to 11:50 Session 7A: Built-in Self-Test II Chair: C. W. Wu (National Tsing Hua University, Taiwan) 7A.1 "A Unified Method for Assembling Global Test Schedules," A. P. Stroele (U. of Karlsruhe, Germany) and H. J. Wunderlich (U. of Siegen, Germany). 7A.2 "Design of Pseudo-Random Patterns with Low Linear Dependence and Equi-Distribution," S. Matsufuji, S. Tadaki, and T. Yamanaka (Saga U., Japan). 7A.3 "Minimum Test Sets for Locally Exhaustive Testing of Combinational Circuits with Five Outputs," T. Yokohira, T. Shimizu, H. Michinishi, Y. Sugiyama, and T. Okamoto (Okayama U., Japan). Session 7B: Verification II Chair: T. Yoneda (Tokyo Institute of Technology, Japan) 7B.1 "Time-Space Modal Model Checking towards Verification of Bit-Slice Architecture," H. Hiraishi (Kyoto Sangyo U., Japan). 7B.2 "Automatic Test Generation for Functional Verification of Microprocessors," J. Miyake, G. Brown, M. Ueda, and T. Nishiyama (Matsushita Ele. Ind. Co., Japan). 7B.3 "Automatic Program Generation for Pipelined Processors," H. Iwashita, S.Kowatari, T. Nakata, and F. Hirose (Fujitsu Lab. Ltd., Japan). 11:50 to 13:30 Lunch 13:30 to 14:45 Session 8A: Synthesis for Testability Chair: A. Ivanov (University of British Columbia, Canada) 8A.1 "Testable Synthesis and Testing of Finite State Machines," C. -Y. Liu and K. K. Saluja (U. of Wisconsin, USA). 8A.2 "On Full Path Delay Fault Testability of Combinational Circuits," X. Xie and A. Albicki (U. of Rochester, USA). 8A.3 "Data Path Synthesis for Easy Testability," M.K.Dhodhi, I. Ahmad, and A. A. Ismaeel (Kuwait U., Kuwait). Session 8B: Test Cost Reduction Chair: A. Motohara (Matsushita Electric Industrial Co. Ltd., Japan) 8B.1 "Two Technologies for Minimizing Power Dissipation in Scan Circuits During Test Application," S. Chakravarty and V. Dabholkar (State U. of New York at Buffalo, USA). 8B.2 "Test Time Reduction for Scan-Designed Circuits by Sliding Compatibility," J.-S. Chang and C.-S. Lin (National Taiwan U., Taiwan). 8B.3 "A Partial Scan Algorithm Based on Reduced Scan Shift," Y. Higami, S. Kajihara, and K. Kinoshita (Osaka U., Japan). 14:45 to 15:05 Coffee break 15:05 to 16:45 Session 9A: Diagnostics and Fault-Tolerant Systems Chair: Y. Zorian (AT&T Bell Lab., USA) 9A.1 "Experiment of Faults on the "Happa" System and a Proposal of Backup RAM Technique," K. Iwasaki, H. Yoshikawa, and A. Furuta (Chiba U., Japan). 9A.2 "A Diagnostic Network for Massively Parallel Processing Systems," Y.-H. Choi and Y.-S. Kim (Honglk U., Korea). 9A.3 "Design and Evaluation of Fault-Tolerant Interleaved Memory Systems," S.-K. Lu, S.-Y. Kuo (National Taiwan U., Taiwan), and C-W. Wu (National Tsin Hua U., Taiwan). 9A.4 "Switching Networks and Neural Algorithms for Reconstructing Mesh-Connected Processor Arrays with Spares on Their Sides," I. Takanami (Iwate U., Japan), Y. Hisanaga, and K. Inoue (Yamaguchi U., Japan). Session 9B: Analog and Adaptive Testing Chair: S. Kikuchi (Hitachi Ltd., Japan) 9B.1 "A Fault Diagnosis Technique for Subranging ADCs," A. Charoenrook and M. Soma (U. of Washington, USA). 9B.2 "A New Built-In Self-Test Approach for Medium to High-Resolution Digital-to-Analog Converters," K. Arabi, B. Kaminska (Ecole Polytech. de Montreal, Canada), and J. Rzeszut (Warsaw U. of Tech., Poland). 9B.3 "Characteristics of a Fuzzy Test System," T. Koyama (Tokushima Bunri Univ., Japan). 9B.4 "To Verify Manufacturing Yield by Testing," M.-J. Wang, J.-E Chen, and Y.-Y. Chen (Chung-Hua Polytech. Insti., Taiwan). ============================ REGISTRATION: Registration fees: Before Oct.14, 1994 After Oct. 14, 1994 IEEE Member 41,000 yen 49,000 yen Non-member 52,000 yen 62,000 yen Student 7,000 yen 9,000 yen This fee includes reception, banquet, coffee breaks, a copy of symposium proceedings. The student fee does not include reception and banquet. HOTEL RESERVATION: For hotel reservation, please contact JTB kyoto Office. ATS discount will be available. JTB Kyoto Office Higashi-Shiokoji-cho, Shimogyo-ku, Kyoto 600, JAPAN Phone: +81-75-361-7241 Telefax: +81-75-341-1028 *************************************************************** * For more information please contact Hideo Tamamoto * * (tamamoto(at)ie.akita-u.ac.jp), Publicity Chair, by e-mail. * * You can get a printed version of advance program which * * includes a registration form and a hotel application form. * *************************************************************** |