Important Topics

  • Ashok B. Mehta


This chapter addresses many important topics such as testing the test-bench, triggering concurrent assertions from procedural blocks, calling subroutines, sequences as formal arguments, as antecedent and as triggering condition in a sensitivity list. It also describes further nuances such as how to design “variable delay” using a “counter,” effects of blocking nature of an “action” (pass/fail) block, cyclic dependencies, vacuous pass of an assertion, empty sequences, etc.


Embedded concurrent assertions Subroutines Counter Nested implications Cyclic dependency Vacuous pass Empty sequence Subsequence Formal parameter Actual parameter 

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

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

Personalised recommendations