Jump to content

SV_UVM_Infant

Members
  • Posts

    2
  • Joined

  • Last visited

Everything posted by SV_UVM_Infant

  1. Hi, We use the below constraint wrt "unaligned_transfer". //-------------------------------------------------------------------------- constraint axi_narrow_unaligned_c { unaligned_transfer dist {1'b0 := 10 , 1'b1 := 90}; soft unaligned_addr_offset == 'h0; solve unaligned_transfer before unaligned_addr_offset; (unaligned_transfer == 1'b1) -> unaligned_addr_offset inside {'h1,'h2,'h3}; } //-------------------------------------------------------------------------- There is a soft value = 0, provided for unaligned_addr_offset, and a weighted distribution allowed for unaligned_transfer What we observe is that the simulator always select "unaligned_transfer" = 0. Looks like its trying to prioritise the soft constraint. Is this expected? Could you someone please point the LRM section where I can try to understand the expected simulator behaviour here? Thanks Melvin
×
×
  • Create New...