Microinstruction Modeling using timing and semantic constraints