JPS63153674A - 論理回路の合成用の手順において使用されるルール構造およびルール実行の手順 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は論理回路の合成用の手順において使用されるル
ール構造およびルール実行の手順に関する。

換言すれば、本発明は、データ処理システムおよびそれ
に類似する論理構造の設計に関し、特に、設計技術者に
より使用される技法に類似する態様で論理構造を合成す
る自動設計手順に関する。

〔従来の技術、および発明が解決しようとする問題点〕

デジタル論理回路の設計はノード（節）とアーク（弧）
のマツプの作成と考えることが可能であり、この場合に
ノードは機能的な性質を有し、アークは連結的な性質を
有する。たとえば、ノードの機能は加算器素子の機能で
あることが可能であり、加算器素子は入力信号に応答し
て出力信号を発生する。加算器素子はテクノロジーから
は独立したものであり、この独立性はここでは加算器素
子は関連する物理的特性を全く備えておらず、従って、
デジタル装置を規定しないという意味である。しかしな
がら、テクノロジーから独立した加算器素子は機能の面
では正確であり、図面作成、シミュレーション動作、等
価ゲートカウント等に使用するための形状等の属性（ａ
ｔｔｒｉｂｕｔｅｓ）を有することができる。規定され
たテクノロジーを伴わない、加算器素子の動作及びイン
ターフェース特性に厳密に整合するデジタル装置を利用
することができるのであれば、そのデジタル装置をテク
ノロジーから独立した加算器の代わりに回路の設計に使
用することができるであろう。この方法は、テクノロジ
ーから独立した設計からテクノロジーに依存する設計へ
の転換を、所定のテクノロジーにより規定される複数の
事前設計素子の代用により実施する従来のデジタル論理
回路の自動設計技術に使用されている。

次に、第１図を参照して、従来の方法により論理回路設
計を合成する手順を説明する。ステップ１１において、
コンポーネント定義のライブラリーから取出されたモデ
ル定義データ構造は合成データベースと関連するデータ
構造に入力される。

ステップ１２においては、連結性情報を含めて、回路設
計の例に関連する情報がデータベースに入力される。回
路設計の例は、合成データベースに入力されるとき、一
般に動作形態又は機能形態をとる。ステップ１３におい
て、合成手順は回路設計の例をモデル例と関連づける。

ステップ１４では、合成手順に関する一連のルール（規
則）がモデル例のそれぞれに適用され、モデル例は、サ
イズ、経路遅延、出力等のいくつかのパラメータを最大
とするように変更され且つ連結される。ステップ１５に
おいて、得られた回路設計は、回路の自動製造を制御す
ることができるフォーマントに整えられる。

従来の技術による合成手順はいくつかの欠点を有する。

すなわち、個々の代用のコンポーネント又は代用の例に
一連の規則の全てが適用されることになり、関連性のな
い規則を放棄するための手段は設けられていない。さら
に、規則の適用の結果、回路例は、通常、１つずつ置換
られていく。

適用不可能な規則は適用せず、設計技術者が採用する手
段により類似した手順の中で例の置換えに融通性を示す
ような合成手順の必要性が惑じられていた。詳細にいえ
ば、都合良く利用することができ且つ過剰な解釈を要求
しない規則構造によって実現される合成手順の必要性が
感じられていた。

本発明の一つの目的は、デジタル論理回路の設計のため
の改良された手順を提供することにある。

本発明の一つの特徴は、論理合成規則に関する第１の階
層の情報構造と、論理設計データに関する第２の階層の
構造の２階層情報構造を提供することである。

本発明の他の特徴は、合成手順において１つ又は２つ以
上の例と１つ又は２つ以上の例との置換えを可能にする
規則を提供することである。

本発明のさらに他の特徴は、前提部分と、結果部分とを
含む、論理回路の自動設計のための規則構造を提供する
ことである。

本発明のさらに他の目的は、通常の文法構成に類似する
合成手順のための規則構造を提供することにある。

本発明のさらに他の特徴は、設計合成手順規則構造にお
いて可能な複数の回路コンポーネントの優先順位決定を
実行することである。

ｃ問題点を解決するための手段、および作用〕本発明に
おいては、基本的形態として、モデル例の所定の特性を
試験する第１のフィールド：該所定の特性の存在に応答
して動作を実行する第２のフィールド；および、該第２
のフィールドを含むルールの相対的重要度を識別する第
３のフィールド；を具備する論理回路の自動合成用の手
順において使用されるルール構造が提供される。

