Jump to content

basarts

Members
  • Content Count

    25
  • Joined

  • Last visited

  • Days Won

    1

Reputation Activity

  1. Thanks
    basarts got a reaction from Maxim Vorontsov in SCV_CONSTRAINT on sliced bit range   
    Hi Maxim,
     
    "addr" is a pointer, so you need to access its fields and methods by using operator-> :
    SCV_CONSTRAINT(addr->range(1,0) == 0);
     
    --
    greetz,
    Bas
  2. Thanks
    basarts got a reaction from Maxim Vorontsov in SCV_CONSTRAINT on sliced bit range   
    Hi Maxim,
     
    After reading some SCV documentation, it looks like we're not allowed to use smart pointers in your preferred way. E.g. we need to use "addr()" (without specific member functions like "range(int, int)") as a basis for building the expression we are using in a later stage.
    In your case, a practical solution would be to have no constraint on the generated address but to mask the 2 LSB after generation.
    --
    greetz,
    Bas
  3. Thanks
    basarts got a reaction from Maxim Vorontsov in SCV_CONSTRAINT on sliced bit range   
    The release contains a file docs/scv/scvref/vwg_1_0e.pdf which (sort of) clarifies this.
×
×
  • Create New...