[SASIMI2006 Website]

SASIMI2006 Final Program


Monday April 3, 2006
Opening
09:30 - 09:40
Keynote Speech I
09:40 - 10:40
System Level Design & Design Experience I
10:40 - 12:25
Lunch
12:25 - 13:55
Invited Talk I
13:55 - 14:45
Logic Level Design & Physical Level Design I
14:45 - 16:30
Invited Talk II
16:30 - 17:20
Banquet
Tuesday April 4, 2006
Keynote Speech II
9:00 - 10:00
System Level Design & Design Experiences II
10:00 - 11:45
Lunch
11:45 - 13:15
Invited Talk III
13:15 - 14:05
Logic Level Design & Physical Level Design II
14:05 - 15:50
Panel Discussion
15:50 - 17:20
Closing
17:20 - 17:30


Monday April 3, 2006


Opening (09:30 - 09:40)


Keynote Speech I (09:40 - 10:40)

TitleNetworked Embedded Systems: Sensor Nets and Beyond
SpeakerShankar Sastry (Univ. of California, Berkeley, United States)


System Level Design & Design Experience I (10:40 - 12:25)

R1-1
TitleSystem Level Specification Synthesis
AuthorMikito Iwamasa, Tadatoshi Ishii, Kazuko Yamamoto (InterDesign Technologies, Inc., Japan)

R1-2 (Moved to Session R3)

R1-3
TitleCommunication Interfaces for System Level Design
AuthorHideaki Minamide, Tadashi Yoshimoto (Mitsubishi Electric Corprration, Japan), Yoshiaki Takagi, Shinya Honda, Hiroyuki Tomiyama, Hiroaki Takada (Nagoya Univ., Japan)

R1-4
TitleHigh-Level Synthesis of Variable Accesses and Function Calls in Software Compatible Hardware Synthesizer CCAP
AuthorMasanari Nishimura, Kenichi Nishiguchi, Nagisa Ishiura (Kwansei Gakuin Univ., Japan), Hiroyuki Kanbara (ASTEM RI, Japan), Hiroyuki Tomiyama (Nagoya Univ., Japan), Yutetsu Takatsukasa, Manabu Kotani (Kyoto Univ., Japan)

R1-5
TitleRefinement of Communication Architecture and Generation of Target Software with SystemC
AuthorMatthias Krause, Oliver Bringmann, Wolfgang Rosenstiel (FZI Forschungszentrum Informatik, Germany)

R1-6
TitleA program structure retaining analysis for hardware assistance
AuthorYuichi Shirai, Masanori Nishizawa, Takaaki Suzuki, Hiroshige Tsugawa, Hironori Yamauchi (Ritsumeikan Univ., Japan), Hideo Nishikado (Fukui Univ., Japan), Shiro Kobayashi (Asahi Kasei Co., Japan)

R1-7
TitleExploiting Narrow Bitwidth Operations for Low Power Embedded Software Design
AuthorSeiichiro Yamaguchi, Masanori Muroyama, Tohru Ishihara, Hiroto Yasuura (Kyushu Univ., Japan)

R1-8
TitleSoC-CBSHVE: a System-On-Chip Software and Hardware Co-Verification Environment Based on Components
AuthorJinShan Yu, YaoHong Zhang, QingPin Tan, Tun Li (National Univ. of Defense Technology, China)

R1-9
TitleDesign and Implementation of a Co-Emulation Environment with High Portability and Usability
AuthorKhamphong Khongsomboon, Nobuyuki Kondoh, Masashiro Ohyama, Naohiko Shimizu (Tokai Univ., Japan)

R1-10 (withdrawn)

R1-11
TitleThree Techniques about Memory to Speed Up Function Verification
AuthorKouhei Hosokawa, Katsunori Tanaka, Soji Mori, Yuichi Nakamura (NEC, Japan)

R1-12
TitleCooperative Simulation Environment of Hardware Plugged into a DIMM slot
AuthorTetsu Izawa, Konosuke Watanabe, Akira Kitamura, Yasuo Miyabe, Tomotaka Miyasiro, Hideharu Amano (Keio Univ., Japan)

