Programmable logic device, method for verifying error of programmable logic device, and method for forming circuit of programmable logic device

---