Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design | IEEE Conference Publication | IEEE Xplore