JPH027171A - 論理回路合成方式 - Google Patents

論理回路合成方式

Info

Publication number
JPH027171A
JPH027171A JP63157768A JP15776888A JPH027171A JP H027171 A JPH027171 A JP H027171A JP 63157768 A JP63157768 A JP 63157768A JP 15776888 A JP15776888 A JP 15776888A JP H027171 A JPH027171 A JP H027171A
Authority
JP
Japan
Prior art keywords
intermediate code
rule base
rule
technology
converting
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
JP63157768A
Other languages
English (en)
Inventor
Hiroshi Ichiyanagi
一柳 洋
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
NEC Corp
Original Assignee
NEC Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by NEC Corp filed Critical NEC Corp
Priority to JP63157768A priority Critical patent/JPH027171A/ja
Publication of JPH027171A publication Critical patent/JPH027171A/ja
Pending legal-status Critical Current

Links

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は情報処理装置によるCAD分野に利用される。
本発明は、CADによりレジスタおよびトランスファレ
ベルの機能記述言語から、論理回路を合成する論理回路
合成方式に関し、特に、ルールベースに格納された合成
ルールに従って回路を合成する論理回路合成方式に関す
る。
〔概要〕
本発明は、レジスタレベルの機能記述言語吾を入力とし
て合成ルールに従い論理回路を合成しそのネットリスト
を出力する論理回路合成方式において、 人力された機能記述言語をマクロ展開ルールベースに従
い論理式に近いレベルに展開し、この展開された機能記
述言語をテクノロジー独立中間コードに変換し、さらに
このテクノロジー独立中間コードを、前記機能記述言語
で表わされた合成ルールに基づいて生成された変換ルー
ルベースに従ってテクノロジー依存中間コードに変換し
前記ネットリストを出力するようにすることにより、変
換ルールベースの追加を容易にするとともに処理の簡単
化を図ったものである。
〔従来の技術〕
従来、この種の論理回路合成方式では、合成方法を容易
に変更できるようにするために、合成方法をルールで表
現し、外付けのルールベースに格納していた。それは、
合成方法を変更する際に、合成プログラムを変更する必
要はなくルールベースを変更すればよいということであ
る。また、テクノロジーごとにルールベースを作成して
おくことにより、合成プログラム自体はテクノロジーに
独立なものとしておくことができた。
〔発明が解決しようとする問題点〕
前述した従来の論理回路合成方式においては、合成ルー
ルを記述するときに人力となる機能記述言語と異なる言
語を使用しなければならない欠点があった。
また、ルールの適用順等のメタルールを書けない場合に
は、ルールを追加するときにルールベース中での追加位
置を考慮しなければならず、ルールベースの修正が煩雑
になるという欠点があった。
さらに、従来の論理回路合成方式では、高レベルの機能
記述から詳細回路を合成する際に、回路の構成方式等の
特定のテクノロジーから切り離して考えるべき合成ルー
ルも、テクノロジーごとのルールベースに格納しておか
なければならない欠点があった。
本発明の目的は、前記の欠点を除去することにより、合
成ルールを回路の仕様記述と同一の記述言語を利用して
記述することができ、ルールベースの修正ならびに論理
回路の合成を簡単に行うことができる論理回路合成方式
を提供することにある。
〔問題点を解決するための手段〕
本発明は、マクロ展開ルールベースが格納された展開ル
ールベース部を備えた論理回路合成方式において、人力
されるレジスタレベルの機能記述言語吾を前記マクロ展
開ルールベースに従って論理式に近いレベルの形式に展
開するマクロ展開部と、このマクロ展開された機能記述
言語をテクノロジー独立中間コードに変換する中間コー
ド生成部と、前記テクノロジー独立中間コードをテクノ
ロジー依存中間コードに変換する変換ルールベースが格
納された変換ルールベース部と、前記テクノロジー独立
中間コードを前記変換ルールベースに従い前記テクノロ
ジー依存中間コードに変換しネットリストを出力する回
路合成部と、入力される前記機能記述言語で表わされた
合成ルールに従い前記変換ルールベースを生成する処理
を行うルールコンパイラが格納されたコンパイラ部とを
備えたことを特徴とする。
〔作用〕
入力されたレジスタレベルの機能記述言語は、マ/)四
層開部においてマクロ展開ルールベースに従って論理式
に近いレベルの形式に展開され、これにより中間コード
生成部はテクノロジー独立中間コードを生成する。そし
てこのテクノロジー独立中間コードは、回路合成部にお
いて変換ルールベースに従ってテクノロジー依存中間コ
ードに変換され、ネットリストとして出力される。一方
、前記変換ルールベースは、前記記述言語で表わされた
合成ルールの人力によりルールコンパイラによる所定の
処理で生成される。
従って、回路の仕様記述と合成ルールに同一の機能記述
言語を用いることができ、合成ルールの追加を簡単にし
、さらにマクロ展開ルールベースによりレジスタレベル
の機能記述を条件に合せてより詳細化することが可能と
なる。
〔実施例〕
以下、本発明の実施例について図面を参照して説明する
第1図は本発明の一実施例の要部を示すブロック構成図
である。
本実施例は、マクロ展開ルールベース13aが格納され
た展開ルールベース部13を備えた論理回路合成方式に
おいて、人力されるレジスタレベルの機能記述言語11
aをマクロ展開ルールベース13aに従って論理式に近
いレベルの形式に展開するマクロ展開部12と、このマ
クロ展開された機能記述言語をテクノロジー独立中間コ
ードに変換する中間コード生成部14と、前記テクノロ
ジー独立中間コードをテクノロジー依存中間コードに変
換する変換ルールベース19aが格納された変換ルール
ベース部19と、前記テクノロジー独立中間コードを前
記変換ルールベース19aに従い前記テクノロジー依存
中間コードに変換しネットリスト20aを出力する回路
合成部16と、入力される前記機能記述言語で表わされ
た合成ルール17aに従い変換ルールベース19aヲ生
成スル処理ヲ行うルールコンパイラ18aが格納された
コンパイラ部18とを備えている。
なお、第1図において、11は入力される機能記述言語
11aが格納された言語部、15は生成された中間コー
ド15aを格納する中間コード部、17は人力される合
成ルール17aが格納されたルール部および20は出力
されたネットリスト20aが格納されたネットリスト部
である。
本発明の特徴は、第1図において、マクロ展開部12、
中間コード生成部14、回路合成部16、ルールコンパ
イラ18aが格納されたコンパイラ部18、および変換
ルールベース19aが格納された変換ルールベース部1
9を設けたことにある。
次に、本実施例のより詳細な構成ならびに動作について
、第2図および第3図に示す流れ図を参照して説明する
。ここで、第2図はネットリスト作成処理を示し、第3
図は変換ルールベースの追加処理を示す。
回路の機能記述言語11aは、合成したい回路の仕様を
レジスタレベルの機能記述言語を用いて記述したもので
あり、言語部11としてのコンピュータの二次記憶装置
にファイルとして格納される。
機能記述にマクロ記述がある場合、マクロ展開部12は
、展開ルールベース13aに格納された展開ルールを選
択し、マクロ展開を行い、論理式に近いレベルの機能記
述言語を出力する(ステップS1)。この展開ルールは
、回路の構成方式のような特定のテクノロジーから切り
離して考えることができる設計ルールを記述したもので
ある。展開ルールの選択に際して競合を生じた場合には
、回路の性能やゲート数の制約等のパラメータを考慮し
て最も適切な回路構成をもつ展開ルールが適用される。
中間コード生成部14は、マクロ展開部12が出力した
論理式に近いレベルの機能記述言語を回路合成部16が
処理しやすい形式の中間コード15aに変換する。中間
コード15aは、テクノロジーに独立な回路のネットリ
ストを表現したものであり、中間コード部15としての
コンピュータの主記憶装置または二次記憶装置に格納さ
れる(ステップ32)。
回路合成部16は、テクノロジー独立中間コードをテク
ノロジー依存中間コードからなるネットリスト20aに
変換し、ネットリスト部20としてのコンピュータの主
記憶装置または二次記憶装置に格納される(ステップS
3)。この変換は中間コード中のゲーと、機能ブロック
またはそれらの組合せである回路パターンを対象テクノ
ロジーのゲーと、機能ブロックまたは回路パターンに置
き換えることによって行われる。
変換ルールベース19aには、変換ルールが、中間コー
ドのパターンと、対象テクノロジーの回路パターンとの
対として格納さている。回路合成部16は、中間コード
15aの一部に適合する中間コードのパターンをもつル
ールを変換ルールベース19aから探して、対象テクノ
ロジーの回路パターンに順次置き換える。
ルールコンパイラ18aは、変換ルールベース19aに
ルールを追加するときに利用される。最初に機能記述言
語とそれに対応する回路パターンの対ならびにその機能
を示すキーワードにより記述した合成ルール17aを、
中間コードパターンと回路パターンの対に変換する(ス
テップ511)。機能記述言語から中間コードきの変換
は中間コード生成部14と共通の処理で行うことができ
る。
次に、回路パターンのコストの算出を行う。ここでいう
コストとは、ゲート数、ブロック数、接続線数、面積お
よび遅延時間等のことである。変換ルールベース19a
の中の各ルールl!、同+−ワードをもつルール群にま
とめられ、各群の中でコスト順にソートされている。キ
ーワードはそのルールにより合成される回路の機能を示
すもので、AND、OR,NOTといったゲート機能、
加算器または選択器といった組合せ回路機能を示すもの
テする。ルールコンパイラ18aは、コスト算出を行っ
た後、追加すべきルールのキーワードをもつルール群を
探し、その中でコスト順にソートされるように追加位置
を決めた後、ルールの追加を行う (ステップ513)
〔発明の効果〕
以上説明したように、本発明は、合成したい回路の仕様
記述と合成ルールの記述に同一の機能記述言語を利用で
きること、また変換ルールベースへの組込みが自動的に
できることにより、ルールの追加が簡単にできる効果が
ある。
サラに、マクロ展開ルールベースにより、レジスタレベ
ルの機能記述言梧を合成回路の性能ならびにゲート数制
約を考慮して詳細化できる効果がある。
【図面の簡単な説明】
第1図は本発明の一実施例の要部を示すブロック構成図
。 第2図はそのネッ) IJスト作成処理を示す流れ図。 第3図はその変換ルールベース追加処理を示す流れ図。 11・・・言語部、11a・・・機能記述言梧、12・
・・マクロ11Na、13・・・展開ルールベース部、
13a・・・マクロ展開ルールベース、14・・・中間
コード生成部、15・・・中間コード部、15a・・・
中間コード、16川回路合成1.17・・・ルールL 
17a・・・合成ルーノベ18・・・コンパイラ部、1
8a・・・ルールコンパイラ、19・・・変換ルールベ
ースL 19a・・・変換ルールベース、20・・・ネ
ットリスト部、20a ・・・ネットリスと、S1〜s
3、S11−313・・・ステップ。 夷梵例の真藏 菖 1 口 (ネットリスト作成) 扇 夷交例 (変災ルールへ゛−スO追乃口) 扇 3 口

