A major cause of failure in the design of silicon systems is incorrect or ambiguous specification. It is necessary to capture system specifications in an executable, unambiguous format in order to ...