Invited: A Scalable Formal Approach for Correctness-Assured Hardware Design | IEEE Conference Publication | IEEE Xplore