'As part of the Reinhart Koselleck Polyver project, I am working on polynomial formal verification of digital circuits. My approach involves employing dynamic programming techniques in conjunction with Answer Set Programming to have a polynomial-time upper bound for the verification process.