本発明によれば、上述の特徴およびその他の特徴は、通
常の文法構成に類似し、余分な訓練なしに使用すること
ができる規則構造を提供することにより得られる。規則
ファイルは、所定の条件の試験を実行する前提部分と、
前提部分が肯定的結果を提示した場合にその結果として
の活動を規定する結果部分とを含む。規則は、複数の前
提が肯定的結果を提示した場合にどの活動に従うべきか
を決定するために優先順位レベルを指示するフィールド
をさらに含む、。規則構造は、関連するフィールドの背
景に関するデータのためのフィールドをさらに含む。規
則の前提部分及び結果部分の形態が、規則の実行の結果
と共に下記において説明される。

〔実施例〕

（１）まず、図面についての詳細な記述が以下に記述さ
れる。

第１図については従来の技術に関連して前述においてす
でに説明されている。

次に、第２図を参照して、本発明の合成手順を説明する
。ステップ２１において、抽象コンポーネントデータの
ライブラリーから取出された抽象コンポーネントデータ
が合成手順のモデル定義データ構造に入力される。ステ
ップ２２において、ライブラリーから取出された目的テ
クノロジーに関連するコンポーネントデータが合成手順
のモデル定義データ構造に入力される。ステップ２３に
おいて、抽象コンポーネントに関して記述される連結事
例を伴なう回路設計データが合成手順に入力される。ス
テップ２４では、合成手順は２組のポインタを提供する
。第１Ｍｉのポインタは、合成手順が設計回路を通る任
意の経路をたどることができるようにする。第２組のポ
インタは規則を関連するデータベース構造と結合する。

ステップ２５においては、モデル事例ごとに関連する規
則が試験され、試験が［ｔｒｕｅＪの結果を提示したと
き、その規則の結果が実現される。好ましい実施例によ
れば、それぞれの規則は前提部分と、結果部分とを有す
る。前件部分は試験アルゴリズムを含み、結果部分は試
験の結果を実現するために要求される情報を提供する。

規則は事例に順次適用されるので、また、好ましい実施
例においては、試験手順は、１つの事例に適用された試
験の結果として変更可能な隣接する事例をも包含するこ
とができるので、プロセスは、回路設計が安定するまで
繰返される。ステップ２７においては、回路設計の最終
バージョンが自動回路製造システムに使用するのに適す
るフォーマントに整えられる。

次に、第３図を参、照して、論理合成規則及び論理設計
規則を記憶するためのアーキテクチャ編成を説明する。

２つの記憶階層を利用することができ、一方の記憶階層
は規則情報を表わし、第２の記憶階層はデジタル設計情
報を表わす。これらの情報階層は、ポインタが設定され
たときに互いに作用し合って、設計対象物を特定の規則
群と関連づける。規則ファイル３０６〜３０８は、ファ
イルの作成者により任意に編成される規則の集合体であ
る。規則テーブル３０５には、いくつかの規則ファイル
を転送することができる。規則テーブル３０５は、記憶
されている規則の名前により索引づけされたルックアッ
プテーブルである。規則テーブル３０５は規則ベース３
０１の１つの属性であり、規則ベース３０１は、規則テ
ーブル３０５に記憶される規則の他に、規則ベースの名
前３０３と、他の属性３０４とを有する。全ての規則ベ
ースのテーブル３００には任意の数の規則ベース３０１
〜３０２が含まれる。

全規則ベーステーブル３００は、規則ベースの名前によ
り索引づけされたルックアップテーブルである。全規則
ベーステーブル３００は規則情報階層の最上部にある。

論理設計データは、モデル定義テーブル３１５〜３１６
と呼ばれる複数のブロックに分割される。モデルの名前
により索引づけされたルックアンプテーブルであるモデ
ル定義テーブルに、任意の数のモデル定義を記憶するこ
とができる。

１つのモデル定義は、その他のモデル定義のモデル事例
である複数のモデル事例３１９及び３２０を含むモデル
事例リスト３１８を含むことができる。所定の名前の何
らかの機能部分タイプ又は構造体に対して、１つのモデ
ル定義のみが存在しうる。しかしながら、１つの機能部
分タイプ又は構造体がモデル事例をもたない又は２つ以
上のモデル事例を有する場合はあっても良い。モデル定
義の属性（ａｔｔｒｉｂｕｔｅｓ）はそれと関連する全
ての事例に共通しており、従って、モデル定義と共に記
憶されるだけで良い。モデル定義はｒＬＩＢＲＡＲＹ　
Ｊ情報を含む。タイミングパラメータ及びシミユレーシ
ョン値等のモデル事例の属性はモデル事例ごとに独自の
ものであり、そのため、関連する事例と共に記憶されな
ければならない。モデル事例を伴なわない、すなわち、
ｒＬＩＢＲＡＲＹ　Ｊ属性が指定されているようなモデ
ル定義はプリミティブモデル定義と考えられ、モデル定
義テーブル３１５に記憶される。

モデル定義テーブル３１４は設計テーブル３１２に記憶
され、この設計テーブルはその他の属性を処理すること
ができる。全設計テーブル３１０には、任意の数の設計
テーブル３１１〜３１２を記憶させ゛ることかできる。

