Type:

name: void

Type:

name: bit

SystemT:

name: with_seqI::T_
inputs:
- SignalI:
    name: x
    type:
      TypeVector:
        name: ''
        base: bit
        range:
        - 15
        - 0
- SignalI:
    name: y
    type:
      TypeVector:
        name: ''
        base: bit
        range:
        - 15
        - 0
- SignalI:
    name: clk
    type:
      TypeVector:
        name: ''
        base: bit
        range:
        - 15
        - 0
outputs:
- SignalI:
    name: o
    type:
      TypeVector:
        name: ''
        base: bit
        range:
        - 16
        - 0
inouts: []
scope:
  Scope:
    name: ''
    scopes: []
    inners:
    - SignalI:
        name: w
        type:
          TypeVector:
            name: ''
            base: bit
            range:
            - 16
            - 0
    systemIs: []
    connections: []
    behaviors:
    - Behavior:
        events:
        - Event:
            type: posedge
            ref:
              RefName:
                type:
                  TypeVector:
                    name: ''
                    base: bit
                    range:
                    - 15
                    - 0
                ref:
                  RefThis:
                    type: void
                name: clk
        block:
          Block:
            mode: seq
            name: ''
            inners: []
            statements:
            - Transmit:
                left:
                  RefName:
                    type:
                      TypeVector:
                        name: ''
                        base: bit
                        range:
                        - 16
                        - 0
                    ref:
                      RefThis:
                        type: void
                    name: w
                right:
                  Binary:
                    type:
                      TypeVector:
                        name: ''
                        base: bit
                        range:
                        - 16
                        - 0
                    operator: "+"
                    left:
                      RefName:
                        type:
                          TypeVector:
                            name: ''
                            base: bit
                            range:
                            - 15
                            - 0
                        ref:
                          RefThis:
                            type: void
                        name: x
                    right:
                      RefName:
                        type:
                          TypeVector:
                            name: ''
                            base: bit
                            range:
                            - 15
                            - 0
                        ref:
                          RefThis:
                            type: void
                        name: y
            - Transmit:
                left:
                  RefName:
                    type:
                      TypeVector:
                        name: ''
                        base: bit
                        range:
                        - 16
                        - 0
                    ref:
                      RefThis:
                        type: void
                    name: o
                right:
                  Binary:
                    type:
                      TypeVector:
                        name: ''
                        base: bit
                        range:
                        - 17
                        - 0
                    operator: "+"
                    left:
                      RefName:
                        type:
                          TypeVector:
                            name: ''
                            base: bit
                            range:
                            - 16
                            - 0
                        ref:
                          RefThis:
                            type: void
                        name: w
                    right:
                      RefName:
                        type:
                          TypeVector:
                            name: ''
                            base: bit
                            range:
                            - 15
                            - 0
                        ref:
                          RefThis:
                            type: void
                        name: y