Ceek.jp Altmetrics (α ver.)
文献ランキング
合計
1ヶ月間
1週間
1日間
文献カレンダー
新着文献
すべて
2 Users
5 Users
10 Users
新着投稿
Yahoo!知恵袋
レファレンス協同データベース
教えて!goo
はてなブックマーク
OKWave
Twitter
Wikipedia
検索
ウェブ検索
ニュース検索
ホーム
文献詳細
3
0
0
0
高階述語論理によるハードウェアの構造の形式的検証
著者
鈴木 一哉
吉田 たけお
三浦 幸也
出版者
一般社団法人電子情報通信学会
雑誌
電子情報通信学会技術研究報告. VLD, VLSI設計技術
巻号頁・発行日
vol.96, no.425, pp.41-48, 1996-12-13
参考文献数
10
本稿では設計されたハードウェアの構造がその動作仕様を満たしているかどうかを検証する方法を提案する.従来の検証法で用いられている一階述語論理は再帰的な表現ができないため,順序回路を含むようなハードウェアを表現できない.本稿では高階述語論理を用いることによってこの問題を解決する.本稿ではまず仕様である動作記述およびその設計である構造記述をそれぞれ高階述語論理式に変換する方法を示す.仕様記述および設計記述を表す論理式から"設計が仕様を満たしている"という意味を表す論理式を作り,この論理式を証明することによって検証を行なう.さらに本稿ではこの論理式を定理証明系を用いて証明する際の手順も示す.
言及状況
変動(ピーク前後)
変動(月別)
分布
はてなブックマーク
(1 users, 1 posts)
[論理][高位合成][HDL][ハードウェア][HLS]
Twitter
(2 users, 2 posts, 3 favorites)
「高階述語論理によるハードウェアの構造の形式的検証」というタイトルの論文がググったら見つかった → http://t.co/T4MCSLoODi
収集済み URL リスト
https://ci.nii.ac.jp/naid/110003294408
(3)