同期ディジタル論理システムの高レベル仕様と検証のためのフレームワーク【JST・京大機械翻訳】

Mertin Nick; Ritsuka K.; Rudie Karen

プレプリント

J-GLOBAL ID：202202201868350849 整理番号：22P0279792

同期ディジタル論理システムの高レベル仕様と検証のためのフレームワーク【JST・京大機械翻訳】

A Framework for the High-Level Specification and Verification of Synchronous Digital Logic Systems

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2022年01月25日プレプリントサーバーでの情報更新日： 2022年01月25日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

複雑な入力/出力インタフェイスを有する有限状態同期ディジタル論理システムの仕様のために構文モデルを提示して,それは不透明な計算要素の間のデータの流れを制御し,そして,入力または出力なしで閉ループシステムを形成するための互換性のあるシステムの構成のために,それは提示した。このモデルは,一様で対称である方法で入力と出力ポートを指定する新しい方法で類似の既存モデルを改善した。任意の計算プロセスを符号化するためのオートマトンモデルも提示し,閉ループ系のオートマトン表現を生成するアルゴリズムを示した。オートマトンモデルを用いて,計算のセットに関して閉ループシステムの類似性として符号化された望ましい行動仕様に対する閉ループシステムのタイミング診断検証の問題を,決定できることを示した。システムのモデルと実世界実装の間の関係を考察した。【JST・京大機械翻訳】

, , , , , , , , , , ,
, 【Automatic Indexing@JST】

オートマトン理論 , 計算理論

, , , , ,

前のページに戻る