1. An apparatus for checking the format of computer microcode, comprising: means for receiving a plurality of restrictive conditions which said microcode must satisfy; means for automatically transforming each said plurality of restrictive conditions into one or more logical expressions, wherein said means for automatically transforming each said plurality of restrictive conditions into one or more logical expressions further includes means for transforming each said plurality of restrictive conditions into one or more logical tests, each comprising a number of sub-tests for the values of fields of the instruction, each logical test and sub-test having the characteristics of evaluating FALSE if the restriction is satisfied wherein an evaluation of FALSE of any one of the sub-tests by an instruction indicates that the restriction is satisfied by the instruction; means for receiving a plurality of computer microcode instructions as input; means for automatically generating a restriction checker program from said logical expressions for verifying whether each of said microcode instructions satisfies said plurality of restrictive conditions: and means for outputting the results of said verification.