キーワード : タイミング検証


信号変化生起条件判定に基づくタイミング検証の高速化
大西 淳 杉山 裕二 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/07/25
Vol. J82-D1  No. 7 ; pp. 812-818
論文種別:  特集論文 (テストと設計検証論文特集)
専門分野: 設計検証
キーワード: 
タイミング検証組合せ論理回路回路設計信号変化生起条件
 あらまし | 本文:PDF(298.2KB)

信号変化生起条件判定のためのシンプレックス法の高速化
大西 淳 籠谷 裕人 杉山 裕二 
誌名:   電子情報通信学会論文誌 D
発行日: 1998/04/25
Vol. J81-D1  No. 4 ; pp. 417-427
論文種別:  論文
専門分野: フォールトトレランス
キーワード: 
タイミング検証非同期式回路回路設計シンプレックス法
 あらまし | 本文:PDF(805.7KB)

仕様を利用した非同期式順序回路のタイミング検証―詳細に検証すべき状態遷移の絞り込み―
大西 淳 杉山 裕二 岡本 卓爾 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/06/25
Vol. J78-D1  No. 6 ; pp. 539-548
論文種別:  論文
専門分野: フォールトトレランス
キーワード: 
タイミング検証非同期式回路仕様状態遷移設計過程
 あらまし | 本文:PDF(738KB)

多相クロック同期回路のタイミング解析手法
今井 正紀 石川 広美 小原 淳子 
誌名:   電子情報通信学会論文誌 A
発行日: 1992/05/25
Vol. J75-A  No. 5 ; pp. 934-943
論文種別:  論文
専門分野: VLSI設計技術
キーワード: 
タイミング解析タイミング検証静的タイミング手法同期設計多相クロック回路
 あらまし | 本文:PDF(632.2KB)