松浦 宗寛


決定グラフに基づく論理関数の評価システム
井口 幸洋 笹尾 勤 松浦 宗寛 伊勢野 総 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/06/01
Vol. J84-D1  No. 6  pp. 523-530
論文種別:  特集論文 (システム開発論文特集)
専門分野: 計算論,計算モデル
キーワード: 
多出力論理関数BDDMDDPMDD
 あらまし | 本文:PDF(876KB)

入力の一部が不明である場合の論理関数のハードウェアを用いた 評価法
井口 幸洋 笹尾 勤 松浦 宗寛 伊勢野 総 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/07/25
Vol. J82-D1  No. 7  pp. 834-842
論文種別:  特集論文 (テストと設計検証論文特集)
専門分野: 設計検証
キーワード: 
論理シミュレーション3値論理Kleene論理FPGA
 あらまし | 本文:PDF(731KB)