Slide 1Functional Decompositions for Hardware Verification With a few speculations on formal methods for embedded systems Ken McMillan Slide 2 Verification approaches Informal…