--- Type: name: void --- Type: name: bit --- SystemT: name: dff0::T_ inputs: - SignalI: name: clk type: bit - SignalI: name: rst type: bit - SignalI: name: d type: bit outputs: - SignalI: name: q type: bit inouts: [] scope: Scope: name: '' scopes: [] inners: [] systemIs: [] connections: [] behaviors: - Behavior: events: - Event: type: posedge ref: RefName: type: bit ref: RefThis: type: void name: clk block: Block: mode: par name: '' inners: [] statements: - Transmit: left: RefName: type: bit ref: RefThis: type: void name: q right: Binary: type: TypeVector: name: '' base: bit range: - 0 - 0 operator: "&" left: RefName: type: bit ref: RefThis: type: void name: d right: Unary: type: bit operator: "~" child: RefName: type: bit ref: RefThis: type: void name: rst --- SystemT: name: importerI::T_ inputs: - SignalI: name: d type: bit - SignalI: name: clk0 type: bit - SignalI: name: rst0 type: bit outputs: - SignalI: name: q type: bit inouts: [] scope: Scope: name: '' scopes: [] inners: - SignalI: name: clk type: bit - SignalI: name: rst type: bit systemIs: - SystemI: name: dff0 systemT: dff0::T_ connections: - Connection: left: RefName: type: bit ref: RefName: type: void ref: RefThis: type: void name: dff0 name: clk right: RefName: type: bit ref: RefThis: type: void name: clk - Connection: left: RefName: type: bit ref: RefName: type: void ref: RefThis: type: void name: dff0 name: rst right: RefName: type: bit ref: RefThis: type: void name: rst - Connection: left: RefName: type: bit ref: RefName: type: void ref: RefThis: type: void name: dff0 name: d right: RefName: type: bit ref: RefThis: type: void name: d - Connection: left: RefName: type: bit ref: RefThis: type: void name: clk right: RefName: type: bit ref: RefThis: type: void name: clk0 - Connection: left: RefName: type: bit ref: RefThis: type: void name: rst right: RefName: type: bit ref: RefThis: type: void name: rst0 - Connection: left: RefName: type: bit ref: RefName: type: void ref: RefThis: type: void name: dff0 name: q right: RefName: type: bit ref: RefThis: type: void name: q behaviors: []