________________________________________
Call for Papers
WRTLT’05
6th Workshop on RTL and High Level Testing
July 20-21, 2005, Harbin, China
Sponsored by
IEEE Computer Society Test Technology Technical Council
In cooperation with
Technical Committee on Fault Tolerant Computing, CCF
High level testing is an important topic in the SoC age. The sixth WRTLT will bring together the researchers and designers in the field from all over the world. The workshop aims to provide a forum for them to exchange ideas and experiences on register transfer level (RTL) and high level testing.
Papers are invited on the topics related to, but not limited to, the following areas:
● RTL BIST
● RTL ATPG
● RTL DFT
● High Level Testing
● Processor Testing
● Software Testing
● SoC Testing
● Functional Verification
Authors are invited to submit paper proposals for presentation at the workshop. The proposal may be an extended summary (1,000 words) or a full paper and should include: title, full name and affiliation of all authors, 50 words abstract and keywords. Please submit papers as postscript or pdf files to the following address by March 30, 2005.
wrtlt05(at)hit.edu.cn
Please identify the contact author and include the complete mailing address, email address, telephone and/or fax numbers of the author. Authors will be notified of acceptance by May 10, 2005.Camera-ready papers should be submitted to the same address by June 10, 2005.
IMPORTANT DATES
Submission deadline: March 30, 2005.
Acceptance notification: May 10, 2005.
Camera-ready due: June 10, 2005
Photocopies of accepted papers will be handed out to the attendees at the workshop site.
For up-to-date information on WRTLT'05, please visit the workshop website: http://wrtlt05.hit.edu.cn. Or contact the workshop chairs.
________________________________________
General Chair:
Zhigang Mao
Harbin Institute of Technology
mao(at)hit.edu.cn
Program Chair:
Liyi Xiao
Harbin Institute of Technology
xiaoly(at)hit.edu.cn
Finance Chair:
Yongsheng Wang
Harbin Institute of Technology
yswang(at)hit.edu.cn
Local Arrangement Chair:
Fengchang Lai
Harbin Institute of Technology
fclai(at)163.com
Registration Chair:
Jinxiang Wang
Harbin Institute of Technology
jxwang(at)hit.edu.cn
Secretary:
Yunlong Bi
Harbin Institute of Technology
biyunlong(at)hit.edu.cn
________________________________________
Steering Committee
Chair:
Hideo Fujiwara, Japan
Members:
Terumine Hayashi, Japan
Kazuhiko Iwasaki, Japan
Xiaowei Li, China
Alex Orailoglu, USA
Kewal K. Saluja, USA
Hideo Tamamoto, Japan
J. Paulo Teixeira, Portugal
Dafang Zhang, China
________________________________________
Program Committee
Members:
Dafang Zhang , China
Erik Larsson , Sweden
Hiroyuki Yotsuyanagi,Japan
Huawei Li , China
Jianhui Jiang , China
Jinian Bian , China
Kazumi Hatayama , Japan
Kewal K. Saluja , USA
Masaki Hashizume , Japan
Matteo Sonza Reorda,Italy
Michiko Inoue , Japan
Satochi Fukumoto , Japan
Sying-Jyan Wang,Taiwan,China
Terumine Hayashi , Japan
Tomoo Inoue , Japan
Tsuyoshi Shinogi , Japan
Weikang Huang , China
Xiaoqing Wen , Japan
Xiaowei Li , China
Yihe Sun , China
Yingquan Zhou , China
Yongsheng Wang , China
Zhongcheng Li , China
________________________________________
WRTLT 2005 Technical Program
July 20-21, 2005,SINOWAY Hotel, Harbin, China
July 19, 2005
08:00-18:00 Registration Open at SINOWAY Hotel
18:00-20:00 Welcome Reception
July 20, 2005
08:00-08:30 Opeining Session
08:30-10:00 Session 1 BIST
Co-Chairs: Yinghua Min, Insitute of Computing Technology, Chinese Academy of Sciences, China
Tomoo Inoue, Hiroshima City University, Japan
1.1 : Perfect error identification in at-speed BIST environment
Yoshiyuki Nakamura, Thomas Clouqueur, Kewal K. Saluja and Hideo Fujiwara
1.2 : Test Data Compression Using TPG Reconstruction for BIST-Aided Scan Test
Masayuki Arai, Satoshi Fukumoto, Kazuhiko Iwasaki,Takahisa Hiraide and Takashi Aikyo
1.3 : Localizing Test Power Consumption for Scan
Dong Xiang, Kai-wei Li and Hideo Fujiwara
1.4 : Matrices of Multiple Weights for Test Response Compaction with Unknown Values
Thomas Clouqueur, Kewal K. Saluja and Hideo Fujiwara
1.5 : A Memory Grouping Method for reducing Memory BIST Logic of System-on-Chips
Masahide Miyazaki, Tomokazu Yoneda and Hideo Fujiwara
________________________________________
Coffee Break
________________________________________
10:15-11:45 Session 2 ATPG
Co-Chairs: Hideo Tamamoto, Akita University, Japan
Dafan Zhang, Hunan University, China
2.1 : A Method for Low-Capture-Power At-Speed Scan Test Generation
Xiaoqing Wen, Yoshiyuki Yamashita, Shohei Morishima and Seiji Kajihara
2.2 : Acceleration of Test Generation for Sequential Circuits Using Knowledge Obtained from Synthesis for Testability
Masato Nakazato Satoshi Ohtake and Hideo Fujiwara
2.3 : Test Generation Complexity for Path Delay Faults Based onNotation
Chia Yee OOI, Thomas CLOUQUEUR and Hideo FUJIWARA
2.4 : Test data sequence generation method for Reduced Scan Shift without scan chain flip-flop reordering
Tsuyoshi Shinogi, Hiroyuki Yamada, Terumine Hayashi, Tomohiro Yoshikawa and Shinji Tsuruoka
2.5 : Test Generation for Scan Circuits Using Random Selection of the Operations of Scan Flip-flops
Tomohiko Nagashima, Hiroyuki Yotsuyanagi, Masaki Hashizume and Takeomi Tamesada
2.6 : A Novel Method to Identify Sensitized Paths Certainly
LEI Shaochong and SHAO Zhibiao
________________________________________
12:00-13:30 Lunch / Steering Committee Meeting
________________________________________
13:30-15:00 Session 3 SoC Testing
Co-Chairs: Hiroyuki Yotsuyanagi, University of Tokushima, Japan
Xiaowei Li, Institute of Computing Technology, Chinese Academy of Sciences, China
3.1 : A Test Data Compression Architecture with Abort-on Fail Capability
Erik Larsson and Giliani Irtiyaz
3.2 : An Efficient Detect Model for Crosstalk Faults on SOC interconnects.
ZHANG Jin-Lin, SHEN Xu-Bang and CHEN Chao-Yang
3.3 : Evaluation Dependability of SoC by Software Method
Jun-jie Peng1, Bing-rong Hong, Rui Li and Cheng-jun Yuan
3.4 : A new and Efficient Model for Testing Signal Integrity in SoCs
ZHANG Jin-Lin, SHEN Xu-Bang and CHEN Chao-Yang
3.5 : A Reseeding BIST Scheme with Variable Lengths of Test Sequence
YANG Zheyi, ZHANG Jiansheng, HUANG Weikang
________________________________________
Break
________________________________________
15:05-15:30 Session 4 Software Testing
Chair: Yongshen Wang, Harbin Institute of Technology, China
4.1 : Test suit Reduction Based on Test History
Xue-ying MA and Cheng-qing YE
4.2 : The Software/Hardware Co-Debug Environment with Emulator
Baodong Yu and Xuecheng Zou
________________________________________
Coffee Break
________________________________________
15:45-16:50 Session 5 High Level Testing
Chair: Xiaoqing Wen, Kyushu Institute of Techonlogy, Japan
5.1 : A Functional Test Method for State Observable FSMs
Toshinori Hosokawa and Hideo Fujiwara
5.2 : The Reseeding Timing for a 32-bit Digital Chaos-Based Pseudo Random Number Generator
Jiung-Sheng Chen, Chung-Yi Li and Tsin-Yuan Chang
5.3 : ADC BIST Based on Linear Histogram Using Parallel Time Decomposition
WANG Yong-sheng, XIAO Li-yi and YE Yi-zheng
5.4 : SOFM: A Novel Approach to Direct ATPG
Xiutao Yang, Wei Lu and Xiaowei Li
________________________________________
Break
________________________________________
16:55-18:00 Session 6 Processor Testing
Chair: Terumine Hayashi, Mie University, Japan
6.1 : A High Performance Instruction Set Simulator Using Dynamic Decode Cache
Sang Shengtian
6.2 : Taxonomy and new trends in Fault Tolerant Modern Microprocessors
Fu Zhongchuan ,Chen Hongsong ,Yang Hua and Cui Gang
6.3 : THUMPSim: A Cycle Accurate Processor Simulator
Yu Gu, Youhui Zhang and Dongsheng Wang
6.4 : Memory System Testing Technology of Chip Multiprocessor
Guo Songliu, Li Zhaolin and Wang Dongsheng
________________________________________
18:30-20:30 Banquet
July 21, 2005
8:30-10:00 Session 7 RTL DFT
Co-Chairs: Erik Larsson, Linkoepings University, Sweden
Jinian Bian, Tsinghua University, China
7.1 : A method for designing hierarchically testable datapaths based on fixed-control testability
Tomoo Inoue, Yudai Kawahara and Hideyuki Ichihara
7.2 : A Built-In Self-Repair Compiler for Embedded Memories Based on VDWL Architectures
Shyue-Kung Lu and Shih-Chang Huang
7.3 : A Low Power Deterministic Test Using Scan Chain Disable Technique
Zhiqiang You, Tsuyoshi Iwagaki, Michiko Inoue and Hideo Fujiwara
7.4 : On Quantifying Observability for Fault Diagnosis of VLSI Circuits
Naoya Toyota, Xiaoqing Wen, Seiji Kajihara and Masaru Sanada
7.5 : Estimating Power Consumption Increase due toTestability Enhancement in RTL Domain
Naghmeh karimi and Mehdi Sedighi
________________________________________
Coffee Break
________________________________________
10:15-12:00 Session 8 Functional Verification
Co-Chairs: Weikang Huang, Fudan University, China
Tsin-Yuan Chang, National Tsing Hua University, Taiwan, China
8.1 : Sequential Equivalence Checking Combining BDD and Sequential SAT
Feijun Zheng and Xiaolang Yan
8.2 : Hierarchical Property Checking for RTL Circuits by LP-based Satisfiability Solving
Weiwei Zheng, Weimin Wu and Jinian Bian
8.3 : Model Checking of A DLX Microprocessor Design By Exploiting Modular Hierarchy
Di Wang, Weimin Wu, Weiwei Zheng and Jinian Bian
8.4 : Research on the FSM-Based Automatic Generation Method of Monitor in Functional Verification
Zhang Duoli, Li Li and Gao Minglun
8.5 : Finding Optimized Verification Path in SoC FSM
WANG Zhonghai and YE Yizheng
8.6 : Hierarchy Testbench Design Method for IP Block Functional Verification
Yang Minhua, Li Li , Sha Jin, Gao Minglun and Li Wei
________________________________________
12:00-13:30 Lunch
________________________________________
13:30-17:30 A tour of the city