Synthesis for testability and verifiability: Polynomial formal verification and test pattern generation for KFDD circuits

@article{pub17652,
    author = {



Schnieber, Martha
 and 



Drechsler, Rolf
},
    title = {Synthesis for testability and verifiability: Polynomial formal verification and test pattern generation for KFDD circuits},
    year = {2026},
    volume = {124},
    journal = {Microprocessors and Microsystems (MICPRO)},
    publisher = {Science Direct}
}