Sebastian Huhn 0001, Rolf Drechsler. Next Generation Design For Testability, Debug and Reliability Using Formal Techniques. In IEEE International Test Conference, ITC 2022, Anaheim, CA, USA, September 23-30, 2022. pages 609-618, IEEE, 2022. [doi]
Abstract is missing.