次に、第４図を参照して、論理ネットワーク合成に使用
される規則４０の全体的構造を説明する。

規則ファイルの読取りの時点で、規則４ｏごとに構造が
形成される。規則の名前フィールド４１のために、ファ
イル内の１つの記′ｔｌ！場所が予約される。別の記憶
場所は注釈ファイル４２のために予約され、注釈は規則
の使用に関する形式表記である。前提フィールド４３、
結果フィールド４４、バージョンフィールド４５、経歴
フィールド４６及びサイズウィンフィールド４７は規則
構造の内部のフィールドである。前提フィールド４３と
、結果フィールド４４については以下に説明する。

バージョンフィールド４５は、ホストコンピュータ援助
設計（ＣＡＤ）データ管理システムを利用できるときは
、このシステムからのバージョン情報を含み、時刻及び
日付情報を利用できるときはそれを含む。規則経歴フィ
ールド４６は、当初、ゼロにセットされ、その後は関連
する規則が適用される回数の現在カウントを保持するた
めに使用される。

第５図を参照して、第４図の規則構造の前提フィールド
４３の５つの例を説明する。これらの例において、有資
格の対象物は、開始が現在事例である１つのアクセスチ
ェーンの終了時におけるデータベース対象物である。有
資格の対象物は複数存在していても良い。原始的（プリ
ミティブ）対象物は、それ以上のデータベースアクセス
を伴なわないものと考えられる（例えば、数はプリミテ
ィブ対象物である）。第１の例（入力のカウントはＮで
ある）では、有資格の対象物５１０の後に動詞５１１が
続き、さらにその後にプリミティブ対象物５１２が続く
。このフィールドは、現在事例がＮ個の人力を有する場
合は、この前提は評価時にｒ　ｔｒｕｅＪを返答するが
、その他の場合には前提は評価時にｒｎｉｌＪを返答す
ることを意味する。

第２の例（人力のカウントは出力のカウントと同じ）に
おいては、有資格の対象物５２０の後に動詞５２１が続
き、その後に再び有資格の対象物５２２が続く。第３の
例（入力のいかなる信号も存在しない）では、形容詞５
３０の後に有資格の対象物５３１が続き、その後に動詞
５３２と、プリミティブ対象物５３３とがさらに続く。

このフィールドは、現在事例の入力が１つの信号に結合
されないときに、前提はｒ　ｔｒｕｅＪ値を返答すると
解釈される。第４の例（出力の信号には入力の信号が存
在しない）では、形容詞５４０の後に有資格の対象物５
４１が続き、その後に動詞５４２と、有資格の対象物５
４３とがさらに続く、第５の例（タグ（ｒｅｓｕｌｔｌ
　はカラ５５３等を伴なう呼出された手順５５１の結果
であり、５５２　、５５３はプリミティブ対象物又は有
資格の対象物のいずれであっても良い。規則前提フィー
ルド手順の残る部分の間及び結果フィールド手順の間に
、名前（ｒｅｓｕｌｔ）を使用して、その名前の下に記
憶されている値を取出すことができる。タグの数は限定
されておらず、規則の前提部分が誤りであるとき又は規
則の結果部分の完了時には、全タグの記憶は消去される
。この種の前提は、タグフィールドの値にかかわらず、
常にｒ　ｔｒｕｅＪ　（Ｔ）値を返答する。好ましい実
施例においては、キーワード（ｔａｇ　１　、　ｔａｇ
　２等）を使用すること及び次の式のようにそれらを直
接引用することが可能である： （ｔａｇ　（ｒｅｓｕｌＬｌ　　ｉｓ　　ｓｕｍ　　　
ｏｆ　ｃｏｕｎｔ　　１ｎｐｕｔｓｃｏｕｎｔ　　ｏｕ
ｔｐｕｔｓ） （（ｒｅｓｕｌｔｌ　　ｉｓ　　１ｅｓｓ　　ｔｈａｎ
　Ｎ）これは次のように表わすこともできる。

（ｔａｇ　Ｉ　ｉｓ　　ｓｕｍ　　ｏｆ　ｃｏｕｎｔ　
　１ｎｐｕｔｓ　ｃｏｕｎｔｓ−ｏｕ　ｔｐｕ　ｔｓ） （ｔａｇ　Ｉ　ｉｓ　　１ｅｓｓ　　ｔｈａｎ　Ｎ）規
則の前提は、論理項ｒＡＮＤＪ又はｒＯＲＪの使用によ
り、入れ子構成とすることもできる。この入れ子構成は
ＬＩＳＰ手順のフォーマットで実行することができる。