R1-13
TitleFlexible Hardware/Software Interface Modeling Using High Level service Based Component Model
AuthorLobna Kriaa, Adriano sarmento, Mohamed-Wassim Youssef, Aimen Bouchhima, Frederic Petrot, Ahmed Amine Jerraya (TIMA Laboratory, France), Anne-Marie Fouillart (Thales, Land & Joint Systems EDS/DHD, France)

R1-14
TitleC-Based design of A Particle Tracking System
AuthorKenichi Jyoko, Takahiro Ohguchi, Hirokazu Uetu, Koji Sakai (Kinki Univ., Japan), Takanori Ohkura (JST Mfg. Co., Ltd., Japan)

R1-15
TitleHardware Architecture of Efficient Message-Passing Schedule based on Modified Min-Sum Algorithm for Decoding LDPC Codes
AuthorKazunori Shimizu, Tatsuyuki Ishikawa, Nozomu Togawa, Takeshi Ikenaga, Satoshi Goto (Waseda Univ., Japan)

R1-16
TitlePerformance Comparison and Optimization of Various LDPC Decoders
AuthorYun-Nan Chang (National Sun Yat-sen Univ., Taiwan)

R1-17
TitleFPGA-Based Design of a Surveillance System Employing Optical Flow
AuthorJason Schlessman (Princeton Univ., United States), Burak Ozer (Verificon Co., United States), Kenji Fujino, Kazurou Itoh (Yokogawa Electric Co., Japan), Wayne Wolf (Princeton Univ., United States)

R3-17
TitleMinimum Euclidean Distance Associative Memory Architecture with Fully-Parallel Search Capability
AuthorMd. Anwarul Abedin, Kazuhiro Kamimura, Ali Ahmadi, Tetsushi Koide, Hans Juergen Mattausch (Hiroshima Univ., Japan)


Invited Talk I (13:55 - 14:45)
Chair: Tsutomu Sasao (Kyushu Institute of Technology)

TitleEfficient Constrained Stimuli Generation for Biased Random Simulation
SpeakerAndreas Kuehlmann (Cadence Berkeley Labs, United States)


Logic Level Design & Physical Level Design I (14:45 - 16:30)

R2-1
TitleReversible Logic Synthesis of Sequential Elements
AuthorMin-Lun Chuang, Chun-Yao Wang (National Tsing Hua Univ., Taiwan)

R2-2
TitleOptimal Register Merging Method after Register Relocation in Semi-Synchronous framework
AuthorYukihide Kohira, Atsushi Takahashi (Tokyo Inst. of Tech., Japan)

R2-3
TitlePeak Current Reduction Technique by Flip-Flop Replacement
AuthorJiun-Kuan Wu, Tsung-Yi Wu (National Changhua Univ. of Education, Taiwan)

R2-4
TitleDesign of Address Generators Using multiple LUT cascade on FPGA
AuthorHui Qin, Tsutomu Sasao (Kyushu Inst. of Tech., Japan)

R2-5
TitleArithmetic Module Generator Based on Arithmetic Description Language
AuthorYuki Watanabe, Naofumi Homma, Takafumi Aoki (Tohoku Univ., Japan), Tatsuo Higuchi (Tohoku Inst. of Tech., Japan)

R2-6
TitleImproved Clustered Voltage Scaling Technique via Better Power-Timing Slack Sensitivity Strategy
AuthorHsiuan-Yi Tan, Hung-Ming Chen (National Chiao Tung Univ., Taiwan)

R2-7
TitlePerformance of H-tree Clock Distribution Networks in Presence of Process Variations and Inductance Effects
AuthorZhang Xu, Jiang Xiaohong, Susumu Horiguchi (Tohoku Univ., Japan)

R2-8
TitleA Unified C-BiCMOS Buffer Driver Using CMOS/SOI Process for High Speed and Low Energy Operation
AuthorTakashi Hamahata, Toshiro Akino (Kinki Univ., Japan)

