• 検索結果がありません。

FOREWORD

N/A
N/A
Protected

Academic year: 2021

シェア "FOREWORD"

Copied!
2
0
0

読み込み中.... (全文を見る)

全文

(1)

640

IEICE TRANS. INF. & SYST., VOL.E91–D, NO.3 MARCH 2008

FOREWORD

Special Section on Test and Verification of VLSIs

The Fifteenth Asian Test Symposium (ATS’06) and the Seventh Workshop on RTL and High Level Testing (WRTLT’06) were held in Fukuoka, Japan on November 20th–23rd and 23rd–24th, respectively. Excellent works on state-of-the-art and wide-spread ideas and techniques were presented and discussed in ATS’06, while WRTLT’06 provided more frank discussion focusing on RTL and high level testing. We took these opportunities to promote and encourage researches on VLSI testing and verification more, and planed this special section.

We had 30 submissions including 27 full papers and 3 letters, and the Editorial Committee selected 16 full papers and 2 letters for publication through careful reviews. The accepted works cover Fault Detection, Fault Diagnosis, Verification, Test Compaction, Processor Testing, SoC Testing, Secure Test, and Built-In Self-Test.

The Guest Editors would like to appreciate all the authors for their submissions, and the reviewers for their professional and voluntary works. Finally, we would like to express our appreciation to the Editorial Committee Members for devoting a considerable amount of time to the editorial processes. Their names and affiliations are listed below.

Secretary:

Tomoo Inoue (Hiroshima City University) Editorial Committee Members:

Satoshi Fukumoto (Tokyo Metropolitan Univ.) Kiyoharu Hamaguchi (Osaka Univ.)

Masaki Hashizume (Tokushima Univ.) Kazumi Hatayama (STARC)

Yoshinobu Higami (Ehime Univ.) Toshinori Hosokawa (Nihon Univ.) Yukiya Miura (Tokyo Metropolitan Univ.)

Satoshi Ohtake (Nara Institute of Science and Technology) Yasuo Sato (Hitachi, Ltd.)

Tsuyoshi Shinogi (Mie Univ.) Hiroshi Takahashi (Ehime Univ.)

Masaaki Yoshida (NEC Electronics Corp.)

Seiji Kajihara

,Guest Editor

Michiko Inoue

,Guest Editor

(2)

IEICE TRANS. INF. & SYST., VOL.E91–D, NO.3 MARCH 2008

641

Seiji Kajihara (Member) received the B.S. and M.S. degrees from Hiroshima Uni-versity, Japan, and the Ph.D. degree from Osaka UniUni-versity, Japan,in 1987, 1989, and 1992, respectively. From 1992 to 1995, he worked with the Department of Applied Physics, Osaka University, as an Assistant Professor. In 1996, he joined the Department of Computer Science and Electronics of Kyushu Institute of Technology, Japan, where he is a Professor currently. His research interest includes test generation, delay testing, and design for testability. He re-ceived the Young Engineer Award from IEICE in 1997, the Yamashita SIG Research Award from IPSJ in 2002, and the Best Paper Award from IEICE in 2005. Dr. Kajihara is a member of the IEEE and the IPSJ.

Michiko Inoue (Member) received her B.E., M.E, and Ph.D. degrees in computer sci-ence from Osaka University in 1987, 1989, and 1995 respectively. She worked at Fujitsu Laboratories Ltd. from 1989 to 1991. She is an associate professor of Graduate School of In-formation Science, Nara institute of Science and Technology (NAIST). Her research interests include distributed algorithms, parallel algorithms, graph theory and design and test of digital systems. She is a member of IEEE, the Information Processing Society of Japan, and Japanese Society for Artificial Intelligence.

参照

関連したドキュメント

Greenberg and G.Stevens, p-adic L-functions and p-adic periods of modular forms, Invent.. Greenberg and G.Stevens, On the conjecture of Mazur, Tate and

The proof uses a set up of Seiberg Witten theory that replaces generic metrics by the construction of a localised Euler class of an infinite dimensional bundle with a Fredholm

Using the batch Markovian arrival process, the formulas for the average number of losses in a finite time interval and the stationary loss ratio are shown.. In addition,

[Mag3] , Painlev´ e-type differential equations for the recurrence coefficients of semi- classical orthogonal polynomials, J. Zaslavsky , Asymptotic expansions of ratios of

In particular this implies a shorter and much more transparent proof of the combinatorial part of the Mullineux conjecture with additional insights (Section 4). We also note that

Tree Calculus for Bivariate Difference Equations, Journal of Dif- ference Equations and Applications, 2014. Secant Tree Calculus, Central European Journal of Mathemat-

Given a marked Catalan tree (T, v), we will let [T, v] denote the equivalence class of all trees isomorphic to (T, v) as a rooted tree, where the isomorphism sends marked vertex

Is it possible to obtain similar results as in [COP] and in the present paper concerning John disks that are not necessarily