Programmable logic circuit and method and device for dynamically rewriting programmable logic circuit

The invention discloses a programmable logic circuit and a method and device for dynamically rewriting the programmable logic circuit, and belongs to the field of digital logic circuits. The gate circuit is replaced by the dual-port SRAM, and after replacement, during time sequence verification, as the calculation process does not exist in the dual-port SRAM, the input can be output as long as the input is received, so that the time sequence verification time is greatly shortened. In addition, no semiconductor or metal wiring exists in the dual-port SRAM, so that no extra current is consumed, and the current cost is reduced. Meanwhile, the first port of the dual-port SRAM can read the truth table to ensure the normal execution of the functions of the programmable logic circuit, and the second port of the dual-port SRAM can write in a new truth table, so that the internal logic of the programmable logic circuit is changed while the functions are executed, and the functions of the programmable logic circuit are