Developed formal property proofs on industrial strength designs and architectures. Architecting novel and innovative solutions for verifying complex design…