Stanford University; CISPA Helmholtz Center for Information Security
Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner
sequential circuits;repair;synthesis;transformer
Iterative Circuit Repair Against Formal Specifications