Jump to content

Leaderboard

Popular Content

Showing content with the highest reputation on 02/26/2019 in all areas

  1. The release contains a file docs/scv/scvref/vwg_1_0e.pdf which (sort of) clarifies this.
    1 point
  2. 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
    1 point
  3. 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
    1 point
×
×
  • Create New...