Type:
name: void
Type:
name: bit
SystemT:
name: with_changeI::T_ inputs: - SignalI: name: x type: TypeVector: name: '' base: bit range: - 15 - 0 - SignalI: name: y type: TypeVector: name: '' base: bit range: - 15 - 0 outputs: - SignalI: name: s type: TypeVector: name: '' base: bit range: - 16 - 0 inouts: [] scope: Scope: name: '' scopes: [] inners: [] systemIs: [] connections: [] behaviors: - Behavior: events: - Event: type: change ref: RefName: type: TypeVector: name: '' base: bit range: - 15 - 0 ref: RefThis: type: void name: x - Event: type: change ref: RefName: type: TypeVector: name: '' base: bit range: - 15 - 0 ref: RefThis: type: void name: y block: Block: mode: par name: '' inners: [] statements: - Transmit: left: RefName: type: TypeVector: name: '' base: bit range: - 16 - 0 ref: RefThis: type: void name: s 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