Developed formal property proofs on industrial strength designs and architectures. Crafting novel and creative solutions for verifying complex design micro…