Electronics-Integrated Circuits and Devices(Date:2006/03/02)

Presentation
表紙

,  

[Date]2006/3/2
[Paper #]
目次

,  

[Date]2006/3/2
[Paper #]
Verifying Deep Bugs by Model Checking with Inductive Approach

Tasuku NISHIHARA,  Takeshi MATSUMOTO,  Masahiro FUJITA,  

[Date]2006/3/2
[Paper #]VLD2005-108,ICD2005-225
An algorithm for power modeling and library building for system level design

Katsuhiro OSHIKAWA,  Masahiro FUKUI,  

[Date]2006/3/2
[Paper #]VLD2005-109,ICD2005-226
An accurate static power analysis method which considers temporal local transition density

Tatsuya YAMAMOTO,  Yuu YAMASHITA,  Katsuhiro OSHIKAWA,  Masahiro FUKUI,  

[Date]2006/3/2
[Paper #]VLD2005-110,ICD2005-227
A hardware/software partitioning system with design navigation for system LSIs design

Yohei KOJIMA,  Nozomu TOGAWA,  Masayoshi TACHIBANA,  Masao YANAGISAWA,  Tatsuo OHTSUKI,  

[Date]2006/3/2
[Paper #]VLD2005-111,ICD2005-228
Improved Network Processor for Dynamic Packet Flows and Its Experimental Evaluations

Hidetaka TABUCHI,  Shunitsu KOHARA,  Nozomu TOGAWA,  Masao YANAGISAWA,  Tatsuo OHTSUKI,  

[Date]2006/3/2
[Paper #]VLD2005-112,ICD2005-229
Improvement of Clustering Based Clock Scheduling Method

Yuichi SUNAHASHIRI,  Yukihide KOHIRA,  Atsushi TAKAHASHI,  

[Date]2006/3/2
[Paper #]VLD2005-113,ICD2005-230
A Code Placement Technique for Power Minimization of Way-Predicting Caches

Yohei IMAI,  Shinya HONDA,  Hiroyuki TOMIYAMA,  Hiroaki TAKADA,  

[Date]2006/3/2
[Paper #]VLD2005-114,ICD2005-231
A pipeline architecture optimization algorithm for SIMD-type processor core synthesis

Akira KURIHARA,  Nozomu TOGAWA,  Masao YANAGISAWA,  Tatsuo OHTSUKI,  

[Date]2006/3/2
[Paper #]VLD2005-115,ICD2005-232
Parallel CBM Algorithm and Architecture for JPEG 2000 Encoder for Digital Cinema

Takeshi ITO,  Takeshi IKENAGA,  Sou NAKAMURA,  

[Date]2006/3/2
[Paper #]VLD2005-116,ICD2005-233
Investigation on high performance LDPC decoder for IEEE802.16e

Ryota GAKIYA,  Tomohisa WADA,  

[Date]2006/3/2
[Paper #]VLD2005-117,ICD2005-234
A Real-time Object Detection LSI Based on Stereo Vision for Mobile Videophone

Tomohiro ARIKADO,  Satoshi GOTO,  Takeshi IKENAGA,  

[Date]2006/3/2
[Paper #]VLD2005-118,ICD2005-235
C-based design of a Particle Tracking System

Hirokazu UETSU,  Takahiro OHGUCHI,  Kenichi JYOKO,  Koji SAKAI,  Takashi KAMBE,  

[Date]2006/3/2
[Paper #]ILD2005-119,ICD2005-236
A System LSI Design Environment with Java Language

Manabu KOYAMA,  Hiroyuki TERAI,  Kazuhiko NAKAHARA,  Masaki MATSUMOTO,  Akihisa YAMADA,  Takashi KAMBE,  

[Date]2006/3/2
[Paper #]VLD2005-120,ICD2005-237
Conversion Method from High-level Hardware Description to Equivalence Logic Formulae

Kwanghoon JUNG,  Shinji KIMURA,  

[Date]2006/3/2
[Paper #]VLD2005-121,ICD2005-238
複写される方へ

,  

[Date]2006/3/2
[Paper #]
奥付

,  

[Date]2006/3/2
[Paper #]