たとえば： （ｏｒ（ｃｏｕｎｔ　　ｉｎｓ　ｉｓ　　１ｅｓｓ　ｔ
ｈａｎ　Ｎ）（（ｒｅｓｕＨｌ　　　ｉｓ　　　　１ｅ
ｓｓ　　　ｔｈａｎ　　Ｎ）次に、第６図を参照して、
規則の結果フィールドの構造を６つの例により説明する
。第１の例では、指令ｒ　ｒｅｍｏｖｅ　ｊ又はｒｒｅ
ｍｏｖｅ　　ｉｆ　　ｎｏ−ｄｅｓｔｓ　Ｊ　６１０は
、現在モデル定義の事例から１つ又は２つ以上の事例６
１１を除去するために使用される。第７図は、２つのモ
デル事例７２０及び７４０を示す。モデル事例７２０は
出カフ２１を有し、出カフ２１はポート事例７２２を有
する。ポート事例７２２は信号７２４のドライバ７２３
であり、信号７２４　はロード７２５を有する。モデル
事例７２０は、ポート事例７１８及び７１４を有する人
カフ１９をさらに有する。

ポート事例は、それぞれ、信号７１６及び７１４の口−
ドア１７及び７３７である。信号７１６及び７１４はド
ライバ７１５及び７１３をそれぞれ有する。モデル事例
７４０は出カフ４１を有し、出カフ４１にはボート事例
７４２が関連している。ボート事例７４２は信号７２４
のドライバでもある。モデル事例７４０は、ボート事例
７３９を有する入カフ３９を有し、このボート事例７３
９は信号７１４の別のロード７３７である。

ｒｒｅｍｏｖｅＪ指令が除去すべき有資格の対象物７２
０を識別すると、モデル事例７２０は除去され、データ
ベースポインタは、第８図に示すように新たな連結性を
表示するために改訂される。モデル事例７２０　と、そ
のインターフェース７１９　、７１８　、７１４及び７
２１のポインタは除去され、これらの除去要素により先
に使用されていた記憶ファイル内のスペースは再使用可
能となる。その結果、信号７２４はボート事例７４２か
らの１つのドライバ７２３のみを伴なって残され、信号
７１６はロード７１７を伴なわない状態となり、信号７
１４はボート事例７３８と関連する１つのロード７３７
を伴なって残される。

第６図の第２の例においては、ｒ　１ｎｓｅｒｔＪ指令
６２０はｒ　ｒｅｍｏｖｅ　Ｊ指令６１Ωの逆を実行す
るために使用される。この例では、第７図（Ｂ）の連結
性は開始構成として利用され、モデル事例７２０が挿入
されると共に、新たなポインタが追加されて、第７−ス
属性の任意設定を伴なう適切な式の形態６２１である。

モデル事例の挿入に関しては、零＃幼同時係属特許出願
ｒＲｕｌｅ　５ｔｒｕｃｔｕｒｅ　ｆｏｒ　Ｉｎ５ｅｒ
ｔｉｏｎｏｆ　Ｎｅｗ　Ｅｌｅｍｅｎｔｓ　ｉｎ　ａ　
Ｃ１ｒｃｕｉｔ　Ｄｅｓｉｇｎ　５ｙｎｔｈｅｓｉｓＰ
ｒｏｃｅｄｕｒｅ　Ｊに詳細に記載されている。第３の
例はｒｒｅｐｌａｃｅ　Ｊ指令６３０を示す。この指令
はｒｒｅｍｏｖｅＪ指令とｒｉｎｓｅｒｔＪ指令との組
合せであり、１つ又は２つ以上の有資格のモデル事例対
象′ＪｊｙＪ６３１を除去した後、等式形式６３３から
取出される１つ又は２つ以上のモデル事例対象物を挿入
する。第６図の第４の例は、ｒｓｙｎｔｈｅｓｉｚｅＪ
指令６４０の形式を示す。この指令は、規則の作用を受
ける現在事例が、高レベル仕様のデジタル設計に一般に
見られるように、最上位ビットと、最下位ビットとから
成る属性を有する複合的マルチビット合成の場合に使用
される。そのような装置の１例は３２ビツトインクリメ
ンタであり、これは最上位ビットの３１と、最下位ビッ
トの０とを有することができる。ｒ　５ｙｎｔｈｅｓｉ
ｚｅ　ｊ　指令の後にキーワードｒ　ｆｒｏｍＪ　６４
１が続き、さらにその後に最上位ビット６４２へのアク
セスが続く。最上位ビット６４２の後にはキーワード「
ｔｏ」が続き、その後に最下位ビット６４４へのアクセ
スが続き、最後に規則の集合体６４５が続く。この規則
の集合体は前記の特許出願ｒＢｉｔｗｉｓｅ　Ｉｍｐｌ
ｅｍｅｎｔａｔｉｏｎ　Ｍｅｃｈａｎｉｓｍｆｏｒ　Ｒ
ｕ１ｅｓ　Ｕｔｉｌｉｚｅｄ　ｂｙ　ａ　５ｙｎｔｈｅ
ｓｉｓ　Ｐｒｏｃｅｄｕｒｅｆｏｒ　Ｌｏｇｉｃ　Ｃ１
ｒｃｕｉｔ　Ｄｅｓｉｇｎｓ　Ｊに詳細に記載されてい
る。第６図の第５の例はｒｍｏｄｉｆｙｊ指令６５０の
形式を表わす。この指令はデータベース対象物をその値
を設定することにより変更するために使用される。キー
ワードｒｍｏｄｉｆｙＪの後に有資格の対象物６５１が
続き、さらにその後にキーワードｒｗｉｔｈＪ　６５２
が続く。キーワードｒｗｉｔｈＪＯ後にはプリミティブ
対象物６５３が続く。第８図は、規則の結果８０のｒｍ
ｏ−ｄｉｆｙＪ動作を示す。第６図の有資格の対象物６
５１は第８図では設計データベースアクセスである。第
６図のプリミティブ対象物６５３は第８図では新規デー
タ８２となる。アクセス経路Ａは現在事例ホルダー８３
から現在事例８４に達し、さらにその人力８５に至る。

