module HAVi_asyn (TYPES, CHANNELS, BUS, CMM, MS, DCM_asyn) is

-------------------------------------------------------------------------------

process MAIN [gInfo: InfoChannel, gUpDown: UpDownChannel,
        gBusReset: BusResetChannel, gDMin, gDMout: IOChannel,
        gEvent: EventChannel] is
   par
      gUpDown, gBusReset ->
         BusReset [gUpDown, gBusReset] (net_down) -- all DCMs down
   ||
      gUpDown, gInfo, gDMin, gDMout ->
         par
            DCM [gInfo, gUpDown, gDMin, gDMout, gEvent] (1)
         ||
            DCM [gInfo, gUpDown, gDMin, gDMout, gEvent] (2)
         end par
   ||
      gUpDown, gBusReset, gInfo ->
         par gBusReset in
            CMM [gInfo, gUpDown, gBusReset] (1)
         ||
            CMM [gInfo, gUpDown, gBusReset] (2)
         end par
   ||
      gUpDown, gBusReset, gDMin, gDMout ->
         par gBusReset in
            MS [gUpDown, gBusReset, gDMout, gDMin] (1)
            -- DM's out is MS's in, and vice versa
         ||
            MS [gUpDown, gBusReset, gDMout, gDMin] (2)
            -- DM's out is MS's in, and vice versa
         end par
   end par
end process

-------------------------------------------------------------------------------

end module