Automating sequence creation from a microarchitecture specification