slang/ast/symbols/SpecifySymbols.h file

Contains specify block symbol definitions.

Namespaces

namespace slang

Root namespace.

namespace slang::ast

The SystemVerilog AST.

Classes

class slang::ast::SpecifyBlockSymbol

Represents a specify block.

class slang::ast::TimingPathSymbol

Represents a timing path declaration within a specify block.

class slang::ast::PulseStyleSymbol

Represents a pulse style declaration.

class slang::ast::SystemTimingCheckSymbol

Represents a system timing check declaration.

Enums

enum class SystemTimingCheckKind { Unknown, Setup, Hold, SetupHold, Recovery, Removal, RecRem, Skew, TimeSkew, FullSkew, Period, Width, NoChange }

Specifies possible kinds of system timing checks.