hello_out hello_out hello_in hello_mix hello_sub, John Doe hello_in_sub


Type:

name: signed

TypeVector:

name: integer
base: signed
range:
- 31
- 0

Type:

name: void

Type:

name: bit

SystemT:

name: functionsI::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: z
    type:
      TypeVector:
        name: ''
        base: bit
        range:
        - 15
        - 0
outputs:
- SignalI:
    name: a
    type:
      TypeVector:
        name: ''
        base: bit
        range:
        - 15
        - 0
- SignalI:
    name: b
    type:
      TypeVector:
        name: ''
        base: bit
        range:
        - 15
        - 0
- SignalI:
    name: c
    type:
      TypeVector:
        name: ''
        base: bit
        range:
        - 15
        - 0
- SignalI:
    name: d
    type:
      TypeVector:
        name: ''
        base: bit
        range:
        - 15
        - 0
inouts: []
scope:
  Scope:
    name: ''
    scopes:
    - Scope:
        name: ''
        scopes: []
        inners:
        - SignalI:
            name: nothing
            type: bit
        systemIs: []
        connections: []
        behaviors: []
    - Scope:
        name: ''
        scopes: []
        inners:
        - SignalI:
            name: nothing_really
            type: bit
        systemIs: []
        connections:
        - Connection:
            left:
              RefName:
                type:
                  TypeVector:
                    name: ''
                    base: bit
                    range:
                    - 15
                    - 0
                ref:
                  RefThis:
                    type: void
                name: d
            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
        behaviors: []
    inners: []
    systemIs: []
    connections:
    - Connection:
        left:
          RefName:
            type:
              TypeVector:
                name: ''
                base: bit
                range:
                - 15
                - 0
            ref:
              RefThis:
                type: void
            name: a
        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
    - Connection:
        left:
          RefName:
            type:
              TypeVector:
                name: ''
                base: bit
                range:
                - 15
                - 0
            ref:
              RefThis:
                type: void
            name: c
        right:
          Value:
            type: integer
            content: 1
    behaviors:
    - Behavior:
        events: []
        block:
          Block:
            mode: par
            name: ''
            inners:
            - SignalI:
                name: something
                type: bit
            statements:
            - Transmit:
                left:
                  RefName:
                    type:
                      TypeVector:
                        name: ''
                        base: bit
                        range:
                        - 15
                        - 0
                    ref:
                      RefThis:
                        type: void
                    name: b
                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