入力８５から、アクセス経路Ａはボート事例８６を介し
てその信号８７に達し、さらに信号の属性ホルダー８８
に至る。新規データは、アクセススロット、すなわち属
性ホルダー８８に達するまでアクセス経路に沿って進み
、最終的には属性値として束ねられる。第６図の第６の
例は、１ｉｓｐ手順式６６０の入力を可能にするために
キーワードｒＬＩｓＰＪを使用する。この手順能力は、
設計データベースの変更にさらに大きな融通性を付加す
る。

（２）次に、好適実施例の動作について以下に記述され
る。

再び第３図に戻って説明すると、システムは、規則ベー
ス及びプリミティブモデル定義を発生させることにより
初期設定される。次に、設計デー夕を規則と結合させる
ポインタが指示決定プロセスを経て設定される。規則は
、モデル定義に名前を付与することによりモデル定義の
関係を識別するものであってもよい。これが起こる場合
、モデル定義３１７ごとの規則の集合体は各規則ベース
の規則テーブルに含まれる。規則の集合体と、規則テー
ブル３０５とを指示するためにポインタが設定される。

モデル定義の規則は、規則ベースの名前により索引づけ
されるサブグループに編成される。

規則が対象物との関係を識別しないとき、その規則を指
示するポインタは現在の設計の規則の中に入れられる。

規則ベースとモデル定義が人力された後、論理設計マツ
プのエントリ形態がモデル定義テーブル３１６に入力さ
れる。エントリはインターフェース指定と、モデル事例
及びそれらの連結性と、その他の属性とを含む。どのモ
デル事例も、そのモデル事例にのみ適用されるべきモデ
ル事例３２１の規則に名前を付与しても良い。関連規則
は規則ベース３０５に見られ、その規則に対するポイン
タが設定される。２つの階層は、論理設計マツプから設
計の規則、モデル定義の規則及びモデル事例の規則に至
るポインタにより互いに関連づけられる。

モデル定義は外部ソフトウェア機構により入力され、内
部データ構造に入力される。モデル定義は現在の設計の
モデル定義テーブル（すなわち、第３図のテーブル３工
４）に配置される。ポインタが追加される。上述の内部
基準を伴なうデータ構造は、アクセス可能論理素子から
成るシステムを形成し、論理合成規則はこのシステムに
作用することができる。設計知識を具現化する規則の数
は数百にものぼる。１つの規則は前提活動と、結果活動
とを有することができる。通常、規則ベースソフトウエ
アにおいては、前提活動は作業データをＶ、験するため
の述語として作用し、述語が「真（ｔｒｕｅ）　Ｊの値
を返答した場合、結果゛活動は作業データを変更するよ
うに作用する。しかしながら、作業データを非階層記憶
テーブルに記憶する従来の規則ベースソフトウェアシス
テムとは異なり、本発明において作用されるべきデータ
は階層データヘース自体である。また、一連の規則の全
てが順次走査される従来の規則ベース設計システムとは
異なり、このシステムでは、モデル事例は平行して走査
され、事例ごとに、モデル事例と関連する規則の小さな
サブセントが走査される。規則ベースシステムの特徴と
なっているように、いくつかの規則の結果は真の判定を
返答することができ、競合の解決のために使用される優
先順序決定規則機構は適用すべき規則を選択する。本発
明においては、モデル事例ごとの最良の規則が平行して
選択され、適用される。

規則の原文フォーマットは次の通りである。

