| 摘要 |
Provided is a computer system (1) including a storage (2) for storing a netlist (31), and a contents generator (12) for generating a program (32) containing a statement to execute a plurality of operations of an operation portion contained in the netlist (31). The operation portion includes an operation performing logic operations of multiple stages and having a plurality of inputs, and an operation of a previous stage for a plurality of input sources. The contents generator (12) includes an analyzer (14) for analyzing the operation portion from the output stage to the input stage and for judging that the operation of an object to be analyzed is such an operation when the plural inputs are partially determined that at least a portion of other inputs are don't care, and a converter (15) for reconstructing and outputting, if the judgment is YES, the statement to execute the operation of the analysis object into the statement to execute any of the operations of the plural input sources and to bypass the operation of the source of the input of the don't care.
|
