/*############################################################################
  File: wire.labels
############################################################################*/
LABEL BREAKPOINT_NOT BREAKPOINT_NOT
LABEL datain $DATA_IN<%d> 31..0
LABEL dataout $DATA_OUT<%d> 31..0
LABEL read_address $READ_ADDR<%d> 20..0

/* I had to plug in HIGH for one of the bits since if you
 look in the netlist file you will see that bit 6 of the
 write address is a constant high rather than a named
 signal. */
LABEL write_address  $WRITE_ADDR<%d> 20..7 HIGH $WRITE_ADDR<%d> 5..0

/* The 4-bit byte enable signal for the memory is just 4 
 copies of RESET.  I will define an alias for it so that
 it is more obvious when the memory is being written. */
LABEL byte_enable RESET RESET RESET RESET