Diversity-Driven Automated Formal Verification - First, Emily (The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2022)