(Back to Session Schedule)

SASIMI 2013
The 18th Workshop on Synthesis And System Integration of Mixed Information Technologies

Poster I
Time: 11:00 - 12:10 Monday, October 21, 2013
Location: Tanchō-Hakuchō 1 & Kujyaku
Chairs: Kouichirou Yamashita (Fujitsu Laboratories Ltd., Japan), SeungJu Lee (Waseda University, Japan)

R1-1 (Time: 11:00 - 11:02)
TitleA Novel Fast and Accurate Hot Spot Detection Method with Prüfer Code Layout Encoding
Author*Hong-Yan Su, Chieh-Chu Chen, Yih-Lang Li (National Chiao Tung University, Taiwan), An-Chun Tu, Chuh-Jen Wu, Chen-Ming Huang (Taiwan Semiconductor Manufacturing Company, Taiwan)
Pagepp. 2 - 7
KeywordDesign for manufacturability, process hotspot, pattern matching, centerline, Prüfer Encoding
AbstractAs design-for-manufacturability techniques have become widely used to improve the yield of nano-scale semiconductor technology in recent years, hot-spot detection methods have been investigated with a view to calibrating layout patterns that tend to reduce yield. In this work, we propose two graph models, i.e., skeleton graph and space graph, to formulate polygon topology and spatial relationship among polygons. In addition, a Prüfer Encoding based method is presented to encode each skeleton graph. Single polygon matching problem is then equivalent to the verification of graph isomorphism, which is realized by checking the identity of two correspond-ing enhanced Prüfer codes. A branch-and-bound based pattern anchoring algorithm is presented to resolve the vertex ordering problem for isomorphism checking. Finally, the general exact pattern matching problem can be accom-plished by adopting the space graph to identify the similarity of spatial rela-tionship among polygons. Experimental results show that we can achieve 5.6x runtime speedup than design-rule-based methodology in average.

R1-2 (Time: 11:02 - 11:04)
TitleImplementation of Protocol Independent Control-Intensive Design in High-Level Synthesis
AuthorTung-Hua Yeh, Jen-Chieh Yeh (Industrial Technology Research Institute, Taiwan), *Qiang Zhu (Cadence Design Systems, Japan)
Pagepp. 8 - 12
Keyworddesign experiences, high-level synthesis
AbstractHigh-level synthesis (HLS) has previously been applied to a variety of datapath-dominated and algorithmic designs achieving a comparable quality of result (QoR) with hand-edited RTL designs. However the capability and the applicability of HLS to control-intensive designs were always challenging. In this paper we present an efficient strategy to abstract control-intensive designs to which HLS technologies can efficiently be applied. The design using this strategy not only achieves good QoR, but also improves design reusability and productivity. We demonstrated two control-intensive designs: a Direct Memory Access (DMA) controller and a NAND flash controller, which resulted in a 3X design productivity improvement compared to traditional RTL design methodology, while maintaining comparable design quality to hand-edited RTL designs.

R1-3 (Time: 11:04 - 11:06)
TitleEvaluation of On-Chip Decoupling Capacitor's Effect on AES Cryptographic Circuit
Author*Tsunato Nakai, Mitsuru Shiozaki, Takaya Kubota, Takeshi Fujino (Ritsumeikan University, Japan)
Pagepp. 13 - 18
KeywordSide-channel attack, Electromagnetic analysis, ASIC semi-custom design, Cryptographic circuit, On-chip capacitor
AbstractPower Analysis (PA) attack and Electromagnetic Analysis (EMA) attack reveal a secret key on cryptographic circuits by measuring power variation and electromagnetic radiation during cryptographic operations, respectively. Inserting decoupling capacitors reduces PA leak; however, a resistance against EMA attack is not well-known. We fabricated Advanced Encryption Standard (AES) cryptographic chips with and without on-chip decoupling capacitors, and evaluated the resistance against PA and EMA attack. This paper presents on-chip decoupling capacitors make vulnerable to the EMA attack using Hamming-weight model.
PDF file

