Jump to content

SV_UVM_Infant

Members
  • Posts

    2
  • Joined

  • Last visited

Posts 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...