R2-9
TitleLow-Power Design of CML Drivers for On-Chip Transmission-Lines
AuthorAkira Tsuchiya, Takeshi Kuboki, Hidetoshi Onodera (Kyoto Univ., Japan)

R2-10
TitlePower Reduction Using On-Chip Transmission Line for 45nm technology
AuthorKenichi Okada, Takumi Uezono, Kazuya Masu (Tokyo Inst. of Tech., Japan)

R2-11
TitleHierarchical Power Deliver Network Analysis Via Bipartite Markov Chain
AuthorPei-Yu Huang, Chih-Hong Hwang, Po-Han Lai, Yu-Min Lee (National Chiao-Tung Univ., Taiwan)

R2-12
TitleExtracting a Random Component of Variation from Measurement Results of a 90 nm LUT Array
AuthorKazuya Katsuki, Manabu Kotani, Kazutoshi Kobayashi, Hidetoshi Onodera (Kyoto Univ., Japan)

R2-13
TitleYield Estimation Considering Via Defects
AuthorTakumi Uezono, Kenichi Okada, Kazuya Masu (Tokyo Inst. of Tech., Japan)

R2-14
TitleSilencer Pro: A Synthesized Compact Models-Enabled CAD Tool for Substrate Noise Analysis
AuthorHai Lan (Stanford Univ., United States), Matthew MacClary, Karti Mayaram, Terri Fiez (Oregon State Univ., United States), Robert W. Duttton (Stanford Univ., United States)

R2-15
TitleDeterministic/Probablistic Noise and Bit Error Rate Modeling on On-chip Global interconnect
AuthorYoichi Yuyama, Kazutoshi Kobayashi, Hidetoshi Onodera (Kyoto Univ., Japan)

R2-16
TitleElectrical Modeling of MEMS Capacitive Sensor and Interconnections between Sensor and Circuit
AuthorHui Zhu, Bo Huang, Takaaki Baba (Waseda Univ., Japan)

R2-17
TitleAn Estimation Based Analog Circuit Sizing Method with Region Partitioning
AuthorTomohiro Fujita, Kazuki Kawasaki (Ritsumeikan Univ., Japan)


Invited Talk II (16:30 - 17:20)
Chair: Michiaki Muraoka (Semiconductor Industry Research Institute Japan)

TitleApplication Specific Processors (ASIP): On Design and Implementation Efficiency
SpeakerHeinrich Meyr (RWTH Aachen Univ., Germany)


Banquet


Tuesday April 4, 2006


Keynote Speech II (9:00 - 10:00)

TitleContinuously Evolving Automobile Electronics
SpeakerTakashi Shigematsu (Toyota Motor Co., Japan)


System Level Design & Design Experiences II (10:00 - 11:45)

R3-1
TitleLow Power Configurable Processor Generation Method with Fine Clock Gate at Pipeline Registers and Register Files
AuthorHirohumi Iwato, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai (Osaka Univ., Japan)

R3-2
TitleMOCSOC: Multiprocessor On Chip Synthesis from Occam
AuthorRiad Benmouhoub, Omar Hammami (ENSTA, France)

R3-3
TitleMOCDEX: Multiprocessor on Chip Multiobjective Design Space Exploration with Direct Execution
AuthorRiad Benmouhoub, Omar Hammami (ENSTA, France)

R3-4
TitleMultiple Clustered Core Processors
AuthorToshinori Sato (Kyushu Univ., Japan), Akihiro Chiyonobu (Kyushu Inst. of Tech., Japan)

R3-5
TitlePerformance and Energy Efficient Data Cache Architecture for Embedded Simultaneous Multithreading Microprocessor
AuthorChengjie Zang (Waseda Univ., Japan), Shigeki Imai (Sharp Co., Japan), Shinji Kimura (Waseda Univ., Japan)

R3-6
TitleOptimal Instruction Scheduling for Processors with Partial Forwarding using Integer Programming
AuthorTakuji Hieda, Hiroaki Tanaka, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai (Osaka Univ., Japan)

