Logic synthesizer for engineering changes
AssigneeFujitsu Limited
InventorSaburo Muroga
Life of this patent
Estimating the term…
Abstract
A synthesizer of logic networks of computers that has a capability of handling engineering changes necessitated by changing transistor circuits is disclosed. In order to design a computer, a computer system is designed first, and then the design of logic networks follows. Then transistor circuits are designed and then actually realized with transistors and other electronic components. But very often, transistor circuits need to be partly changed for various reasons. Responding to these engineering changes, the disclosed logic synthesizer can with great ease synthesize a new logic network such that the transistor circuit corresponding to this new logic network has necessary engineering changes made and keeps intact the portion of the original transistor circuit that the user of this synthesizer does not want to change.
Claims10
A method for conducting logic network synthesis comprising:
- converting a transistor circuit having transistor gates into a logic network, each single transistor gate in the transistor circuit being converted to a corresponding single logic gate having an output function identical to that of the transistor gate from which it was converted;
- specifying a first portion of the logic network which requires engineering changes, a second portion corresponding to a portion of the transistor circuit to be kept intact, and a third portion including the logic network outside of said first and second portions;
- converting the first portion of the logic network to make said engineering changes;
- and
- producing a new transistor circuit from said first portion to which changes were made and said second and third portions while recovering network functions that were modified as a result of said making changes to said first portion of the logic network.
The method of claim 5 wherein:
- said recovering of functions is accomplished by pruning and network transformation.
The logic synthesizer of claim 5, wherein:
- the complexity of logic gates is controlled during execution of said method.
A method for conducting logic network synthesis comprising:
- converting a transistor circuit having transistor gates into a logic network, each transistor gate in the transistor circuit being converted to a corresponding single logic gate having an output function identical to that of the transistor gate from which it was converted;
- specifying a first portion of the logic network which requires engineering changes, a second portion corresponding to a portion of the transistor circuit to be kept intact, and a third portion including the logic network outside of said first and second portions;
- converting the first portion of the logic network to make said engineering changes;
- and
- reducing the third portion of the logic network while recovering functions of the logic network which may have changed during said step of converting.
Dependencies are inferred from the claim text.