José M. Leitão, Ricardo Chaves, Marcelino B. Santos. Applying Model Checking in the Verification of a Clock Masking Unit. In XXXIV Conference on Design of Circuits and Integrated Systems, DCIS 2019, Bilbao, Spain, November 20-22, 2019. pages 1-5, IEEE, 2019. [doi]
Abstract is missing.