Important Topics

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.