Abstract: A power source system (1) operable to supply a load circuit (10) with electrical power, including a power-supplying source (2) including a plurality of power source terminals (3) and (4) that differ in output voltage from one another, in which the power-supplying source is operable to supply the electrical power through the plurality of power source terminals (3) and (4), a power source terminal-selecting unit (5) operable to select either one of the plurality of power source terminals (3) and (4), a plurality of voltage converting units (6) and (7) connected to the power source terminal-selecting unit (5) and operable to convert electrical voltage, and a voltage converting unit-selecting unit (8) operable to select either one of the plurality of voltage converting units (6) and (7). The power source system provides the proper supply of the electrical power in accordance with a status of the load circuit (10).

Abstract: A power source system (1) operable to supply a load circuit (10) with electrical power, including a power-supplying source (2) including a plurality of power source terminals (3) and (4) that differ in output voltage from one another, in which the power-supplying source is operable to supply the electrical power through the plurality of power source terminals (3) and (4), a power source terminal-selecting unit (5) operable to select either one of the plurality of power source terminals (3) and (4), a plurality of voltage converting units (6) and (7) connected to the power source terminal-selecting unit (5) and operable to convert electrical voltage, and a voltage converting unit-selecting unit (8) operable to select either one of the plurality of voltage converting units (6) and (7). The power source system provides the proper supply of the electrical power in accordance with a status of the load circuit (10).

Abstract: A dividing flip-flop FF2 is inserted in a cluster C of which the cluster length exceeds a predetermined cluster length. The flip-flop inserted cluster C is re-clustered, generating subdivided clusters C1 and C2. Therefore, the degree of freedom is increased in allocating clusters to a variable logic element such as an FPGA in a logical emulation device.

Abstract: A dividing flip-flop FF2 is inserted in a cluster C of which the cluster length exceeds a predetermined cluster length. The flip-flop inserted cluster C is re-clustered, generating subdivided clusters C1 and C2. Therefore, the degree of freedom is increased in allocating clusters to a variable logic element such as an FPGA in a logical emulation device.

Abstract: Each of terminals of a terminal group of a variable wiring element is connected to each three corresponding signal lines between three variable logic elements. The signal lines connected to the terminals of the terminal group of the variable wiring element can be used by any of the variable logic elements. Thus, depending on the number of signal lines used by each of the variable logic elements determined by the result of dividing of an under-verification circuit, the signal lines are selectively used. This allows efficient use of the signal lines.

Abstract: The output controlling circuit acquires temperature data of the variable logic elements that the temperature sensing units detect, and makes the output of the variable logic elements into high impedance where an excessive current flows into the variable logic elements and the temperature thereof excessively rises. Therefore, it is possible to prevent signals from being colliding with each other between variable logic elements, and between each of the variable logic elements and the external device, and it is possible to prevent an excessive current from continuously flowing into the variable logic elements and the external device.