2024-03-29T19:24:19Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000283082024-03-29T05:26:34Z01164:02036:02143:02147
ルールベース論理設計ルール検証プログラムRULE - BASED LOGIC DESGIN RULE CHECK PROGRAMjpnhttp://id.nii.ac.jp/1001/00028308/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=28308&item_no=1&attribute_id=1&file_no=1Copyright (c) 1989 by the Information Processing Society of Japan三菱電機カスタムLSI設計技術開発センター三菱電機カスタムLSI設計技術開発センター三菱電機カスタムLSI設計技術開発センター三菱電機カスタムLSI設計技術開発センター小迫, 靖志大坪, 千恵荻原, 拓治村井, 真一設計された論理回路が試験容易化設計ルールに従い正しく設計されていることを検証するプログラムにルールベース手法を導入し、設計ルールの保守・管理の容易化を図った。この検証プログラムの特徴は、設計ルールだけでなく、検証用記号シミュレータで使われる真理値関数もルールベース化している点と、予め定義しておいたプリミティブ素子と記号信号値を用いて、設計ルールと真理値関数を記述できる専用言語をサポートしている点にある。これにより、設計ルールの追加・変更を容易に行えるため、設計ルールの保守・管理作業を短縮することができる。This paper describes a logic design rule check program which adopts a rule-based technique in order to manage design rules easily. It treats not only the design rules as a rule base, but also operation of primitives which are referred by a symbolic simulator. Moreover, a rule-based description language is prepared, in which design rule managers can easily describe the design rules and the operation of primitives by using the predefined primitives and symbolic signal values.AA11451459情報処理学会研究報告システムLSI設計技術(SLDM)198945(1989-SLDM-047)181989-05-232009-06-30