Meinhard Kissich, Marcel Baunach. Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide. In 26th Euromicro Conference on Digital System Design, DSD 2023, Golem, Albania, September 6-8, 2023. pages 734-741, IEEE, 2023. [doi]
Abstract is missing.