<'
struct mem_object {
  addr    : uint (bits:8);
  data    : uint (bits:8);
  rd_wt   : uint [0..100];
  wr_wt   : uint [0..100];
  rd_wr   : bool;
  keep soft rd_wt == 50;
  keep soft wr_wt == 50;

  keep gen (wr_wt) before (rd_wr);
  keep gen (rd_wt) before (rd_wr);
  // Default operation is Write
  keep soft rd_wr == FALSE;

  keep soft rd_wr == select {
     rd_wt : TRUE;
     wr_wt : FALSE;
  };
};
'>