rule packetReadStart if (!readStarted);
  let pktId = toGet(pkt_ff).get;
  let pktLen <- toGet(readLenFifo).get;
  readStarted <= True;
  readReqFifo.enq(EtherReq{len: truncate(pktLen)});
endrule

Rule: top_lMain_txchan_packetReadStart
Predicate: top_lMain_txchan_readLenFifo.i_notEmpty &&
        top_lMain_txchan_readReqFifo.i_notFull &&
        (! top_lMain_txchan_readStarted)
Blocking rules: (none)


rule packetReadStart if (!readStarted);
  pkt_ff.deq;
  let pktLen <- toGet(readLenFifo).get;
  readStarted <= True;
  readReqFifo.enq(EtherReq{len: truncate(pktLen)});
endrule

Rule: top_lMain_txchan_packetReadStart
Predicate: top_lMain_txchan_pkt_ff.i_notEmpty &&
       top_lMain_txchan_readLenFifo.i_notEmpty &&
       top_lMain_txchan_readReqFifo.i_notFull &&
       (! top_lMain_txchan_readStarted)$
Blocking rules: (none)