R3-7
TitleInstruction Compression Based on Field-Partitioning and an Efficient Pipelined Decompression System
AuthorYuan-Long Jeang, Yong-Zong Lin (National Kaohsiung Univ. of Applied Sciences, Taiwan)

R3-8
TitleA Pipelined Functional Unit Generation Method in HW/SW Cosynthesis System for SIMD Processor Cores
AuthorShunitsu Kohara, Akira Kurihara (Waseda Univ., Japan), Yuichiro Miyaoka (Waseda Univ., presently, the author is with the Toshiba., Japan), Nozomu Togawa, Masao Yanagisawa, Tatsuo Ohtsuki (Waseda Univ., Japan)

R3-9
TitleRemoval of Operation Overlap during Scheduling in High Level Synthesis
AuthorLiangwei Ge, Kouhei Isoda, Takeshi Yoshimura (Waseda Univ., Japan)

R3-10
TitleBuffer Minimization In RTL Synthesis From Coarse-grained Dataflow Specification
AuthorHoeseok Yang (Seoul National Univ., Republic of Korea), Hyunuk Jung (SAMSUNG Electronics Co., LTD., Republic of Korea), Soonhoi Ha (Seoul National Univ., Republic of Korea)

R3-11
TitleSchedule Exploration for Minimizing Energy Consumption by Data Communications
AuthorKazuhito Ito (Saitama Univ., Japan)

R3-12
TitleSimultaneous control-step and skew assignment for control signals in RT-level datapath synthesis
AuthorTakayuki Obata, Mineo Kaneko (JAIST, Japan)

R3-13
TitleDomain-Specific Reconfigurable Architecture for Media Processing
AuthorYukio Mitsuyama, Kazuma Takahashi, Rintaro Imai, Takao Onoye (Osaka Univ., Japan), Isao Shirakawa (Univ. of Hyogo, Japan)

R3-14
TitleFault-Tolerant Dynamic-Reconfigurable Device based on EDAC with Rollback
AuthorKentaro Nakahara, Shin'ichi Kouyama (Kyoto Univ., Japan), Tomonori Izumi (Ritsumeikan Univ., Japan), Hiroyuki Ochi, Yukihiro Nakamura (Kyoto Univ., Japan)

R3-15
TitleExecution Schemes for Dynamically Reconfigurable Architectures
AuthorTobias Oppold, Thomas Schweizer, Julio Oliveira Filho, Sven Eisenhardt, Tommy Kuhn, Wolfgang Rosenstiel (Univ. of Tuebingen, Germany)

R3-16
TitleOnline Task Placement on Partially Reconfigurable FPGAs using I/O Routing Information
AuthorMitsuru Tomono, Masaki Nakanishi, Shigeru Yamashita (NAIST, Japan), Kazuo Nakajima (Univ. of Maryland, Japan), Katsumasa Watanabe (NAIST, Japan)

R3-17 (*moved to Session R1)

R1-2
TitleNovel Algorithms for the Exact Computation of Storage Requirements Based on the Decomposition of Integral Polyhedra
AuthorIlie I. Luican, Hongwei Zhu, Florin Balasa (Univ. of Illinois, Chicago, United States)


Invited Talk III (13:15 - 14:05)
Chair: Toshiro Akino (Kinki University)

TitlePresent Status and Future Trend of Power/Signal Integrity Analysis
SpeakerHideki Asai (Shizuoka Univ., Japan)


Logic Level Design & Physical Level Design II (14:05 - 15:50)

R4-1
TitleSatisfiability Checking under Equivalence Constraints for a Decidable Subclass of First-Order Logic
AuthorHiroaki Kozawa, Kiyoharu Hamaguchi, Toshinobu Kashiwabara (Osaka Univ., Japan)

R4-2
TitleFormal Combinational Equivalence Checking Using Probability
AuthorShih-Chieh Wu, Chun-Yao Wang, Jan-An Hsieh (National Tsing Hua Univ., Taiwan)

