'''
==========================================================================
MeshRouteUnitRTLMflitXY.py
==========================================================================
Route unit for mesh that uses XY-routing and supports multi-flit packet.

- NOTE:

It requires no tail flit and that the header flit should have a field that
indicates the length of the payload in terms of number of flits.

Authour : <NAME>
   Date : Feb 9, 2020
'''
from pymtl3 import *
from pymtl3.stdlib.stream.ifcs import RecvIfcRTL, SendIfcRTL
from pymtl3_net.ocnlib.rtl import Counter
from pymtl3_net.ocnlib.utils import get_plen_type
from pymtl3_net.ocnlib.utils.connects import connect_bitstruct
from .directions import *

class MeshRouteUnitRTLMflitXY( Component ):

  #-----------------------------------------------------------------------
  # construct
  #-----------------------------------------------------------------------

  def construct( s, HeaderFormat, PositionType, plen_field_name='plen' ):
    # Local parameters
    s.num_outports = 5
    s.HeaderFormat = HeaderFormat
    s.PhitType     = mk_bits( HeaderFormat.nbits )
    s.STATE_HEADER = b1(0)
    s.STATE_BODY   = b1(1)

    PLenType = get_plen_type( HeaderFormat )

    # Interface
    s.recv = RecvIfcRTL( s.PhitType )
    s.pos  = InPort( PositionType ) # TODO: figure out a way to encode position

    s.send = [ SendIfcRTL( s.PhitType ) for _ in range( s.num_outports ) ]
    s.hold = [ OutPort( Bits1 ) for _ in range( s.num_outports ) ]

    # Components
    s.header      = Wire( HeaderFormat )
    s.state       = Wire( Bits1 )
    s.state_next  = Wire( Bits1 )
    s.out_dir_r   = Wire( Bits3 )
    s.out_dir     = Wire( Bits3 )
    s.any_send_xfer = Wire( Bits1 )

    s.counter = m = Counter( PLenType )
    m.incr //= 0
    m.load_value //= s.header.plen

    @update
    def up_get_ret():
      s.header @= s.recv.msg

    for i in range( 5 ):
      s.recv.msg //= s.send[i].msg
    s.recv.rdy //= lambda: s.send[ s.out_dir ].rdy

    @update
    def up_any_send_xfer():
      s.any_send_xfer @= 0
      for i in range( s.num_outports ):
        if s.send[i].val & s.send[i].rdy:
          s.any_send_xfer @= 1

    # State transition logic
    @update_ff
    def up_state_r():
      if s.reset:
        s.state <<= s.STATE_HEADER
      else:
        s.state <<= s.state_next

    @update
    def up_state_next():
      if s.state == s.STATE_HEADER:
        # If the packet has body flits
        if s.any_send_xfer & ( s.header.plen > 0 ):
          s.state_next @= s.STATE_BODY

        else:
          s.state_next @= s.STATE_HEADER

      else: # STATE_BODY
        if ( s.counter.count == 1 ) & s.any_send_xfer:
          s.state_next @= s.STATE_HEADER
        else:
          s.state_next @= s.STATE_BODY

    # State output logic
    @update
    def up_counter_decr():
      if s.state == s.STATE_HEADER:
        s.counter.decr @= 0
      else:
        s.counter.decr @= s.any_send_xfer

    @update
    def up_counter_load():
      if s.state == s.STATE_HEADER:
        s.counter.load @= ( s.state_next == s.STATE_BODY )
      else:
        s.counter.load @= 0


    # Routing logic
    # TODO: Figure out how to encode dest id
    @update
    def up_out_dir():
      if ( s.state == s.STATE_HEADER ) & s.recv.val:
        if ( s.header.dst_x == s.pos.pos_x ) & ( s.header.dst_y == s.pos.pos_y ):
          s.out_dir @= SELF
        elif s.header.dst_x < s.pos.pos_x:
          s.out_dir @= WEST
        elif s.header.dst_x > s.pos.pos_x:
          s.out_dir @= EAST
        elif s.header.dst_y < s.pos.pos_y:
          s.out_dir @= SOUTH
        else:
          s.out_dir @= NORTH

      else:
        s.out_dir @= s.out_dir_r

    @update_ff
    def up_out_dir_r():
      s.out_dir_r <<= s.out_dir

    @update
    def up_give_rdy_hold():
      for i in range( s.num_outports ):
        s.send[i].val @= ( i == s.out_dir ) & s.recv.val
        s.hold[i]     @= ( i == s.out_dir ) & ( s.state == s.STATE_BODY )

  #-----------------------------------------------------------------------
  # line_trace
  #-----------------------------------------------------------------------

  def line_trace( s ):
    send_trace = '|'.join([ f'{ifc}' for ifc in s.send ])
    hold  = ''.join([ '^' if h else '.' for h in s.hold ])
    pos   = f'<{s.pos.pos_x},{s.pos.pos_y}>'
    count = f'{s.counter.count}'
    state = 'H' if s.state == s.STATE_HEADER else \
            'B' if s.state == s.STATE_BODY else   \
            '!'
    dir   = 'n' if s.out_dir == NORTH else \
            's' if s.out_dir == SOUTH else \
            'w' if s.out_dir == WEST  else \
            'e' if s.out_dir == EAST  else \
            'S' if s.out_dir == SELF  else \
            '?'
    return f'{s.recv}({pos}[{state}{count}]{dir}{hold}){send_trace}'

