Jin Yang 0006, Jeremy Casas, Zhenkun Yang. Invited: A Scalable Formal Approach for Correctness-Assured Hardware Design. In 60th ACM/IEEE Design Automation Conference, DAC 2023, San Francisco, CA, USA, July 9-13, 2023. pages 1-4, IEEE, 2023. [doi]
Abstract is missing.