Please login to view the entire Verification Horizons article.
Please register or login to view.
Assertion-based verification has been an integral part of modern-day design verification. Concurrent SVA is a powerful assertion language that expresses the definition of properties in a concise set of notations and rules; its use is very wide spread and is definitely encouraged. However, SVA is designed for a static world ; it fails to easily address the use of delays and repetitions based on the values of unit variables (module, checker, interface); it cannot reference non-static class properties or methods; care should be taken when accessing large data structures, especially large dynamic data structures; sequence_match_item cannot directly modify unit variables; there are very strict rules on how property local variables are processed
...