A binding data acquisition unit (220) acquires binding data (124) in which a plurality of memory modules is described as functional modules of a circuit to be designed. A memory module selection unit (2000), on the basis of a restriction condition relating to the circuit to be designed, selects from among the plurality of memory modules described in the binding data (124) an external memory module to be implemented as an external memory outside the circuit to be designed.