权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

代数的手法を用いたハードウェアの仕様記述と実現に関する研究

代数方法的硬件规格描述与实现研究

基本信息

批准号：
63550275
负责人：
谷口健一
金额：
$ 1.09万
依托单位：
Osaka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (C)
财政年份：
1988
资助国家：
日本
起止时间：
1988 至无数据
项目状态：
已结题

项目摘要

1.同期式順序回路の仕様を代数的言語で書くときの記述のスタイルを提案した。そのスタイルはいわゆる抽象的順序機械型の記述であり、動作の実行順序制御部は、その動作を行うべきときの条件を指定するという形で記述する。この記述スタイルによって、回路の抽象的な機能の仕様から、バス・レジスタの接続や、既存のIC等を用いた具体レベルにおける入力論理式まで、同じ言語・同じスタイルで記述することができる。検証等の形式的な議論には、形式的・厳密に定義された同一言語による記述が必要である。また、このスタイルに従って、回路の実現や詳細化問題の定式化を行った。2.マイクロコンピュータとクィックソートIC(後者は日本電子工業振興会のLSI設計用記述言語の標準化の調査研究で用いられたもの)を例題にして、仕様記述・詳細化を行った。前者では、命令の意味定義の記述からレジスタなどの入力線の論理設計まで、後者では、ソーティングの一般的な要求仕様から、クィックソートアルゴリズム採用レベルの記述を経て、同じくレジスタ等の入力論理の設計まで行った。これにより、状態遷移図やレジスタ転送レベルの記述より抽象的なレベルの記述から、論理設計レベルまで段階的に記述できることがわかった。3.上記2.の記述・設計経験によって、設計者は上位レベルと下位レベルの回路動作の対応のみを孝案し、それを基に下位レベルの実行制御部の記述を自動生成するのが実用的であることがわかった。この自動化の問題は、回路動作を詳細化する一般の場合と入力論理式を導出する具体レベルの二つに分かれる。両者に対してアルゴリズムを孝案し、プログラム化し、我々の代数的記述支援系に組み込み、2.の例の一部に適用してみた。仕様記述及び段階的詳細化に代数的手法の有効性が確認できたが、今後は、検証(正しさの証明)手法の確立が望まれる。

1. A description of a sequential loop is presented. The abstract sequence mechanical description, the operation sequence control part, the operation sequence control part, the operation control part, the operation sequence control part The description of the abstract function of the circuit, the connection of the circuit, the existing IC, etc., is used in the specific description of the input logic expression, the same language, and the same description. The form of proof, etc., is necessary to define the same language. The problem of detailed design and implementation of the loop is formulated. 2. Example of IC(the latter is used in the investigation and study of standardization of LSI design language by Japan Electronics Industry Promotion Council). The former refers to the logical design of the input line for the description of the meaning of the command, while the latter refers to the logical design of the input line for the description of the input line for the description of the input line for the general requirements of the command. The description of the abstract, logical design, and the description of the stage. 3. Note 2. Description of the design process, the designer of the upper and lower parts of the loop action of the corresponding plan, the basic part of the implementation of the control part of the description of the automatic generation of the implementation of the use of this process. This automation problem is detailed in the general case, the input logic formula is derived, and the specific information is divided into two parts. The description of the algebra support system is organized in the following sections: Description and level of detail algebra of the effectiveness of the method to confirm, in the future, to verify (positive proof) method to establish