On Functional Information Extraction from Synchronous Sequential Circuits

IPSJ

Bibliographic Information

Other Title
  • 同期式順序回路の機能情報抽出について

Search this article

Description

論理回路の設計においては、設計された回路が仕様を満足するかどうかを確かめる設計検証の問題が重要である。設計検証の有効な手法の一つとして、設計された論理回路レベルの記述から機能レベルの記述を抽出し、仕様と比較するという手法が、提案されている.我々も、組合せ回路の回路記述から論理演算や算術演算等を抽出し、人間の目で見てわかりやすい機能表で記述する手法について研究を行なってきている。本稿では、その手法を順序回路に適用した結果について報告する。

Journal

Details 詳細情報について

Report a problem

Back to top