R1-4 (Time: 11:06 - 11:08)
TitleA Real-Time Peak Load Shaving with Error Compensation of Residential Load/PV Power Generation Forecasting
Author*Hide Nishihara, Ittetsu Taniguchi, Masahiro Fukui (Ritsumeikan University, Japan)
Pagepp. 19 - 24
KeywordPeak-Shaving, Smart Grid
AbstractThis paper proposes a real-time peak load shaving with error compensation of residential load/PV power generation forecasting. Various load/generation forecasting techniques have been proposed, but it is impossible to avoid forecasting error completely. This paper supposes a house with photovoltaic (PV) panel and energy storages, and proposes a power distribution method at household level to minimize a peak value of electric power demand. Experimental results show that the proposed method reduces the sum of purchased energy and wasted energy drastically with the same peak-shaving ratio, and the load/generation forecasting error is effectively compensated.

R1-5 (Time: 11:08 - 11:10)
TitleA Design of CMOS On-Chip Photovoltaic Device and Regulated DC-DC Converter for Micro System
Author*Haruki Ono, Kazuki Nomura, Nobuhiko Nakano (Keio University, Japan)
Pagepp. 25 - 27
Keywordstand-alone micro system, photovoltaic device, bootstrap charge pump
AbstractIn this paper, we propose electric power system for a stand-alone micro system. The micro system consists of photovoltaic device, voltage boost, ring oscillator, and regulator on a single silicon chip. We designed and measured several types of photovoltaic devices. The maximum output voltage of photovoltaic device is 550mV. The bootstrap charge pump circuit and regulator are designed for this power supply. This power supply outputs more than 1V. It is enough voltage for standard CMOS circuit.
PDF file

R1-6 (Time: 11:10 - 11:12)
TitleAn Error Diagnosis Technique Using QBF Solver to Fix LUT Functions
Author*Naoki Katayama, Hiroyuki Sakamoto, Tetsuya Hirose, Nobutaka Kuroki, Masahiro Numa (Kobe University, Japan)
Pagepp. 28 - 33
Keyworderror diagnosis, ECO, QBF
AbstractThis paper presents an error diagnosis technique using a QBF (Quantified Boolean Formula) solver to fix LUT functions. Although the conventional SAT-based error diagnosis technique checks equivalence between the given specification and the rectified circuit for every assignment to truth variables with each LUT function, the proposed QBF-based technique obtains all assignments to truth variables for satisfying equivalence at a time. Experimental results have shown that the proposed technique rectifies circuits which were unable to be corrected by the conventional SAT-based technique.

R1-7 (Time: 11:12 - 11:14)
TitleEnergy-Efficient Dynamic Voltage and Frequency Scaling by P/N-Performance Self-Adjustment Using Adaptive Body Bias
Author*A.K.M. Mahfuzul Islam, Norihiro Kamae, Tohru Ishihara, Hidetoshi Onodera (Kyoto University, Japan)
Pagepp. 34 - 39
KeywordDVFS, Energy Efficiency, Process Variation, Adaptive Body Bias
AbstractDynamic voltage and frequency scaling (DVFS) is a promising technique to improve energy efficiency for heterogeneous systems where work load varies with time. This paper addresses the effects of process variation on the energy efficiency for wide voltage range DVFS and proposes the use of P/N-performance self-adjustment scheme to enable typical-case design. Simulation results show that energy efficiency can be improved by more than 100% with the proposed technique compare to the conventional worst-case design methodology for a 65-nm commercial process.

R1-8 (Time: 11:14 - 11:16)
TitleA Nested Loop Pipelining in C Descriptions for System LSI Design
Author*Masahiro Nambu, Takashi Kambe (Kinki University, Japan), Shuji Tsukiyama (Chuo University, Japan)
Pagepp. 40 - 43
Keywordnested loop, pipelining, C based design, high level synthesis, BACH sytem
AbstractBehavioral synthesis from C language is now a key technology of system LSI design. Since large streaming data are usually processed by nested loops in behavioral description of system LSI, it is important to synthesize a circuit which can process such data efficiently. Nested loop pipelining is a useful implementation technique of the description to synthesize a circuit such that both computational throughput and hardware utilization are maximized. In this paper, we propose an algorithm for nested loop pipelining, which can produce pipeline stages with different processing times. We show two practical experimental results in order to demonstrate the performance of the proposed algorithm.
PDF file

