module\top
  wire width 1 input 0 \s_target
  wire width 2 input 1 \s_state
  wire width 1 input 2 \a
  wire width 1 input 3 \b
  wire width 1 output 6 \s_err
  process $group_8
    assign \s_err 1'0
    switch \s_state
      case 2'0-
      case 2'10
        switch \s_target
          case 1'0
            switch { \a }
              case 1'1
                assign \s_err 1'1
            end
          case 1'-
            switch { \b }
              case 1'1
                assign \s_err 1'1
            end
        end
      case
    end
    sync init
  end
end