To provide an anti-fuse programming circuit which can verify the programmed condition by programming an anti-fuse circuit which becomes conductive through dielectric breakdown with a low electrical power in the packaging stage.

This programming circuit is provided with an operation switch 10 precharged with a half-power source voltage HVCC a sense signal input circuit 20 for receiving a sense signal for verifying the programmed condition of the anti-fuse circuit 70, a breakdown voltage supplying circuit 30 for supplying the power source voltage VCC for breakdown of anti-fuse circuit, an output circuit 60 for outputting the anti-fuse programming condition depending on the signal of the sense signal input circuit, a current cutoff circuit 40 for intermittently connecting a current path supplied to the anti-fuse circuit from the breakdown voltage supply circuit and a latch circuit 50 for supplying a stable half-power source voltage to the anti-fuse end by receiving a signal of the output circuit.