anchor.diff:  // Copyright (c) 2013 Quanta Research Cambridge, Inc.
  -
   // Permission is hereby granted, free of charge, to any person
   // obtaining a copy of this software and associated documentation
   // files (the "Software"), to deal in the Software without
  
positive.code:       else 
  	 return nopEngine;
     endfunction
     
     Stmt cmdFetch = 
     seq
        while (True) seq
  	 while(!(hwenabled && cmdRing.notEmpty())) noAction;
  	 cmd_read_chan.readReq.put(cmdRing.expBufferLast);
  	 cmdRing.pop();
        endseq
     endseq;
  
     // wait for hwenabled
     // wait for not cmdBusy
     // wait for cmdRing not empty
     // then start fetches for the next command
     Stmt cmdFetch = 
     seq
        while (True) seq
  	 while(!(hwenabled && cmdRing.notEmpty())) noAction;
  	 cmd_read_chan.readReq.put(cmdRing.expBufferLast);
  	 cmdRing.pop();
        endseq
     endseq;
     
     let fn = cmd[63:56];
  
     Stmt cmdDispatch = 
  
negative.code: import StmtFSM::*;
  import ClientServer::*;
  
  import PortalMemory::*;
  import PortalRMemory::*;
  import GetPutF::*;
  