
(= sldemo_clutch_if__FrictionModeLogic__LockupFSM__lock sldemo_clutch_if__FrictionModeLogic__LockupDetection__lock)
(= sldemo_clutch_if__FrictionModeLogic__lock__In1 sldemo_clutch_if__FrictionModeLogic__LockupDetection__lock)
(= sldemo_clutch_if__FrictionModeLogic__LockupFSM__unlock sldemo_clutch_if__FrictionModeLogic__BreakApartDetection__unlock)
(= sldemo_clutch_if__FrictionModeLogic__unlock__In1 sldemo_clutch_if__FrictionModeLogic__BreakApartDetection__unlock)
(= sldemo_clutch_if__FrictionModeLogic__BreakApartDetection__Tf sldemo_clutch_if__FrictionModeLogic__RequisiteFriction__Tf)
(= sldemo_clutch_if__FrictionModeLogic__Tf__In1 sldemo_clutch_if__FrictionModeLogic__RequisiteFriction__Tf)
(= sldemo_clutch_if__FrictionModeLogic__LockupDetection__Tfmaxs sldemo_clutch_if__FrictionModeLogic__Tfmaxs__Out1)
(= sldemo_clutch_if__FrictionModeLogic__BreakApartDetection__Tfmaxs sldemo_clutch_if__FrictionModeLogic__Tfmaxs__Out1)
(= sldemo_clutch_if__FrictionModeLogic__locked__In1 sldemo_clutch_if__FrictionModeLogic__LockupFSM__locked)
(= sldemo_clutch_if__FrictionModeLogic__LockupDetection__Tin sldemo_clutch_if__FrictionModeLogic__Tin__Out1)
(= sldemo_clutch_if__FrictionModeLogic__RequisiteFriction__Tin sldemo_clutch_if__FrictionModeLogic__Tin__Out1)


