Advertisement

Concurrent Assertions: Basics

  • Ashok B. Mehta
Chapter

Abstract

This chapter introduces basics of concurrent assertions, namely “sequence,” “property,” “assert,” “cover,” and “assume.” It discusses fine grained nuances of Clocking of concurrent assertions and also implication operators, multi-threaded semantics, formal arguments, “bind”ing of assertions, formal arguments, severity levels, and disable iff, among other topics.

Keywords

Concurrent assertions implication operators Overlapping Nonoverlapping Clocking disable iff Nested implications Sampling Formal arguments Severity levels Clock edge Sampling edge Preponed region Reactive region Observed region 

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

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

Personalised recommendations