machine = ({
clock: 'clk',
asyncReset: '~reset_n',
cond: '{a, b}',
ascii: true,
states: {
s00: {s01: "2'b01", s10: "2'b10", err: "2'b11"},
s01: {s11: "2'b11", s00: "2'b00", err: "2'b10"},
s11: {s10: "2'b10", s01: "2'b01", err: "2'b00"},
s10: {s00: "2'b00", s11: "2'b11", err: "2'b01"},
err: {}
}
})