（Ｐ　”ｎａｍｅ　ｏｆ　ｒｕｌｅ” ｏｐｔｉｏｎａｌ　ｃｏｍｍｅｎｔｓ”　　　　；　ｏ
ｐｔｉｏｎａｌ（ａｎ　ｔｅｃｅｄｅｎ　ｔ） （ａｎ　ｔｅｃｅｄｅｎ　ｔ） （ｅｔ　ａｌ） −−〉 （ｓｅｔ　　　５ｉｚｅ　　　ｗｉｎ　　＜ｎｕｍｂｅ
ｒ＞　　；　　ｏｐｔｉｏｎａｌ（ｃｏｎｓｅｑｕｅｎ
ｃｅ） （ｃｏｎｓｅｑｕｅｎｃｅ） （ｃｏｎｓｅｑｕｅｎｃｅ） （ｅｔ　ａｌ） は＜ｎｕｍｂｅｒ＞にセットされる。そうでない場合は
、帰結において識別されたモデル事例対象物の数から規
則複雑性数が取出され、その数はサイズウィンフィール
ド４７に配置される。

好ましい実施例において、規則がデジタル部分又は機能
ブロック等の設計要素であるモデル事例に作用すること
は明白であろう。規則によるデータヘースへのアクセス
の開始点は現在事例であり、現在事例から、論理設計の
連結性経路に沿ってポインタに従い進むことが可能であ
る。

第５図及び第６図を参照すると、規則の前提手順は論理
設計データベースを全く変更しないが、これに対し、規
則の結果手順は常に論理設計データベースを変更する。

前件を発生するためのＢａｃｋｕｓ−Ｎａｕｒにおける
ソフトウェア形式論の文法は次に示す通りである（注ニ
スペース、ｌ、：：＝はＢａｃｋｕｓ−Ｎａｕｒ　Ｆｏ
ｒｍ形式論に関するメタ記号であり、言語の記号ではな
い。〈、〉は、この言語が発生することができるストリ
ングの導出を記述するために使用される記号を識別する
目的で使用される）： ＜ｎｕｍｂｅｒ＞　　　二：　＝　ＬＩＳＰ　数＜ｃｈ
ａｒ−ｓｔｒｉｎｇ＞　：：＝二重引用符により範囲を
限定される文字のストリング ＜ｅｘｐｒｅｓｓｉｏｎ＞　　：　：　＝引用されたＬ
ＩＳＰ式＜ｆｕｎｃｔｉｏｎ＞　　：　：　＝規定され
たＬＩＳＰ機能＜ａｒｇｕｍｅｎｔｓ＞　：：＝ＬＩＳ
Ｐ機能引数＜ｐｒｉｍ−ｏｂｊ＞　　：：＝中間対象物
＜ｎｕｍｂｅｒ＞　　１　　　＜ｃｈａｒ−ｓｔｒｉｎ
ｇ＞　　１　　　＜ｅｘｐｒｅｓｓｉｏｎ＞　　１ｂｏ
ｏｌｅａｎ　１　ｔｒｕｅ　１　　ｐｒｅｓｅｎｔ　１
　　ｎｉｌ＜ｑｕａｌｉｆｉｅｄ−ｏｂｊ＞　：：＝現
在事例に対して論理設計データベース対象物に至る経路
を識別するためのアクセス構文 ＜ｔａｇ−ｏｂｊ＞　：：＝一時的対象物を保持するた
めの規則に関する局所記憶装置の名前 ＜ａｄｊｅｃｔｉｖｅ＞　：：　＝　１　’ｄｉの対象
物に関する修飾子ａｎｙ　ｌ　ａｌｌ　１　ｎｏ　１　
ａｎｙ　　ｏｒ　　ｎｏ　１　ｆｏｕｎｄ　！＜ｖｅｒ
ｂ＞　　：：一比較機能、すなわち、ｉｓ　１　ａｒｅ
　ｌ　ｉｓ　　ｓａｍｅ　　ａｓ　Ｉ　ｉｓ　　ｎｏｔ
　１　ａｒｅｎｏｔ　Ｉ　ｉｓ　　ｇｒｅａｔｅｒ　　
ｔｈａｎ　１　ｉｓ　１ｅｓｓ　　ｔｈａｎｌ　ｉＳｍ
ｅｍｂｅｒ　１　ａｒｅ　　ｍｅｍｂｅｒ　１　ｉｓ　
　ｎｏｔ−ｍｅｍｂｅｒ　ｌ　ａｒｅ　　ｎｏｔ　　ｍ
ｅｍｂｅｒ　ｌ　ａｒｅ　　５ｅｔ−ｅｑｕａｌ　１　
ａｒｅ　　ｓｅｔ　　ｅｑｕａｌ　　ｔｏ　１　ｉｓ　
　ｉｎ　１ｉｓ　　ｎｏｔ　　ｉｎ　１　ｈａｓ　　ｐ
ｒｏｆｉｌｅ　１＜ａｎｔｅｃｅｄａｎｔ＞　　　：：
＝＜ｑｕａｌｉｆｉｅｄ−ｏｂｊ＞＜ｖｅｒｂ＞＜ｐｒ
ｉｍ−ｏｂｊ＞　　１ ＜ｑｕａｌｉｆｉｅｄ−ｏｂｊ＞　　＜ｖｅｒｂ＞　　
＜ｑｕａｌｉｆｉｅｄ−ｏｂｊ＞　　１＜ａｄｊｅｃｔ
ｉｖｅ＞　　＜ｑｕａｌｉｆｉｅｄ−ｏｂｊ＞　　＜ｖ
ｅｒｂ＞＜Ｉ）ｒｉｍ−ｏｂｊ＞　１ ＜ａｄｊｅｃｔｉｖｅ＞　＜ｑｕａｌｉｆｉｅｄ−ｏｂ
ｊ＞　＜ｖｅｒｂ＞＜ｑｕａｌｉｆｉｅｄ−ｏｂｊ＞　
１ ＜ｔａｇ−ｏｂｊ＞　　＜ｆｕｎｃｔｉｏｎ＞　　＜＆
　　ｒｅｓｔ　　ａｒｇｕｍｅｎｔｓ＞　　１帰結フイ
ールドの発生に関するＢａｃｋｕｓ−Ｎａｕｒ　Ｆｏｒ
ｍのソフトウェア形式論の文法は次の通りである：＜ｃ
ｏ＋ｕ＋ａｎｄ＞　　：：＝ｒｅｍｏｖｅ　　１　１ｎ
ｓｅｒｔ　　１　　ｒｅｐｌａｃｅ　　１ｒｅｍｏｖｅ
　　ｉｆ　　ｎｏ　　ｄｅｓｔｓ　１５ｙｎｔｈｅｓｉ
ｚｅ　１　ｍｏｄｉｆｙ１ｉｓｐ　　１ ＜１ｎｓｔ−ｏｂｊ＞　　：：＝タイプモデル事例の対
象物又は対象物のリストである。

