お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2012-03-07 10:45
単一磁束量子回路の設計検証のための時刻付き論理式の等価性判定手法
川口隆広名大)・高木一義高木直史京大VLD2011-135
抄録 (和) 本研究では、単一磁束量子回路を時刻付き論理式で表現して等価性判定を行うことで、回路の状態数を削
減して機能検証を行う手法を提案する。本手法では、回路を時刻付き論理式で表現して、変数の値を定義する時刻と
異なる時刻で参照される変数のみを状態変数として扱い等価性判定を行う。これにより、少ない状態数での単一磁束
量子回路の設計検証が行える。 
(英) This paper proposes an equivalence checking method of timed logic formulae for reducing number of
states in verification of single-flux-quantum circuits. Proposed verification method deal with variables at different
times appeared in timed logic formulae as state variables. The verification of single-flux-quantum circuits can be
achieved with small states.
キーワード (和) 単一磁束量子回路 / 等価性判定 / 時刻付き論理式 / / / / /  
(英) single-flux-quantum circuit / equivalence checking / timed logic formulae / / / / /  
文献情報 信学技報, vol. 111, no. 450, VLD2011-135, pp. 91-96, 2012年3月.
資料番号 VLD2011-135 
発行日 2012-02-28 (VLD) 
ISSN Print edition: ISSN 0913-5685    Online edition: ISSN 2432-6380
著作権に
ついて
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
PDFダウンロード VLD2011-135

研究会情報
研究会 VLD  
開催期間 2012-03-06 - 2012-03-07 
開催地(和) ビーコンプラザ 
開催地(英) B-con Plaza 
テーマ(和) システムオンシリコンを支える設計技術 
テーマ(英) Design Methodologies for System-on-a-chip 
講演論文情報の詳細
申込み研究会 VLD 
会議コード 2012-03-VLD 
本文の言語 日本語 
タイトル(和) 単一磁束量子回路の設計検証のための時刻付き論理式の等価性判定手法 
サブタイトル(和)  
タイトル(英) Equivalence Checking Method of Timed Logic Formulae for Design Verification of Single-Flux Quantum Circuits 
サブタイトル(英)  
キーワード(1)(和/英) 単一磁束量子回路 / single-flux-quantum circuit  
キーワード(2)(和/英) 等価性判定 / equivalence checking  
キーワード(3)(和/英) 時刻付き論理式 / timed logic formulae  
キーワード(4)(和/英) /  
キーワード(5)(和/英) /  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 川口 隆広 / Takahiro Kawaguchi / カワグチ タカヒロ
第1著者 所属(和/英) 名古屋大学 (略称: 名大)
Nagoya University (略称: Nagoya Univ.)
第2著者 氏名(和/英/ヨミ) 高木 一義 / Kazuyoshi Takagi / タカギ カズヨシ
第2著者 所属(和/英) 京都大学 (略称: 京大)
Kyoto University (略称: Kyoto Univ.)
第3著者 氏名(和/英/ヨミ) 高木 直史 / Naofumi Takagi / タカギ ナオフミ
第3著者 所属(和/英) 京都大学 (略称: 京大)
Kyoto University (略称: Kyoto Univ.)
第4著者 氏名(和/英/ヨミ) / /
第4著者 所属(和/英) (略称: )
(略称: )
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者 第1著者 
発表日時 2012-03-07 10:45:00 
発表時間 25分 
申込先研究会 VLD 
資料番号 VLD2011-135 
巻番号(vol) vol.111 
号番号(no) no.450 
ページ範囲 pp.91-96 
ページ数
発行日 2012-02-28 (VLD) 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会