Automating sequence creation from a Microarchitecture specification