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

ハ-ドウェアの仕様記述とマイクロプログラムを用いた実現への段階的詳細化及び検証

使用硬件规格描述和微程序逐步阐述和验证实现

基本信息

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

项目摘要

1.代数的手法を用いて,ハ-ドウェア(一般の同期式順序回路)の機能の要求記述から,それを段階的に詳細化しつつ,ア-キテクチャを決定し,マイクロプログラムを作成するまでの設計法について,日本電子工業振興協会のLSI設計用記述言語の標準化の調査研究で用いられたクイックソ-トIC等を用いて検討した.そして,我々が既に開発している代数的言語ASLを用いた設計法を提案した.その特長は,設計者に考案・決定してもらうことが回路の性能やコスト上必要あるいは望ましいところは設計者に決定してもらう,その決定が正しいかどうかはASL検証支援系を用いて検証する,一方,自動的に詳細化・生成できるところは自動化する,というものである.これにより,ア-キテクチャもマイクロプログラムも正しいことが保証されたものが得られる.2.今回提案した設計法では,詳細化の最終段階のレジスタ転送レベルの記述を得たあと,ア-キテクチャ及びマイクロ命令の意味を設計者が定める.そして,複雑な分岐条件をいくつかのマイクロ命令で行えるように展開し,次に最適化ル-ルを適用してパス長の短縮などを行い,その後,その状態図の動作及び分岐が設計したマイクロ命令群で実現できるかの判定及びできる場合のマイクロプログラムの生成を行う.自動化できる部分の抽出とアルゴリズムの考案を行い,マイクロプログラム生成のところはプログラム化した.3.上記の設計法に基づいて,上述のクイックソ-トICの設計及びマイクロプログラム生成を行ってみた.現在最適化ル-ルは7個であり,これにより,マイクロプログラムの長さが約120から75に減り(上記標準化の例題では,人間が工夫して66である),最も頻繁に実行される主要部分の分割手続きに対しては同一ステップ数のものが得られた.支援系を用いた検証手法の確立,自動化部分を増やすことなどが今後の課題である.

1. Algebra technique is used to describe the functional requirements of the general synchronous sequential loop, to determine the level of detail, to create the design method, to investigate the standardization of LSI design language of Japan Electronics Industry Promotion Association. In addition, we have developed a language ASL for algebra and proposed a design method. The designer decides to test the performance of the loop, and the designer decides to test the ASL verification support system. 2. This paper proposes a design method for detailing the final stage of the design process. When the condition of multiple branches is set, the command line will be expanded, and the optimization will be applied. When the condition is shortened, the operation of the state and the branch will be designed. When the command group is realized, the judgment and the generation of the command line will be carried out. 3. The design method mentioned above is based on the design of the IC and the generation of the software. Now optimization-7 Support system for the establishment of verification methods, automation part of the development of future issues.