This program is then compiled (step S122) to generate a program in which a circuit specification is described in language such as RTL (Register Transfer Level) or the like, and a circuit layout is generated from the program in which this circuit specification is described (step S123). [0015] As stated above, the software portion of the system 101 is generated from the logic specification of the so