Tania Khanna, Michael Hsiao. Guiding RTL Test Generation Using Relevant Potential Invariants. In 36th IEEE International Conference on Computer Design, ICCD 2018, Orlando, FL, USA, October 7-10, 2018. pages 449-455, IEEE, 2018. [doi]
Abstract is missing.