Thu, May 8 PM 13:30 - 14:30 |
(1) |
13:30-14:30 |
[Invited Talk]
HW/SW Co-verification Method Using FPGAs |
Yuichi Nakamura, Kouhei Hosokawa (NEC) |
|
14:30-14:45 |
Break ( 15 min. ) |
Thu, May 8 PM 14:45 - 15:35 |
(2) |
14:45-15:10 |
Checker Circuit Generation for System Verilog Assertions in Prototyping Verification |
Mengru Wang, Shinji Kimura (Waseda Univ.) |
(3) |
15:10-15:35 |
Checker Generation of Assertions with Local Variables for Model Checking |
Sho Takeuchi, Kiyoharu Hamaguchi, Yosuke Kakiuchi, Toshinobu Kashiwabara (Osaka Univ.) |
|
15:35-15:50 |
Break ( 15 min. ) |
Thu, May 8 PM 15:50 - 17:05 |
(4) |
15:50-16:15 |
Improvement Technique of Binding for Multiplexer Reduction |
Sho Kodama, Yusuke Matsunaga (Kyushu Univ.) |
(5) |
16:15-16:40 |
Radix-2 Butterfly Circuit Architecture Using Selector Logic |
Takeshi Namura, Nozomu Togawa, Masao Yanagisawa, Tatsuo Ohtsuki (Waseda Univ.), Motonobu Tonomura (Dai Nippon Print) |
(6) |
16:40-17:05 |
Improvement of swtching activity aware algorithm for prefix graph synthesis |
Taeko Matsunaga, Shinji Kimura (Waseda Univ), Yusuke Matsunaga (Kyushu Univ) |
Fri, May 9 AM 10:00 - 11:00 |
(7) |
10:00-11:00 |
[Invited Talk]
NoizeProblems in LSI Design:Challenges and Approaches |
Makoto Nagata (Kobe Univ.) |
|
11:00-11:15 |
Break ( 15 min. ) |
Fri, May 9 AM 11:15 - 12:05 |
(8) |
11:15-11:40 |
Fast Wire Length Estimation in Obstructive Block Placement |
Shuting Li (Univ. of Kitakyushu), Tan Yan (Univ. of Illinois at Urbana-Champaign), Yasuhiro Takashima, Hiroshi Murata (Univ. of Kitakyushu) |
(9) |
11:40-12:05 |
Analysis of Effects of Input Arrival Time Variations on On-Chip Bus Power Consumption |
Masanori Muroyama, Tohru Ishihara, Hiroto Yasuura (Kyushu Univ.) |
|
12:05-13:30 |
Break ( 85 min. ) |
Fri, May 9 PM 13:30 - 14:20 |
(10) |
13:30-13:55 |
Fine-Grained Power Gating Based on the Controlling Value of Logic Gates |
Lei Chen (Waseda Univ.), Takashi Horiyama (Saitama Univ.), Yuichi Nakamura (NEC), Shinji Kimura (Waseda Univ.) |
(11) |
13:55-14:20 |
A Sub 100 mW H.264/AVC MP@L4.1 Integer-Pel Motion Estimation Processor VLSI for MBAFF Encoding |
Kosuke Mizuno, Junichi Miyakoshi, Yuichiro Murachi, Masaki Hamamoto, Takahiro Iinuma, Tomokazu Ishihara, Fang Yin, Jangchung Lee, Tetsuya Kamino, Hiroshi Kawaguchi, Masahiko Yoshimoto (Kobe Univ.) |
|
14:20-14:35 |
Break ( 15 min. ) |
Fri, May 9 PM 14:35 - 15:25 |
(12) |
14:35-15:00 |
A Dependable SRAM with high-reliability mode and high-speed mode. |
Shunsuke Okumura, Hidehiro Fujiwara, Yusuke Iguchi, Hiroki Noguchi, Yasuhiro Morita, Hiroshi Kawaguchi, Masahiko Yoshimoto (Kobe Univ.) |
(13) |
15:00-15:25 |
On Synthesizing a Heterogeneous Multiprocessor System under Real-Time and SEU Vulnerability Constraints |
Makoto Sugihara (Toyohashi Univ. of Tech./JST-CREST) |