Automated microcode synthesis