Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 09:00 |
Fukuoka |
Kitakyushu International Conference Center |
A Task Scheduling Method for Reliable Cache Architectures Makoto Sugihara (ISIT), Tohru Ishihara, Kazuaki Murakami (Kyushu Univ.) |
[more] |
CPSY2006-34 pp.1-6 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 09:25 |
Fukuoka |
Kitakyushu International Conference Center |
A Study on Energy Reduction in Quality-driven Digital Wireless Communication Systems Masayuki Tokunaga (Kyushu Univ), Taizo Tsujimoto (FLEETS), Hiroto Yasuura, Masanori Muroyama (Kyushu Univ) |
[more] |
CPSY2006-35 pp.7-12 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 09:50 |
Fukuoka |
Kitakyushu International Conference Center |
TBD Soichi Shigeta, Nobuyuki Imamura, Haruyasu Ueda, Hiromichi Kohashi, Miho Murata, Taketoshi Yoshida, Atsushi Kubota, Akira Yasuzato, Yoshimasa Kadooka (Fujitsu Labs. LTD.) |
[more] |
CPSY2006-36 pp.13-18 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 10:15 |
Fukuoka |
Kitakyushu International Conference Center |
Distributed Network Transaction Appliance using Dynamic Reconfigurable Processor Takashi Isobe (Hitachi, Ltd.) |
Upcoming broadcast-and-communication convergence and ubiquitous computing are required to provide different users/termin... [more] |
CPSY2006-37 pp.19-24 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 09:00 |
Fukuoka |
Kitakyushu International Conference Center |
A methodology of generating verification scenarios from specification Ryosuke Oishi, Akio Matsuda, Hiroaki Iwashita, Koichiro Takayama (Fujitsu Labs. LTD.) |
[more] |
VLD2006-51 DC2006-38 pp.1-4 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 09:25 |
Fukuoka |
Kitakyushu International Conference Center |
Equivalence Checking using a Decidable Subclass of First-Order-Logic under Equivalence Constraints Hiroaki Kozawa, Kiyoharu Hamaguchi, Toshinobu Kashiwabara (Osaka Univ.) |
[more] |
VLD2006-52 DC2006-39 pp.5-10 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 09:50 |
Fukuoka |
Kitakyushu International Conference Center |
Bounded Model Checking for Assertions including Dynamic Local Variables Sho Takeuchi, Kiyoharu Hamaguchi, Toshinobu Kashiwabara (Osaka Univ.) |
[more] |
VLD2006-53 DC2006-40 pp.11-16 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 10:15 |
Fukuoka |
Kitakyushu International Conference Center |
Formal Verification Method for Arithmetic Circuits and Its Evaluation Yuki Watanabe, Naofumi Homma, Takafumi Aoki (Tohoku Univ.), Tatsuo Higuchi (Totech) |
[more] |
VLD2006-54 DC2006-41 pp.17-22 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 10:55 |
Fukuoka |
Kitakyushu International Conference Center |
A Method of Test Plan Generation in Hierarchical Test Based on Balanced Structure Yudai Kawahara, Hideyuki Ichihara, Tomoo Inoue (Hiroshima City Univ.) |
[more] |
VLD2006-55 DC2006-42 pp.23-28 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 11:20 |
Fukuoka |
Kitakyushu International Conference Center |
Test Compression/Decompression with the Decoding Function in Multimedia Cores Yukinori Setohara, Yusuke Nakashima, Hideyuki Ichihara, Tomoo Inoue (Hiroshima City Univ.) |
[more] |
VLD2006-56 DC2006-43 pp.29-34 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 11:45 |
Fukuoka |
Kitakyushu International Conference Center |
Test relaxation for N-detection test patterns in broad-side delay testing Kenjiro Taniguchi (Kyushu Inst. of Tech.), Kohei Miyase (JST), Seiji Kajihara, Xiaoqing Wen (Kyushu Inst. of Tech.) |
[more] |
VLD2006-57 DC2006-44 pp.35-40 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 10:55 |
Fukuoka |
Kitakyushu International Conference Center |
Decision Diagram Data Structure to Represent Quantum Circuit Shigeru Yamashita (NAIST), D. Michael Miller (Univ. of Victoria) |
[more] |
VLD2006-58 DC2006-45 pp.41-46 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 11:20 |
Fukuoka |
Kitakyushu International Conference Center |
Depth-Optimum and Area-Optimal Technology Mapping for LUT-based FPGAs Taiga Takata, Yusuke Matsunaga (Kyushu Univ.) |
[more] |
VLD2006-59 DC2006-46 pp.47-52 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 11:45 |
Fukuoka |
Kitakyushu International Conference Center |
Asymmetric Slope Differential Logic with High-Speed and Low-Power Operation Modes Masao Morimoto, Makoto Nagata (Kobe Univ.), Kazuo Taki (AIL) |
[more] |
VLD2006-60 DC2006-47 pp.53-58 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 16:10 |
Fukuoka |
Kitakyushu International Conference Center |
Test Scheduling for SoCs with Built-In Self-Repairable Memory Cores Yusuke Fukuda, Tomokazu Yoneda, Hideo Fujiwara (NAIST) |
This paper presents a power-constrained test scheduling mehtod for SoCs with built-in self repairable memories which are... [more] |
VLD2006-61 DC2006-48 pp.59-64 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 16:35 |
Fukuoka |
Kitakyushu International Conference Center |
A Self-Test of Dynamically Reconfigurable Processors Takashi Fujii, Hideyuki Ichihara, Tomoo Inoue (Hiroshima City Univ.) |
Dynamically Reconfigurable Processor (DRP), which can execute a task with multiple hardware contexts so as to achieve hi... [more] |
VLD2006-62 DC2006-49 pp.65-70 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 16:10 |
Fukuoka |
Kitakyushu International Conference Center |
Proposal of a Behavioral Synthesis Method for Asynchronous Circuits in Bundled-data Implementation Naohiro Hamada, Takao Konishi, Hiroshi Saito (The Univ. of Aizu), Tomohiro Yoneda (NII), Takashi Nanya (The Univ. of Tokyo) |
[more] |
VLD2006-63 DC2006-50 pp.71-76 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 16:35 |
Fukuoka |
Kitakyushu International Conference Center |
A Basic Study on Data Path Synthesis Considering Delay Variation Keisuke Inoue, Mineo Kaneko, Tsuyoshi Iwagaki (JAIST) |
[more] |
VLD2006-64 DC2006-51 pp.77-82 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-28 17:00 |
Fukuoka |
Kitakyushu International Conference Center |
Computational Complexity of Simultaneous Optimization of Control Schedule and Skew in Datapath Synthesis Takayuki Obata, Mineo Kaneko (JAIST) |
[more] |
VLD2006-65 DC2006-52 pp.83-88 |
RECONF, CPSY, VLD, DC, IPSJ-SLDM, IPSJ-ARC (Joint) [detail] |
2006-11-29 13:30 |
Fukuoka |
Kitakyushu International Conference Center |
[Special Talk]
SystemVerilog Tutorial Kasumi Hamaguchi (Panasonic), Takaaki Akashi (Synopsys), Takeharu Yui (ONW), Kenji Goto (Cadence), Miyuki Okamoto (SANYO), Masashi Sugiura (Zuken), Takehiko Tsuchiya (Toshiba), Yukio Chiwata (Fujitsu), Hirokuni Taketazu (Panasonic), KunDo Lee (Mentor), Yoshio Takamine (Renesas) |
[more] |
VLD2006-66 DC2006-53 RECONF2006-38 pp.1-13 |