'''
==========================================================================
MeshRouteUnitRTLMflitXY.py
==========================================================================
Route unit for mesh that uses XY-routing and supports multi-flit packet.

- NOTE:

It requires no tail flit and that the header flit should have a field that
indicates the length of the payload in terms of number of flits.

Authour : <NAME>
   Date : Feb 9, 2020
'''
from pymtl3 import *
from pymtl3.stdlib.stream.ifcs import RecvIfcRTL, SendIfcRTL
from pymtl3_net.ocnlib.rtl import Counter
from pymtl3_net.ocnlib.utils import get_plen_type
from pymtl3_net.ocnlib.utils.connects import connect_bitstruct
from .directions import *

class MeshRouteUnitRTLMflitXY( Component ):

  #-----------------------------------------------------------------------
  # construct
  #-----------------------------------------------------------------------

  def construct( s, HeaderFormat, PositionType, plen_field_name='plen' ):
    # Local parameters
    s.num_outports = 5
    s.HeaderFormat = HeaderFormat
    s.PhitType     = mk_bits( HeaderFormat.nbits )
    s.STATE_HEADER = b1(0)
    s.STATE_BODY   = b1(1)

    PLenType = get_plen_type( HeaderFormat )

    # Interface
    s.recv = RecvIfcRTL( s.PhitType )
    s.pos  = InPort( PositionType ) # TODO: figure out a way to encode position

    s.send = [ SendIfcRTL( s.PhitType ) for _ in range( s.num_outports ) ]
    s.hold = [ OutPort( Bits1 ) for _ in range( s.num_outports ) ]

    # Components
    s.header      = Wire( HeaderFormat )
    s.state       = Wire( Bits1 )
    s.state_next  = Wire( Bits1 )
    s.out_dir_r   = Wire( Bits3 )
    s.out_dir     = Wire( Bits3 )
    s.any_send_xfer = Wire( Bits1 )

    s.counter = m = Counter( PLenType )
    m.incr //= 0
    m.load_value //= s.header.plen

    @update
    def up_get_ret():
      s.header @= s.recv.msg

    for i in range( 5 ):
      s.recv.msg //= s.send[i].msg
    s.recv.rdy //= lambda: s.send[ s.out_dir ].rdy

    @update
    def up_any_send_xfer():
      s.any_send_xfer @= 0
      for i in range( s.num_outports ):
        if s.send[i].val & s.send[i].rdy:
          s.any_send_xfer @= 1

    # State transition logic
    @update_ff
    def up_state_r():
      if s.reset:
        s.state <<= s.STATE_HEADER
      else:
        s.state <<= s.state_next

    @update
    def up_state_next():
      if s.state == s.STATE_HEADER:
        # If the packet has body flits
        if s.any_send_xfer & ( s.header.plen > 0 ):
          s.state_next @= s.STATE_BODY

        else:
          s.state_next @= s.STATE_HEADER

      else: # STATE_BODY
        if ( s.counter.count == 1 ) & s.any_send_xfer:
          s.state_next @= s.STATE_HEADER
        else:
          s.state_next @= s.STATE_BODY

    # State output logic
    @update
    def up_counter_decr():
      if s.state == s.STATE_HEADER:
        s.counter.decr @= 0
      else:
        s.counter.decr @= s.any_send_xfer

    @update
    def up_counter_load():
      if s.state == s.STATE_HEADER:
        s.counter.load @= ( s.state_next == s.STATE_BODY )
      else:
        s.counter.load @= 0


    # Routing logic
    # TODO: Figure out how to encode dest id
    @update
    def up_out_dir():
      if ( s.state == s.STATE_HEADER ) & s.recv.val:
        if ( s.header.dst_x == s.pos.pos_x ) & ( s.header.dst_y == s.pos.pos_y ):
          s.out_dir @= SELF
        elif s.header.dst_x < s.pos.pos_x:
          s.out_dir @= WEST
        elif s.header.dst_x > s.pos.pos_x:
          s.out_dir @= EAST
        elif s.header.dst_y < s.pos.pos_y:
          s.out_dir @= SOUTH
        else:
          s.out_dir @= NORTH

      else:
        s.out_dir @= s.out_dir_r

    @update_ff
    def up_out_dir_r():
      s.out_dir_r <<= s.out_dir

    @update
    def up_give_rdy_hold():
      for i in range( s.num_outports ):
        s.send[i].val @= ( i == s.out_dir ) & s.recv.val
        s.hold[i]     @= ( i == s.out_dir ) & ( s.state == s.STATE_BODY )

  #-----------------------------------------------------------------------
  # line_trace
  #-----------------------------------------------------------------------

  def line_trace( s ):
    send_trace = '|'.join([ f'{ifc}' for ifc in s.send ])
    hold  = ''.join([ '^' if h else '.' for h in s.hold ])
    pos   = f'<{s.pos.pos_x},{s.pos.pos_y}>'
    count = f'{s.counter.count}'
    state = 'H' if s.state == s.STATE_HEADER else \
            'B' if s.state == s.STATE_BODY else   \
            '!'
    dir   = 'n' if s.out_dir == NORTH else \
            's' if s.out_dir == SOUTH else \
            'w' if s.out_dir == WEST  else \
            'e' if s.out_dir == EAST  else \
            'S' if s.out_dir == SELF  else \
            '?'
    return f'{s.recv}({pos}[{state}{count}]{dir}{hold}){send_trace}'

========================================================================== MeshRouteUnitRTLMflitXY.py ========================================================================== Route unit for mesh that uses XY-routing and supports multi-flit packet.  - NOTE:  It requires no tail flit and that the header flit should have a field that indicates the length of the payload in terms of number of flits.  Authour : <NAME>    Date : Feb 9, 2020 #----------------------------------------------------------------------- # construct #----------------------------------------------------------------------- # Local parameters # Interface # TODO: figure out a way to encode position # Components # State transition logic # If the packet has body flits # STATE_BODY # State output logic # Routing logic # TODO: Figure out how to encode dest id #----------------------------------------------------------------------- # line_trace #-----------------------------------------------------------------------