Next Generation Design For Testability, Debug and Reliability Using Formal Techniques Conference proceeding (January 2022)