Advertisement

Operators

  • Ashok B. Mehta
Chapter

Abstract

This chapter describes all the operators offered by the language (both for a “sequence” and for a “property”) including Clock Delay with and without range, Consecutive repetition with and without range, non-consecutive repetition with and without range, “throughout,” “within,” “and,” “or,” “intersect,” “first_match,” “if...else,” etc. Each of the operator description is immediately followed by examples and applications to solidify the concept.

Keywords

Concurrent assertion operators Clock delay range Consecutive repetition Non-consecutive repetition Goto operator Throughout Within “and” of sequences “or” of sequences Intersect first_match iff if else Implies 

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • Ashok B. Mehta
    • 1
  1. 1.DefineView ConsultingLos GatosUSA

Personalised recommendations