Pat

J-GLOBAL ID：200903054755271134

論理合成システム

Inventor： 水野 淳 ,  関根 優年
Applicant, Patent owner： 株式会社東芝
Agent (1)： 三好 秀和 (外3名)
Gazette classification：公開公報
Application number (International application number)：1995048590
Publication number (International publication number)：1996249358
Application date： Mar. 08, 1995
Publication date： Sep. 27, 1996
Summary：

【要約】【目的】 ルール管理やルール作成が容易になるように、簡単なルール記述でルールを定義できまたルールを自動生成する機能をもつ論理合成システムを提供することを目的とする。【構成】 回路変換ルールを生成するルールベース部1と、このルールベース部にて生成された回路変換ルールを用いて機能記述をテクノロジ依存の論理回路に変換する論理合成エンジン部19とを備えた論理合成システムにおいて、前記ルールベース部1は、ルールの変換前回路として所望の初期回路を生成する初期回路提供部5と、前記初期回路を簡単化し、簡単化回路を出力する論理簡単化部7と、前記初期回路及び前記簡単化回路を入力し、前記初期回路と前記簡単化回路とを対にして表記したルール記述を生成するルール記述生成部11と、前記ルール記述より回路変換プログラムコードであるルールを生成するルール生成部13と、前記ルールを逐次保持するルール記憶部17とを備えてある。

Claim (excerpt)：

論理簡単化の対象となる簡単化前の論理回路と、簡単化後の論理回路とを対にして表記した回路変換の簡単化規則(ルール)を用いて論理合成を行うことを特徴とする論理合成システム。