slang/ast/symbols/CoverSymbols.h file

Contains coverage-related symbol definitions.

Namespaces

namespace slang

Root namespace.

namespace slang::ast

The SystemVerilog AST.

Classes

class slang::ast::CoverageOptionSetter

Represents a setter for a coverage option.

class slang::ast::CovergroupBodySymbol

Represents the body of a covergroup type, separated out because the arguments of a covergroup need to live in their own scope so that they can be shadowed by body members.

class slang::ast::CovergroupType

Represents a covergroup definition type.

class slang::ast::CoverageBinSymbol

Represents a coverage bin declaration.

class slang::ast::CoverpointSymbol

Represents a coverpoint declaration.

class slang::ast::CoverCrossBodySymbol

Represents the body of a cover cross type, separated out because the members of the cross body can't be accessed outside of the cross itself.

class slang::ast::CoverCrossSymbol

Represents a cover cross declaration.

class slang::ast::BinsSelectExpr

Base class for all coverage bin select expressions.

class slang::ast::InvalidBinsSelectExpr

Represents an invalid coverage bin select expression.

class slang::ast::ConditionBinsSelectExpr

Represents a condition-based coverage bin select expression.

class slang::ast::UnaryBinsSelectExpr

Represents a unary coverage bin select expression.

class slang::ast::BinaryBinsSelectExpr

Represents a binary coverage bin select expression.

class slang::ast::SetExprBinsSelectExpr

Represents a set expression coverage bin select expression.

class slang::ast::BinSelectWithFilterExpr

Represents a coverage bin select expression with a filter.

class slang::ast::CrossIdBinsSelectExpr

Represents a cross-id coverage bin select expression.

Enums

enum class BinsSelectExprKind { Invalid, Condition, Unary, Binary, SetExpr, WithFilter, CrossId }

Specifies possible kinds of bins select expressions.