slang::ast::ConcurrentAssertionStatement class

#include <slang/ast/statements/MiscStatements.h>

Represents a concurrent assertion statement.

Base classes

class Statement

The base class for all statements in SystemVerilog.

Public variables

const AssertionExpr& propertySpec

The assertion body.

const Statement* ifTrue

An optional action to take if the assertion passes.

const Statement* ifFalse

An optional action to take if the assertion fails.

AssertionKind assertionKind

The kind of assertion.