Functional Decompositions for Hardware Verification With a few speculations on formal methods for embedded systems Ken McMillan.