R1-9 (Time: 11:16 - 11:18)
TitleGeneral Position-Based Weighted Round-Robin Arbitration for Arbitrary Traffic Patterns
Author*Hanmin Park, Kiyoung Choi (Seoul National University, Republic of Korea)
Pagepp. 44 - 49
KeywordNetwork-on-Chip, Weighted Round-Robin, Fair Arbitration, Equality of Service
AbstractThis paper presents the position-based weighted round-robin arbitration for equality of service in many-core network-on-chips employing a deterministic routing algorithm. We concentrate on the network saturation induced by arbitrary traffic patterns. It exploits the deterministic properties of the network to achieve global fairness of service provided to each node. The weights for input arbitration can be adjusted to make the network better adapted to arbitrary traffic patterns. By the adjustment, better equality of service can be achieved with no degradation of the network saturation throughput.

R1-10 (Time: 11:18 - 11:20)
TitleMemory Management for Dual-Addressing Memory Architecture
Author*Ting-Wei Hong, Yen-Hao Chen, Yi-Yu Liu (Yuan Ze University, Taiwan)
Pagepp. 50 - 55
KeywordDual-addressing memory, 2D virtual memory management, Data granularity and indexing
AbstractDual-addressing memory architecture is designed for two-dimensional memory access with both row-major and column-major localities. In this paper, we highlight two memory management issues in dual-addressing memory. First, to avoid the external fragmentation, we propose a virtual dual-addressing memory design to enable memory management via operating system. After that, to deal with the size mismatch between user-defined data and dual-addressing memory, we discuss data arrangement policies for different data granularity. With the proposed memory management techniques, we are capable of maximizing the memory utilization of dual-addressing memory.
PDF file

R1-11 (Time: 11:20 - 11:22)
TitleAlpha-Gamma Data Compression Method for Artificial Vision Systems Using Visual Cortex Stimulation
Author*Tomoki Sugiura, Arif Ullah Khan, Yoshinori Takeuchi, Masaharu Imai (Osaka University, Japan)
Pagepp. 56 - 61
Keyworddata compression, artificial vision, hybrid organ
AbstractIn this paper a data compression method for visual cortex stimulation based artificial vision is proposed and evaluated. The proposed method uses run-length encoding to express visual cortex stimulus data in numerical form, in which the numerical data representing ’1’ data and ’0’ data are encoded into binary by alpha encoding and gamma encoding, respectively. From experimental results, the proposed method reduced data size approximately 83% while execution cycles of the proposed method is practically equal to gamma encoding.
PDF file

R1-12 (Time: 11:22 - 11:24)
TitleAn Efficient Test Pattern Generator -Mersenne Twister-
AuthorHiroshi Iwata, *Sayaka Satonaka, Ken'ichi Yamaguchi (Nara National College of Technology, Japan)
Pagepp. 62 - 67
KeywordMersenne Twister, manufacturing test, pseudo random pattern, built-in self test, fault coverage
AbstractBuilt-in self test (BIST) is an answer for a high reliable manufacturing test with a reasonable cost. In this paper, we supposed that the Mersenne Twister is used as the test pattern generator instead of the LFSR to implement BIST into VLSIs. Experimental results show that the test patterns generated through the Mersenne Twister are efficient with respect to the fault coverage and it is implemented with a comparable cost to the LFSR.
PDF file

R1-13 (Time: 11:24 - 11:26)
TitlePower Optimization of a Micro-Controller with Silicon on Thin Buried Oxide
Author*Kuniaki Kitamori, Hongliang Su, Hideharu Amano (Keio University, Japan)
Pagepp. 68 - 73
KeywordSOTB, V850E-Star, low power consumption
AbstractNowadays, from battery supplied mobile devices to supercomputers, reducing the power consumption has become a serious design issue. Although using low power supply is the most efficient way to reduce the power, it also increase the leakage power and delay variance. Low-power Electronics Association & Project(LEAP) developed Silicon On Thin Buried Oxide(SOTB) technology to solve those problems. In order to verify the SOTB technology, we have applied to an automotive microcontroller V850E-Star. In this report, we investigate the operational speed and leak power with 40 kinds of reverse bias and forward bias voltages for each purpose: standby, energy maximum and performance maximum. In the standby mode, leak power of the energy maximum mode is reduced by 92%, while it works with 33MHz frequency clock in the energy maximum mode.
PDF file