Some Techniques for Microprogram Validation