
#INCLUDE "hostio.inc"
#INCLUDE "Regbankdefs.inc"
PROC regbtestenv(CHAN OF SP fs, ts, []INT memory)

  #USE "hostio.lib"
  #USE "RegBank"
  #USE "inputprocess"
  #USE "addrinput"
  #USE "datainput"

  CHAN OF INT WDec, ADec, BDec, Wbus, ABus, BBus:
  [2]CHAN OF INPUT distrib:
  CHAN OF ANY IAck, NoRead, Valid, OAck,WAck:
  CHAN OF BOOL Ma, Memin:




  PAR
    RegBank(WDec,ADec,BDec,Wbus,ABus,BBus, 
            IAck, NoRead,WAck,Valid,OAck,Ma, Memin)


    inputprocess(fs,ts,distrib,ABus,BBus,OAck)


    addrinput(distrib[1],WDec,ADec,BDec,Ma,IAck,NoRead)


    datainput(distrib[0], Wbus, Memin, WAck, Valid)
:

