Claims Analysis
Total Claims: 20
Claim 1
Independent Claim
226 words
An automatic circuit translation method for translating first circuit net data representing a first circuit into second circuit net data representing a second circuit realizing the same function as that of a first circuit represented by said first circuit net data in a system having a processor means for processing data and a memory means for storing translation rules of circuit element representations each of which is determined depending upon connective relations of each circuit element with at least one circuit element and upon the function of each circuit element, wherein each of said translation rules is described by a predicate logic program, and wherein each of said first and second circuit net data is described by a predicate logic program, said method comprising the steps of: inputting said first circuit net data to said processor means; extracting, by said processor means, the connective relations between circuit elements in the first circuit from the inputted first circuit net data; selecting a translation rule on the basis of the extracted connective relations; translating, by said processor means, the circuit elements of the first circuit represented by said inputted first circuit net data to those of the second circuit represented by the second circuit net data based on a selected translation rule; and outputting said second circuit net data as results of the translation from said processor means.
Claim 2
Dependent Claim
226 words
An automatic circuit translation method for translating first circuit net data representing a first circuit into second circuit net data representing a second circuit realizing the same function as that of a first circuit represented by said first circuit net data in a system having a processor means for processing data and a memory means for storing translation rules of circuit element representations each of which is determined depending upon connective relations of each circuit element with at least one circuit element and upon the function of each circuit element, wherein each of said translation rules is described by a predicate logic program, and wherein each of said first and second circuit net data is described by a predicate logic program, said method comprising the steps of: inputting said first circuit net data to said processor means; extracting, by said processor means, the connective relations between circuit elements in the first circuit from the inputted first circuit net data; selecting a translation rule on the basis of the extracted connective relations; translating, by said processor means, the circuit elements of the first circuit represented by said inputted first circuit net data to those of the second circuit represented by the second circuit net data based on a selected translation rule; and outputting said second circuit net data as results of the translation from said processor means.
Claim 3
Dependent Claim
33 words
An automatic circuit translation method according to claim 1, wherein rules for simplifying predetermined circuits are stored in said memory means to simplify the second circuit represented by said second circuit net data.
Claim 4
Dependent Claim
23 words
An automatic circuit translation method according to claim 1, wherein said connective relations include fan-in numbers and fan-out numbers of said circuit elements.
Claim 5
Dependent Claim
32 words
An automatic circuit translation method according to claim 1, wherein said connective relations with said other circuit elements are determined based on at least a possible fan-out number of each circuit element.
Claim 6
Dependent Claim
25 words
An automatic circuit translation method according to claim 1, wherein said translation rules include rules for representations of NOR circuit elements in a CMOS circuit.
Claim 7
Dependent Claim
28 words
An automatic circuit translation method according to claim 1, wherein said translation rules include rules which have been determined by connections similar to those of said second circuit.
Claim 8
Dependent Claim
28 words
An automatic circuit translation method according to claim 1, wherein said translation rules include rules which have been determined by connections similar to those of said second circuit.
Claim 9
Dependent Claim
187 words
An automatic circuit translation method for translation first circuit net data representing a first circuit into second circuit net data representing a second circuit realizing the same function as that of the first circuit represented by said first circuit net data in a system having a processor means for processing data and a memory means for storing translation rules of circuit element representations each of which is determined depending upon connective relations of each circuit element with at least one circuit element and upon the function of each circuit element and upon the function of each circuit element, wherein each of said translation rules is described by a predicate logic program and wherein each of said first and second circuit net data is described by a predicate logic program, said method comprising the steps of: inputting said first circuit net data to said processor means; translating, by said processing means, said first circuit net data into said second circuit net data based on said translation rules from said memory means; and outputting said second circuit net data as a result of the translation by said processor means.
Claim 10
Dependent Claim
187 words
An automatic circuit translation method for translation first circuit net data representing a first circuit into second circuit net data representing a second circuit realizing the same function as that of the first circuit represented by said first circuit net data in a system having a processor means for processing data and a memory means for storing translation rules of circuit element representations each of which is determined depending upon connective relations of each circuit element with at least one circuit element and upon the function of each circuit element and upon the function of each circuit element, wherein each of said translation rules is described by a predicate logic program and wherein each of said first and second circuit net data is described by a predicate logic program, said method comprising the steps of: inputting said first circuit net data to said processor means; translating, by said processing means, said first circuit net data into said second circuit net data based on said translation rules from said memory means; and outputting said second circuit net data as a result of the translation by said processor means.
Claim 11
Dependent Claim
29 words
An automatic circuit translation method according to claim 1 or 8, wherein said first circuit comprises a logical gate and said second circuit comprises an I 2 L gate.
Claim 12
Dependent Claim
24 words
An automatic circuit translation method according to claim 1 or 8, which further comprises a step of extracting connective relations between the circuit elements.
Claim 13
Dependent Claim
35 words
An automatic circuit translation method according to claim 1 or 8, which further comprises a step of reducing at least one circuit element from said second circuit net data as the result of the translation.
Claim 14
Dependent Claim
23 words
An automatic circuit translation method according to claim 10, wherein said extracted data includes fanout number and fanin number of the circuit element.
Claim 15
Dependent Claim
55 words
An automatic circuit translation method according to claim 1 or 8, wherein said translation rules include a rule for examining the connective relation between the circuit element of said first circuit and a rule for translating said first circuit net data into said second circuit net data in response to the result of the examination.
Claim 16
Dependent Claim
29 words
An automatic circuit translation method according to claim 13, wherein said examining step comprises a step of comparing a fanout number of the circuit element with a predetermined value.
Claim 17
Dependent Claim
214 words
An automatic circuit translation method for translating first circuit net data representing a first circuit into second circuit net data representing a second circuit realizing the same function as that of the first circuit represented by said first circuit net data in a system having a processor means for processing data and a memory means for storing translation rules of circuit element representations each of which is determined depending upon connective relations of each circuit element with at least one circuit element and upon the function of each circuit element, wherein each of said translation rules is described by a predicate logic program, and wherein each of said first and second circuit net data is described by a predicate logic program, said method comprising the steps of: inputting said first circuit net data to said processor means, translating, by said processor means, a circuit element of the first circuit represented by said inputted first circuit net data to those of the second circuit represented by the second circuit net data based on a translation rule; reducing a part of the circuit element of the second circuit obtained by said translation based on said translation rules stored in said memory means; and outputting said second circuit net data obtained by said translating and reducing steps.
Claim 18
Dependent Claim
214 words
An automatic circuit translation method for translating first circuit net data representing a first circuit into second circuit net data representing a second circuit realizing the same function as that of the first circuit represented by said first circuit net data in a system having a processor means for processing data and a memory means for storing translation rules of circuit element representations each of which is determined depending upon connective relations of each circuit element with at least one circuit element and upon the function of each circuit element, wherein each of said translation rules is described by a predicate logic program, and wherein each of said first and second circuit net data is described by a predicate logic program, said method comprising the steps of: inputting said first circuit net data to said processor means, translating, by said processor means, a circuit element of the first circuit represented by said inputted first circuit net data to those of the second circuit represented by the second circuit net data based on a translation rule; reducing a part of the circuit element of the second circuit obtained by said translation based on said translation rules stored in said memory means; and outputting said second circuit net data obtained by said translating and reducing steps.
Claim 19
Dependent Claim
65 words
An automatic circuit translation method according to claim 15, wherein said translating step includes the steps of: extracting the connective relations between circuit elements in the first circuit from inputted first circuit net data; selecting a translation rule based on the extracted connective relations; and translating the circuit elements of the first circuit to those of the second circuit based on a selected translation rule.
Claim 20
Dependent Claim
32 words
An automatic circuit translation method according to claim 1, 15 or 16, wherein said circuit elements of said first circuit and second circuit include a logical gate and a semiconductor gate respectively.