Advertisement

Important Topics

  • Ashok B. Mehta
Chapter

Abstract

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.

Keywords

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