What is associativity in SVA operators

In reply to naveensv:
A left-associative operator, like subtraction, groups the leftmost elements first. A right-associative operator, like exponentiation, groups the rightmost elements first. An operator is non-associative when it doesn’t make sense to use in succession

The associativity indicates in what order operators of equal precedence in an expression are applied; thus

 
// and operator has a left associativity 
(a and b and c and d) are left associated as 
( ( ( (a and b) and c) and d)).


Ben Cohen
http://www.systemverilog.us/ ben@systemverilog.us
For training, consulting, services: contact Home - My cvcblr


  1. SVA Alternative for Complex Assertions
    Verification Horizons - March 2018 Issue | Verification Academy
  2. SVA: Package for dynamic and range delays and repeats | Verification Academy
  3. SVA in a UVM Class-based Environment
    SVA in a UVM Class-based Environment | Verification Horizons | Verification Academy