Developed formal property proofs on industrial strength designs and architectures. Deep understanding of pipeline architectures, memory/DMA controllers, out-of…