摘要 |
PROBLEM TO BE SOLVED: To shorten the time for extraction while keeping the coincidence of structure between two models in the method which extracts the gate model circuit from the FET model circuit. SOLUTION: This method which extracts the gate model from the FET model by using a computer-actualized expert system includes several steps. Namely, a power source, a ground and a clock signal are recognized 44, an inverter is recognized 46, and all logic signals of the FET model circuit are recognized and saved 48; and the Boolean partial trees of one or plural structure bases are assembled as to the respective recognized logic signals 50, one plural Boolean trees have branches pruned in a discovery basis 52, and a logical equation is composed from one or plural Boolean partial trees 54. The expert system device includes a FET model input net list, an inference engine, a rule base, a input, and a gate model output net list.
|