Design for Testability, Debug and ReliabilitySebastian Huhn, Rolf Drechsler · First published 2021Open the Tome
High Quality Test Pattern Generation Robust Algorithms Using Boolean SatisfiabilityRolf Drechsler · First published 2012Open the Tome
Test pattern generation using Boolean proof enginesRolf Drechsler · First published 2009Open the Tome
