電子情報通信学会技術研究報告

Print edition: ISSN 0913-5685
Online edition: ISSN 2432-6380

vol. 105, no. 449

ディペンダブルコンピューティング

[PREV] [NEXT]

DC2005-53
スキャンテストにおけるキャプチャ時の低消費電力化に効果的なテスト集合変更について
○鈴木達也・温　暁青・梶原誠司（九工大）・宮瀬紘平・皆本義弘（JST）
pp. 1 - 6

DC2005-54
A Broadside Test Generation Method for Transition Faults in Partial Scan Circuits
○Tsuyoshi Iwagaki（JAIST）・Satoshi Ohtake・Hideo Fujiwara（NAIST）
pp. 7 - 12

DC2005-55
畳込み圧縮器のガロア体上への拡張に関する一考察
○新井雅之・福本　聡・岩崎一彦（首都大東京）
pp. 13 - 18

DC2005-56
ソフトウェア互換ハードウェアを合成する高位合成システムCCAPにおける変数と関数の扱い
○西口健一・石浦菜岐佐・西村啓成（関西学院大）・神原弘之（京都高度技研）・冨山宏之（名大）・高務祐哲・小谷　学（京大）
pp. 19 - 24

DC2005-57
シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法
○山口聖二・谷本匡亮・中田明夫・東野輝夫（阪大）
pp. 25 - 30

DC2005-58
ソフトウェア・ハードウェア協調設計における粒子追跡システムの設計
○上甲憲市・大口貴裕・上津寛和・酒井皓司（近畿大）・大倉崇宜（日本圧着端子製造）・神戸尚志（近畿大）
pp. 31 - 36

DC2005-59
論理回路のSmall-World性およびScale-Free性の考察
○宮崎敏明（会津大）
pp. 37 - 40

DC2005-60
限量子付ブール式の充足可能性判定を用いた論理式の最小因数分解手法
○吉田浩章・池田　誠・浅田邦博（東大）
pp. 41 - 46

DC2005-61
LUTカスケード・エミュレータにおけるレール出力の符号化法について
○永安伸也・笹尾　勤・松浦宗寛（九工大）
pp. 47 - 52

DC2005-62
LUTカスケード・エミュレータを用いた論理シミュレーションについて
○中原啓貴・笹尾　勤・松浦宗寛（九工大）
pp. 53 - 58

DC2005-63
時間付き信号遷移グラフの効率的縮約について
○米田友洋（NII）・Chris Myers（ユタ大）
pp. 59 - 64

DC2005-64
Structural Coverage of Traversed Transitions for Symbolic Model Checking
○Xingwen Xu・Shinji Kimura（Waseda Univ.）・Kazunari Horikawa・Takehiko Tsuchiya（Toshiba）
pp. 65 - 70

今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。