Claims (1)

  1. 【特許請求の範囲】 1、マクロ展開ルールベース(13a)が格納された展
    開ルールベース部(13)を備えた論理回路合成方式に
    おいて、 入力されるレジスタレベルの機能記述言語(11a)を
    前記マクロ展開ルールベースに従って論理式に近いレベ
    ルの形式に展開するマクロ展開部(12)と、 このマクロ展開された機能記述言語をテクノロジー独立
    中間コードに変換する中間コード生成部(14)と、 前記テクノロジー独立中間コードをテクノロジー依存中
    間コードに変換する変換ルールベース(19a)が格納
    された変換ルールベース部(19)と、前記テクノロジ
    ー独立中間コードを前記変換ルールベースに従い前記テ
    クノロジー依存中間コードに変換しネットリストを出力
    する回路合成部(16)と、 入力される前記機能記述言語で表わされた合成ルール(
    17a)に従い前記変換ルールベースを生成する処理を
    行うルールコンパイラ(18a)が格納されたコンパイ
    ラ部(18)と を備えたことを特徴とする論理回路合成方式。
JP63157768A 1988-06-24 1988-06-24 論理回路合成方式 Pending JPH027171A (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP63157768A JPH027171A (ja) 1988-06-24 1988-06-24 論理回路合成方式

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP63157768A JPH027171A (ja) 1988-06-24 1988-06-24 論理回路合成方式

Publications (1)

Publication Number Publication Date
JPH027171A true JPH027171A (ja) 1990-01-11

Family

ID=15656886

Family Applications (1)

Application Number Title Priority Date Filing Date
JP63157768A Pending JPH027171A (ja) 1988-06-24 1988-06-24 論理回路合成方式

Country Status (1)

Country Link
JP (1) JPH027171A (ja)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5201299A (en) * 1991-12-11 1993-04-13 Southwest Research Institute Rotary gaseous fuel injector
US5638493A (en) * 1993-02-25 1997-06-10 Reticular Systems, Inc. Net list generation for a rule base
US5740070A (en) * 1991-06-11 1998-04-14 Mega Chips Corporation Apparatus for automatically generating logic circuit

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5740070A (en) * 1991-06-11 1998-04-14 Mega Chips Corporation Apparatus for automatically generating logic circuit
US5201299A (en) * 1991-12-11 1993-04-13 Southwest Research Institute Rotary gaseous fuel injector
US5638493A (en) * 1993-02-25 1997-06-10 Reticular Systems, Inc. Net list generation for a rule base

Similar Documents

Publication Publication Date Title
US8468475B2 (en) Conversion of circuit description to an abstract model of the circuit
JPH03257671A (ja) 設計取り込みシステム
KR19980086572A (ko) 디지털 컴퓨터 하드웨어 설계와 시뮬레이션을 위한 방법 및 시스템
US5987239A (en) Computer system and method for building a hardware description language representation of control logic for a complex digital system
JPS5975347A (ja) 論理回路のシミユレ−シヨン装置
JPH10171848A (ja) アーキテクチャシステムを設計する方法
JP2009520287A (ja) マルチサイクル・クロック・ゲーティングのための方法および装置
JP2000259683A (ja) 論理シミュレーション方法及びそのシステム
US6834379B2 (en) Timing path detailer
JPH03116281A (ja) 論理合成装置
JPH027171A (ja) 論理回路合成方式
US7113901B1 (en) Reuse of hardware components
US4815016A (en) High speed logical circuit simulator
JP6859878B2 (ja) シミュレーションプログラム、方法、及び装置
US5428550A (en) Hierarchical hardware flowchart using symbolic macros
JPH0241571A (ja) 論理回路合成方式
JP3985066B2 (ja) 機械翻訳装置
JPH09251483A (ja) セルライブラリ作成方法
JPWO2003036523A1 (ja) シミュレーション方法、シミュレーションプログラム及び表示処理方法
JP2990882B2 (ja) 機能シミュレーション装置
JP2835082B2 (ja) 論理回路合成装置
EP0991000A2 (en) Reuse of hardware components
JP2001022808A (ja) 論理回路削減装置ならびに論理シミュレーション方法および装置
JP6958038B2 (ja) シミュレーションプログラム、方法、及び装置
JP2800742B2 (ja) 回路図生成装置