JPH02201579A - Logical synthesizing system - Google Patents

Abstract

PURPOSE:To obtain conclusion at high speed by permitting the reuse of self- generated parts, and omitting overlapped or redundant computation. CONSTITUTION:To a component to be obtained by standard is provided with a means (engine) 12 to execute the automatic synthesization of a logical circuit 15 (or a program) and a means (parts registration control part) 14 to evaluate attribute and to execure registration as the parts when a condition is satisfied. For the macro-parts to be generated as a goal or a sub goal, the aptitude as the parts is evaluated and after that, the suitable parts are registered to a data base 13 as the basic parts. Thus, by permitting the reuse of the self- generated parts, the overlapped or redundant computation is omitted. Accordingly, the conclusion can be obtained at high speed.

Description

DETAILED DESCRIPTION OF THE INVENTION [Object of the Invention] (Industrial Application Field) The present invention relates to a logic circuit synthesis system that automatically synthesizes and automatically converts logic circuits.

(Conventional technology) Due to advances in semiconductor technology, microprocessors, LSIs,
Highly integrated memory has been achieved. Logic circuits used in computers are becoming more complex and larger year by year, making their design extremely difficult. For this reason, we use CAD (Computer Computer) to enable efficient logic design.
It is necessary to improve the ability of aided design.

Conventionally, in automatic synthesis of logic circuits, a number of elements stored as parts are appropriately combined in a 11-way manner to synthesize a 1''-like circuit. This parts database is given in advance. As shown in FIG. 3, the engine (processor) 32
Given an input (specification 33) to the engine 32
searches the parts database 31 for parts necessary to satisfy this specification 33. If the target part is not registered in this parts database 31 in its original form,
The engine 32 divides the specification 33 into several small partial specifications and searches for parts that satisfy each partial specification. These operations are performed in an M-recursive manner, and when all partial specifications are satisfied, the parts satisfying these partial specifications are divided and put together by retracing the operations. In this way, a set of parts that satisfies the manual specifications is created. This is the output (logic circuit/program 34)
becomes.

(Problems to be Solved by the Invention)] As described above, in the case of synthesizing the same logic circuit, in the conventional technology, the same process is newly repeated to obtain the same result. Further, even if a module constituting a certain circuit has been previously obtained, the module must be newly synthesized, which poses a problem such as a large amount of time is required for synthesis.

The present invention has been made in view of the above circumstances, and it is an object of the present invention to provide a logic circuit synthesis system that automatically synthesizes logic circuits with high efficiency, high speed, and high quality.

[Structure of the Invention] (Means for Solving the Problems) The logic circuit synthesis system of the present invention includes a component database section that stores component information, and a module that combines the component information stored in this component database section. By doing this, the engine section can be brought closer to the logic circuit specifications manually generated from the outside, and the attributes of the module synthesized by this engine section are evaluated, and based on the evaluation results, the module is registered as new component information in the above component database section. It is characterized by comprising a parts registration control section that performs the following steps.

(Function) In the above configuration, a component that has traditionally been standard in this type of system includes a means (engine part) for automatically synthesizing a logic circuit (or program), and a means for automatically synthesizing a logic circuit (or program) and registering it as a component when its attributes are evaluated and conditions are met. By adding a means to perform this (component registration control unit), it is possible to synthesize circuits (or programs) that have been synthesized by oneself from a higher level as basic components, realizing high-speed, high-quality automatic synthesis/conversion. do.

Is it more important to allow reuse of self-generated parts? , (and redundant calculations can be omitted, and conclusions can be reached quickly.Also, even if it takes time to synthesize parts as a side, by repeating reuse, the number of times per use can be reduced.) Since the calculation time is reduced, sufficient time can be spent on synthesizing parts, and high-quality parts can be obtained.

(Example) Hereinafter, an example of the present invention will be described in detail using the drawings. FIG. 1 is a block diagram showing an embodiment of the present invention.

In the figure, reference numeral 11 is specification information and human power to be converted into a logic circuit 15. Reference numeral 12 is an engine, and according to the specification information 11, the parts database 13 is
The components obtained from this process are combined to create the desired logic circuit.

Reference numeral 13 denotes a file device in which a parts database is stored, and stores parts necessary for constructing a logic circuit in a searchable state.

Reference numeral 14 denotes a parts registration control unit, which newly registers the partial circuit generated by the engine 12 in the parts database 13 if it is suitable as a part. Reference numeral 15 is a logic circuit, which is used to generate [-1].

In section 1-, it is assumed that the CAD system for automatically synthesizing logic circuits is composed of a parts database 13 given in advance and an engine 12 for combining parts. The engine 1') attempts to realize a solution that satisfies the given specifications 11 by assembling parts included in the parts database 13.

Logic circuits generally have a hierarchical structure, and within this structure, circuits with duplicate (same) shapes may appear.

Figure 2 shows this hierarchical structure. In the figure, it is assumed that the logic circuit "CIR-1" designated as 1 and [1] is composed of 11 basic components of 4 types. this?・The basic parts of
It consists of three types of macro parts. Here, macro parts are synthesized as subgoals in the engine, and express functions higher than basic parts. In this example, there are two MacD parts "MP-1", but with the conventional knob method, the exact same operation is repeated twice [2 and "MP-1" is used].
-1" is generated.

In order to avoid such waste, the present invention includes a component registration control unit that evaluates the suitability of macro parts generated as goals or subgoals as parts, and then registers the macro parts that are suitable as main parts in the parts database 13. Has 14. By having such a parts registration control section 14,
There is no need to generate macro parts by heavy cooling, and the overall execution speed is improved by 1°t.

It should be noted that the embodiments of the present invention are shown by illustrating only logic circuit synthesis, and can be similarly applied to program synthesis.

[Effects of the Invention] As explained below, according to the present invention, by allowing the reuse of self-generated parts, it is possible to reduce the amount of cold and redundancy.
You can save calculations and get a conclusion quickly. In addition, even if time is taken to synthesize parts as a side, repeated reuse reduces the calculation time per use, allowing sufficient time to be spent on composing parts, resulting in high performance. There are effects such as being able to obtain high-quality parts.

[Brief explanation of the drawing]

FIG. 1 is a block diagram showing an embodiment of the present invention, FIG. 2 is a diagram showing a three-layer database of logic circuits, and FIG. 3 is a diagram showing a conventional example. 11... Specifications, 12... Engine, ]-3... Parts database, 14... Parts registration control unit, 15...
, logic circuits. Applicant's agent Patent attorney Takehiko Suzue Figure 1 Figure 3 Figure 2

Claims (1)

[Claims] A component database section that stores component information, an engine section that approaches logic circuit specifications input from the outside by combining the component information stored in this component database section and synthesizing it into a module; A logic circuit synthesis system comprising: a component registration control unit that evaluates attributes of the module and registers the module as new component information in the component database unit based on the evaluation result.