＜ｅｑｕａｔｉｏｎ＞　　：：＝それぞれの後に任意ｒ
ｍｏｄｉｆｙＪステートメントを伴なう１つ又は複数の
式＜ｐｒｏｃｅｄｕｒｅ＞　：　：　＝　ＬＩＳＰ式＜
ｃｏｎｓｅｑｕｅｎｃｅ＞　：：＝＜１ｎｓｔ−ｏｂｊ
＞除去：：　＝＜ｅｑｕａｔｉｏｎ＞挿入 ：：＝＜ｅｑｕａｔｉｏｎ＞を＜１ｎｓｔ−ｏｂｊ＞と
置換え ：：　−ｉｆ　　ｎｏ　　ｔｅｓｔ　＜１ｎｓｔ−ｏｂ
ｊ＞除去 ：：＝＜ｑｕａｌｉｆｉｅｄ−ｏｂｊ＞　から＜ｑｕａ
−１ｉｆｉｅｄ−ｏｂｊ＞　＜ｒｕｌｅｓ＞合成：：　
＝＜ｑｕａｌｉｆｉｅｄ−ｏｂｊ＞　　を＜ｐｒｉｍ−
ｏｂｊ＞と変更 ：：＝１ｉｓｐ手順 前述の記述は好ましい実施例の作用を図示説明するため
に包含されたものであり、本発明の範囲を制限すること
が意味されるものではない。本発明の範囲は特許請求の
範囲によってのみ制限されるべきである。前述の記述か
ら、当業者にとり、発明の精神および範囲に包囲され得
る多くの変形がなされ得ることが明瞭であろう。

【図面の簡単な説明】

