米田 友洋


高位仕様記述からの非同期式回路自動合成について
松本 敦 米田 友洋 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/04/01
Vol. J89-D  No. 4  pp. 660-673
論文種別:  特集論文 (フォーマルアプローチ論文特集)
専門分野: ハードウェア
キーワード: 
高位合成非同期式回路論理合成信号遷移グラフSpecC
 あらまし | 本文:PDF(1.4MB)

シミュレーションを利用した形式的検証システム
森広 芳文 米田 友洋 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/04/01
Vol. J84-D1  No. 4  pp. 367-377
論文種別:  論文
専門分野: フォールトトレランス
キーワード: 
形式的検証シミュレーション状態遷移図同期式回路
 あらまし | 本文:PDF(841.2KB)

対称性及び抽象化を利用した検証方式の効率化
戸島 弘詩 米田 友洋 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/07/25
Vol. J82-D1  No. 7  pp. 799-811
論文種別:  特集論文 (テストと設計検証論文特集)
専門分野: 設計検証
キーワード: 
形式的検証対称性抽象化ペトリネットスケーラビリティ
 あらまし | 本文:PDF(520KB)

有限遅延幅モデルにおける非同期式回路の検証について
周 斌 米田 友洋 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/07/25
Vol. J82-D1  No. 7  pp. 819-833
論文種別:  特集論文 (テストと設計検証論文特集)
専門分野: 設計検証
キーワード: 
形式的検証非同期式回路時間トレース理論タイムペトリネット
 あらまし | 本文:PDF(502.7KB)

ZBDDに基づく非同期式回路の検証方式
増倉 孝一 富坂 稔 米田 友洋 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/06/25
Vol. J82-D1  No. 6  pp. 760-771
論文種別:  論文
専門分野: フォールトトレランス
キーワード: 
非同期式回路形式的検証トレース理論ペトリネットZBDD
 あらまし | 本文:PDF(535KB)

非同期式回路の検証におけるlivenessクラスに関する考察
吉川 宜史 米田 友洋 
誌名:   電子情報通信学会論文誌 D
発行日: 1998/04/25
Vol. J81-D1  No. 4  pp. 405-416
論文種別:  論文
専門分野: フォールトトレランス
キーワード: 
非同期式回路形式的検証livenessクラス階層的検証
 あらまし | 本文:PDF(822.3KB)

n安全タイムペトリネットの発火規則について
笠 浩史 米田 友洋 
誌名:   電子情報通信学会論文誌 A
発行日: 1997/12/25
Vol. J80-A  No. 12  pp. 2177-2183
論文種別:  レター
専門分野: 
キーワード: 
タイムペトリネット1安全n安全発火規則
 あらまし | 本文:PDF(444.1KB)

プロセス代数に基づく非同期式論理回路の設計検証
米田 友洋 柴山 充文 南谷 崇 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/03/25
Vol. J80-D1  No. 3  pp. 207-217
論文種別:  特集論文 (非同期式回路/システム設計論文小特集)
専門分野: 
キーワード: 
非同期式回路設計検証プロセス代数仕様記述Liveness
 あらまし | 本文:PDF(708.8KB)

タイムペトリネットのCTL記号モデル検査
大川 保吉 米田 友洋 
誌名:   電子情報通信学会論文誌 A
発行日: 1996/06/25
Vol. J79-A  No. 6  pp. 1194-1203
論文種別:  論文
専門分野: VLSI設計技術とCAD
キーワード: 
タイムペトリネットCTL記号モデル検査region形式的検証
 あらまし | 本文:PDF(606.4KB)

タイムペトリネットに基づくタイミング検証方式の高速化
米田 友洋 近藤 裕 当麻 喜弘 
誌名:   電子情報通信学会論文誌 D
発行日: 1991/03/25
Vol. J74-D1  No. 3  pp. 212-223
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
 あらまし | 本文:PDF(786.8KB)

時間順序機械に基づくプロトコルの自動検証方式
米田 友洋 当麻 喜弘 
誌名:   電子情報通信学会論文誌 D
発行日: 1990/06/25
Vol. J73-D1  No. 6  pp. 589-598
論文種別:  論文
専門分野: フォールトトレランス
キーワード: 
 あらまし | 本文:PDF(884.3KB)

構成要素の独立性を利用した高速タイミング検証方式
米田 友洋 中出 和利 当麻 喜弘 
誌名:   電子情報通信学会論文誌 D
発行日: 1988/11/25
Vol. J71-D  No. 11  pp. 2404-2413
論文種別:  論文
専門分野: フォールトトレラント
キーワード: 
 あらまし | 本文:PDF(841.8KB)

緩い同期の3重系多数決システムにおける割込み処理方式
米田 友洋 鈴岡 節 当麻 喜弘 
誌名:   電子情報通信学会論文誌 D
発行日: 1984/12/25
Vol. J67-D  No. 12  pp. 1434-1441
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(581.7KB)

多数決方式に基づく耐故障システムの故障診断とシステム再構成
米田 友洋 河村 俊明 古屋 清 当麻 喜弘 
誌名:   電子情報通信学会論文誌 D
発行日: 1984/07/25
Vol. J67-D  No. 7  pp. 737-744
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(665.1KB)