R4-3
TitleExploiting K-Distance Signature for Boolean Matching and G-Symmetry Detection
AuthorKuo-Hua Wang (Fu Jen Catholic Univ., Taiwan)

R4-4 (withdrawn)

R4-5
TitleFinding Simple Disjoint Decompositions on Sets of Combinations Based on Zero-suppressed BDDs
AuthorShin-ichi Minato (Hokkaido Univ., Japan)

R4-6
TitleMUX Graph based False Path Analysis for Large Logic Circuits
AuthorHiroyuki Higuchi (Fujitsu Laboratories Ltd, Japan), Yusuke Matsunaga (Kyushu Univ., Japan)

R4-7
TitleA parallel implementation of a genetic algorithm-based floorplanning method on PC clusters
AuthorTakayoshi Shimazu, Shin'ichi Wakabayashi, Shinobu Nagayama (Hiroshima City Univ., Japan)

R4-8
TitleImproved Neighborhood Exchange in Multilevel Large-Scale Modules Floorplanning/Placement
AuthorKuan-Chung Wang, Hung-Ming Chen (National Chiao Tung Univ., Taiwan)

R4-9
TitleNetwork-Flow Based Delay-Aware Partitioning Algorithm
AuthorMasato Inagi (Univ. of Kitakyushu, Japan), Atsushi Takahashi (Tokyo Inst. of Tech., Japan)

R4-10
TitleFunction Smoothing of Half-Perimeter Wirelength in Analytical Placement
AuthorChen Li, Cheng-Kok Koh (Purdue Univ., United States)

R4-11
TitleCrosstalk-Driven Placement with Considering On-Chip Mutual Inductance and RLC Noise
AuthorCheng-Hsuan Chiu, Chih-Hong Hwang, Zhe-Yu Lin, Yu-Min Lee (National Chiao Tung Univ., Taiwan)

R4-12
TitleA Fast Algorithm in Constructing Performance-Driven Buffered Interconnect Tree with Routing Blockage Consideration
AuthorTsung-Ta Yu, Hung-Ming Chen (National Chiao Tung Univ., Taiwan)

R4-13
TitlePerformance- and Congestion-Driven Multilevel Router
AuthorYih-Lang Lin, Chih-Hong Hwang, Yu-Min Lee (National Chiao-Tung Univ., Taiwan)

R4-14
TitleA Power Grid Optimization Algorithm with Consideration of Dynamic Circuit Operations
AuthorHironobu Ishijima, Taiki Harada, Kenji Kusano, Masahiro Fukui, Masaya Yoshikawa, Hidekazu Terai (Ritsumeikan Univ., Japan)

R4-15
TitleTiming-Driven Octilinear Steiner Tree Construction Based on Steiner-Point Reassignment
AuthorJin-Tai Yan, Chia-Fang Lee, Ming-Ching Huang (Chung-Hua Univ., Taiwan)

R4-16
TitleMinimum-Crosstalk Track Assignment with Efficient Track Utilization
AuthorMeng-Xin Jiang, Ying-Shu Luo, Yih-Lang Li (National Chiao Tung Univ., Taiwan)

R4-17
TitlePost-Routing Yield/Reliability Improvement by Redundant Via Insertion and End-line Extension
AuthorKuang-Yao Lee, Ting-Chi Wang (National Tsing Hua Univ., Taiwan)


Panel Discussion (15:50 - 17:20)

Title
Role of University Researches under Land-sliding CMOS Silicon Age
OrganizerTakahide Inoue (BA Consulting Group & CITRIS, United States)
ModeratorTakahide Inoue (BA Consulting Group & CITRIS, United States)
Panelists(tentative)
Hideki Asai (Shizuoka Univ., Japan), Andreas Kuehlmann (Cadence Berkeley Labs, United States), Heinrich Meyr (RWTH Aachen Univ., Germany), Shankar Sastry (Univ. of California, Berkeley, United States)


Closing (17:20 - 17:30)


[SASIMI2006 Website]