PROGRAMMABLE ONE-BOARD COMPUTER, AND METHODS OF VERIFICATION OF LOGIC CIRCUIT AND ALTERATION TO ACTUAL CIRCUIT USING THE PROGRAMMABLE ONE-BOARD COMPUTER

There is provided a programmable one-board computer comprising a system board including wirings, one or more of microprocessor chips disposed at the center of said system board, and a plurality of programmable logic devices (PLD) disposed to surround said one or more of the microprocessor chips. Each said PLD may include a memory for defining an internal circuit thereof or may substitute partly thereof for an external memory device, or said PLDs may be comprised of large scale PLDs as inner PLDs thereof and small scale PLDs as outer PLDs thereof. The programmable one-board computer can realize an actual circuit altered from a newly designed logic circuit and laid out on the same. The actual circuit laid on the same can be used for verification.