Concurrent Assertions: Basics (Sequence, Property, Assert)

Chapter

Abstract

These are temporal domain assertions that allow creation of complex sequences using clock (sampling) edge based semantics. This is in contrast to the immediate assertions that are purely combinatorial and do not allow temporal domain sequences.

Keywords

Folk 

Copyright information

© Springer Science+Business Media New York 2014

Authors and Affiliations

  1. 1.Los GatosUSA

Personalised recommendations