Circuit transformation system, circuit transformation method, inverted logic generation method, and logic design system

摘要

Circuit transformation of a first circuit constituted by a first set of elements into a logically equivalent second circuit constituted by a second set of elements is effected by selecting a candidate rule from a knowledge base memory. The knowledge base memory stores therein transformation rules expressed by a condition part and a conclusion part. The condition part of a candidate rule is matched to circuit data stored in a working memory. The application condition of the candidate rules is determined, and the candidate rule is applied to the circuit data of the working memory for transforming the circuit after confirmation of the establishment of the application condition. The knowledge base memory stores therein concise transformation rules including at least one of main transformation rules, subordinate transformation rules, logic negation rules and logic equivalence rules.