第１図は、従来技術による合成回路設計用の手順を示す
流れ図、 第２図は、本発明が使用されるべき合成回路設計用の手
順を示す流れ図、 第３図は、論理設計規則及び論理合成ルールのデータ構
造のアーキテクチャの全体を示す図、第４図は、本発明
によるルールファイルの構造を示す図、 第５図は、本発明によるルールファイルの前提部分の形
式を示す図、 第６図は、本発明によるルールファイルの結果部分の形
式を示す図、 第７図（Ａ）、（Ｂ）は、本発明による合成手順の除去
動作、挿入動作、および置換え動作を示す図、 第８図は、本発明による原始的データベース対象物のル
ールによる変更を示す図である。 ３００・・・全規則ベーステーブル、 ３０１　、３０２・・・規則ベース、　３０３・・・名
前、３０４・・・一般的規則ベース属性、 ３０５・・・規則テーブル、 ３０６　、３０７　、３０８・・・規則ファイル、３１
０・・・全設計テーブル、 ３１１　、３１２・・・設計、　　　　３１３・・・設
計の規則、３１４・・・モデル定義テーブル、 ３１５・・・プリミティブモデル定義、３１’６・・・
モデル定義、 ３１７・・・モデル定義の規則、 ３１８・・・モデル事例リスト、 ３１９　、３２０・・・モデル事例、 ３２１・・・モデル事例の規則。 以下余白 図面の浄書（内容に変更なし） 第１図 第２図 手続補正書（方式） 昭和６２年１２Ｊ４Ｚ２日 特許庁長官　小　川　邦　夫　殿 １、事件の表示 昭和６２年特許願第２２６７２４号 ２、発明の名称 論理回路の合成用の手順において使用されるルール構造
およびルール実行の手順 ３゜補正をする者 事件との関係　　　特許出願人 名称　デ、イジタル　イクウィップメントコーボレイシ
ョン ４、代理人 住所　〒１０５東京都港区虎ノ門−丁目８番１０号静光
虎ノ門ビル　電話５０４−０７２１５、補正命令の日付 ６、補正の対象 （１１願書の「出願人の代表者」の欄 （２）委任状 （３）図　面 ７゜補正の内容 （１１（２）　　別紙の通り （３）　　　図面の浄書（内容に変更なし）８、添附書
類の目録 （１１訂正願書　　　　１通 （２）委任状及び訳文　　　　　　　　各１通（３）浄
書図面　　　　１通

Claims (1)

1. 【特許請求の範囲】 １、モデル例の所定の特性を試験する第１のフィールド
   ； 該所定の特性の存在に応答して動作を実行する第２のフ
   ィールド；および、 該第２のフィールドを含むルールの相対的重要度を識別
   する第３のフィールド； を具備する論理回路の自動合成用の手順において使用さ
   れるルール構造。 ２、先行する合成手順の実行中の該ルールの利用の経歴
   に関連する情報を含む第４のフィールドをさらに具備す
   る特許請求の範囲第１項記載の論理回路の自動合成用の
   手順において使用されるルール構造。 ３、該ルールは、関連するデータベースに対するアクセ
   スを要求しない原始的対象物と、該データベースに対す
   るアクセスを要求する有資格の対象物の２種類の対象物
   に言及することができる特許請求の範囲第２項記載の論
   理回路の自動合成用の手順において使用されるルール構
   造。 ４、該第１のフィールドは、修飾された対象物と、その
   後に続く動詞と、さらにその後に続く原始的対象物又は
   有資格の対象物の一方とを含むフォーマットを有する特
   許請求の範囲第３項記載の論理回路の自動合成用の手順
   において使用されるルール構造。 ５、該第１のフィールドの第１の部分は形容詞である特
   許請求の範囲第４項記載の論理回路の自動合成用の手順
   において使用されるルール構造。 ６、該第１のフィールドは、タグ付対象物と、その後に
   続く機能と、さらにその後に続く可変数の有資格の対象
   物又は原始的対象物とを含むフォーマットを有する特許
   請求の範囲第３項記載の論理回路の自動合成用の手順に
   おいて使用されるルール構造。 ７、該第２のフィールドは、１つの活動を指示する指令
   を含み、該活動の実行の対象となる少なくとも１つの有
   資格の対象物が該活動に続く特許請求の範囲第３項記載
   の論理回路の自動合成用の手順において使用されるルー
   ル構造。 ８、該活動は除去動作、挿入動作及び置換え動作の中の
   １つを含む特許請求の範囲第７項記載の論理回路の自動
   合成用の手順において使用されるルール構造。 ９、該少なくとも１つの修飾された対象物の後に前置詞
   が続き、さらにその後に少なくとも１つの第２の有資格
   の対象物が続く特許請求の範囲第８項記載の論理回路の
   自動合成用の手順において使用されるルール構造。 １０、該第２のフィールドは、その後に続くキーワード
   「ｆｒｏｍ」と、その後に続く有資格の対象物と、その
   後に続くキーワード‘ｔｏ’と、その後に続く第２の有
   資格の対象物と、さらにその後に続くルールの集合体と
   を含む合成活動を指示する指令を含むフォーマットを有
   する特許請求の範囲第３項記載の論理回路の自動合成用
   の手順において使用されるルール構造。 １１、該ルールの適用の結果、１つ又は複数の例と１つ
   又は複数の例との置換えが起こる特許請求の範囲第１項
   記載の論理回路の自動合成用の手順において使用される
   ルール構造。 １２、データベースポインタを使用して、少なくとも１
   つのルールをモデル構造に関連づける過程；第１の条件
   が存在するか否かを判定するために、関連づけられた各
   ルールの第１の部分を実行する過程； 複数のルールが該第１の条件の存在を判定した場合に該
   関連づけられたルールの中の１つを選択する過程；そし
   て、 論理回路合成のために該選択されたルールの第２の部分
   を実現する過程； を具備する論理回路の自動合成においてモデル構造に関
   連するルール実行手順。