‘slang’ Dialect

Lossless elaborated SystemVerilog semantic AST

The slang dialect is Talos’s source-language boundary. Every registered operation corresponds to one concrete dispatch kind in the selected slang semantic AST. The IR retains elaborated hierarchy, resolved references, semantic types, constants, source ranges, and macro expansion locations.

Operations

slang.assertion.abort (::talos::slangir::AbortAssertionExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.assertion.abort` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
action	::talos::slangir::AssertionAbortActionAttr	accept or reject property abort action
is_synchronous	::mlir::BoolAttr	bool attribute

slang.assertion.binary (::talos::slangir::BinaryAssertionExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.assertion.binary` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
operator_kind	::talos::slangir::AssertionBinaryOperatorAttr	SystemVerilog binary sequence or property operator
operator_range	::mlir::TypeAttr	any type attribute

slang.assertion.case (::talos::slangir::CaseAssertionExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.assertion.case` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
item_group_sizes	::mlir::ArrayAttr	array attribute
has_default	::mlir::BoolAttr	bool attribute

slang.assertion.clocking (::talos::slangir::ClockingAssertionExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.assertion.clocking` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.assertion.conditional (::talos::slangir::ConditionalAssertionExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.assertion.conditional` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
has_else	::mlir::BoolAttr	bool attribute

slang.assertion.disable_iff (::talos::slangir::DisableIffAssertionExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.assertion.disable_iff` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.assertion.first_match (::talos::slangir::FirstMatchAssertionExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.assertion.first_match` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
match_item_count	::mlir::IntegerAttr	64-bit signless integer attribute

slang.assertion.invalid (::talos::slangir::InvalidAssertionExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.assertion.invalid` attr-dict-with-keyword $body

Traits: NoTerminator, RejectInvalidSemanticNode, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.assertion.sequence_concat (::talos::slangir::SequenceConcatExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.assertion.sequence_concat` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
delays	::mlir::ArrayAttr	Array of dictionary attributes

slang.assertion.sequence_with_match (::talos::slangir::SequenceWithMatchExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.assertion.sequence_with_match` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode, SlangVerifyRepetitionMetadata

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
match_item_count	::mlir::IntegerAttr	64-bit signless integer attribute
has_repetition	::mlir::BoolAttr	bool attribute
repetition_kind	::talos::slangir::SequenceRepetitionKindAttr	SystemVerilog sequence repetition kind
repetition_min	::mlir::IntegerAttr	64-bit signless integer attribute
repetition_max	::mlir::IntegerAttr	64-bit signless integer attribute
repetition_is_unbounded	::mlir::BoolAttr	bool attribute

slang.assertion.simple (::talos::slangir::SimpleAssertionExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.assertion.simple` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode, SlangVerifyRepetitionMetadata

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
is_null	::mlir::BoolAttr	bool attribute
has_repetition	::mlir::BoolAttr	bool attribute
repetition_kind	::talos::slangir::SequenceRepetitionKindAttr	SystemVerilog sequence repetition kind
repetition_min	::mlir::IntegerAttr	64-bit signless integer attribute
repetition_max	::mlir::IntegerAttr	64-bit signless integer attribute
repetition_is_unbounded	::mlir::BoolAttr	bool attribute

slang.assertion.strong_weak (::talos::slangir::StrongWeakAssertionExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.assertion.strong_weak` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
strength	::talos::slangir::AssertionStrengthAttr	strong or weak property qualification

slang.assertion.unary (::talos::slangir::UnaryAssertionExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.assertion.unary` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode, SlangVerifySequenceRangeMetadata

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
operator_kind	::talos::slangir::AssertionUnaryOperatorAttr	SystemVerilog unary sequence or property operator
has_range	::mlir::BoolAttr	bool attribute
range_min	::mlir::IntegerAttr	64-bit signless integer attribute
range_max	::mlir::IntegerAttr	64-bit signless integer attribute
range_is_unbounded	::mlir::BoolAttr	bool attribute

slang.bins.binary (::talos::slangir::BinaryBinsSelectExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.bins.binary` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangCoverageSelectorNode, SlangSemanticASTNode, SlangSemanticDeclarativeNode, SlangVerifyCoverageBinarySelectorMetadata

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
enclosing_cross_symbol	::mlir::SymbolRefAttr	symbol reference attribute
operator_kind	::talos::slangir::CoverageSelectBinaryOperatorAttr	binary coverage-bin selection operator

slang.bins.condition (::talos::slangir::ConditionBinsSelectExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.bins.condition` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangCoverageSelectorNode, SlangSemanticASTNode, SlangSemanticDeclarativeNode, SlangVerifyCoverageConditionSelectorMetadata

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
enclosing_cross_symbol	::mlir::SymbolRefAttr	symbol reference attribute
target_symbol	::mlir::SymbolRefAttr	symbol reference attribute
intersect_count	::mlir::IntegerAttr	64-bit signless integer attribute

slang.bins.cross_id (::talos::slangir::CrossIdBinsSelectExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.bins.cross_id` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangCoverageSelectorNode, SlangSemanticASTNode, SlangSemanticDeclarativeNode, SlangVerifyCoverageCrossIdSelectorMetadata

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
enclosing_cross_symbol	::mlir::SymbolRefAttr	symbol reference attribute

slang.bins.invalid (::talos::slangir::InvalidBinsSelectExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.bins.invalid` attr-dict-with-keyword $body

Traits: NoTerminator, RejectInvalidSemanticNode, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.bins.set_expr (::talos::slangir::SetExprBinsSelectExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.bins.set_expr` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangCoverageSelectorNode, SlangSemanticASTNode, SlangSemanticDeclarativeNode, SlangVerifyCoverageSetSelectorMetadata

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
enclosing_cross_symbol	::mlir::SymbolRefAttr	symbol reference attribute
has_matches	::mlir::BoolAttr	bool attribute

slang.bins.unary (::talos::slangir::UnaryBinsSelectExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.bins.unary` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangCoverageSelectorNode, SlangSemanticASTNode, SlangSemanticDeclarativeNode, SlangVerifyCoverageUnarySelectorMetadata

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
enclosing_cross_symbol	::mlir::SymbolRefAttr	symbol reference attribute
operator_kind	::talos::slangir::CoverageSelectUnaryOperatorAttr	unary coverage-bin selection operator

slang.bins.with_filter (::talos::slangir::BinSelectWithFilterExprOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.bins.with_filter` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangCoverageSelectorNode, SlangSemanticASTNode, SlangSemanticDeclarativeNode, SlangVerifyCoverageWithSelectorMetadata

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
enclosing_cross_symbol	::mlir::SymbolRefAttr	symbol reference attribute
has_matches	::mlir::BoolAttr	bool attribute

slang.constraint.conditional (::talos::slangir::ConditionalConstraintOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.constraint.conditional` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
has_else	::mlir::BoolAttr	bool attribute

slang.constraint.disable_soft (::talos::slangir::DisableSoftConstraintOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.constraint.disable_soft` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.constraint.expression (::talos::slangir::ExpressionConstraintOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.constraint.expression` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
is_soft	::mlir::BoolAttr	bool attribute

slang.constraint.foreach (::talos::slangir::ForeachConstraintOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.constraint.foreach` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
loop_dimensions	::mlir::ArrayAttr	Array of dictionary attributes

slang.constraint.implication (::talos::slangir::ImplicationConstraintOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.constraint.implication` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.constraint.invalid (::talos::slangir::InvalidConstraintOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.constraint.invalid` attr-dict-with-keyword $body

Traits: NoTerminator, RejectInvalidSemanticNode, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.constraint.list (::talos::slangir::ConstraintListOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.constraint.list` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
item_count	::mlir::IntegerAttr	64-bit signless integer attribute

slang.constraint.solve_before (::talos::slangir::SolveBeforeConstraintOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.constraint.solve_before` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
solve_count	::mlir::IntegerAttr	64-bit signless integer attribute
after_count	::mlir::IntegerAttr	64-bit signless integer attribute

slang.constraint.uniqueness (::talos::slangir::UniquenessConstraintOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.constraint.uniqueness` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
item_count	::mlir::IntegerAttr	64-bit signless integer attribute

slang.coverage.option (::talos::slangir::CoverageOptionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.coverage.option` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangCoverageOptionNode, SlangSemanticASTNode, SlangSemanticDeclarativeNode, SlangVerifyCoverageOptionMetadata

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
owner_kind	::talos::slangir::CoverageOptionOwnerKindAttr	coverage construct that owns a definition-time option setter
scope_kind	::talos::slangir::CoverageOptionScopeKindAttr	instance option or covergroup type option
option_kind	::talos::slangir::CoverageOptionKindAttr	standard coverage option identity
owner_symbol	::mlir::SymbolRefAttr	symbol reference attribute

slang.expression.arbitrary_symbol (::talos::slangir::ArbitrarySymbolExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.arbitrary_symbol` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
referenced_symbol	::mlir::SymbolRefAttr	symbol reference attribute
referenced_path	::mlir::StringAttr	string attribute

slang.expression.assertion_instance (::talos::slangir::AssertionInstanceExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.assertion_instance` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode, SlangVerifyAssertionInvocationMetadata

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
referenced_symbol	::mlir::SymbolRefAttr	symbol reference attribute
referenced_path	::mlir::StringAttr	string attribute
argument_count	::mlir::IntegerAttr	64-bit signless integer attribute
argument_formal_symbols	::mlir::ArrayAttr	symbol ref array attribute
argument_formal_paths	::mlir::ArrayAttr	string array attribute
argument_kinds	::mlir::DenseI64ArrayAttr	i64 dense array attribute
local_variable_count	::mlir::IntegerAttr	64-bit signless integer attribute
local_variable_symbols	::mlir::ArrayAttr	symbol ref array attribute
local_variable_paths	::mlir::ArrayAttr	string array attribute
local_variable_has_initializer	::mlir::DenseI64ArrayAttr	i64 dense array attribute
is_recursive_property	::mlir::BoolAttr	bool attribute
has_expanded_body	::mlir::BoolAttr	bool attribute

slang.expression.assignment (::talos::slangir::AssignmentExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.assignment` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
assignment_kind	::talos::slangir::AssignmentKindAttr	SystemVerilog assignment scheduling kind
has_timing_control	::mlir::BoolAttr	bool attribute
operator_kind	::talos::slangir::BinaryOperatorAttr	elaborated SystemVerilog binary operator

slang.expression.binary_op (::talos::slangir::BinaryExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.binary_op` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
operator_kind	::talos::slangir::BinaryOperatorAttr	elaborated SystemVerilog binary operator

slang.expression.call (::talos::slangir::CallExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.call` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
callee_name	::mlir::StringAttr	string attribute
is_system_call	::mlir::BoolAttr	bool attribute
is_builtin_method	::mlir::UnitAttr	unit attribute
subroutine_kind	::talos::slangir::SubroutineKindAttr	SystemVerilog function or task kind
argument_count	::mlir::IntegerAttr	64-bit signless integer attribute
has_this_class	::mlir::BoolAttr	bool attribute
is_super_class	::mlir::BoolAttr	bool attribute
has_output_arguments	::mlir::BoolAttr	bool attribute
referenced_symbol	::mlir::SymbolRefAttr	symbol reference attribute
referenced_path	::mlir::StringAttr	string attribute
system_scope_symbol	::mlir::SymbolRefAttr	symbol reference attribute
system_scope_path	::mlir::StringAttr	string attribute
system_library_cell	::mlir::StringAttr	string attribute
iterator_variable_symbol	::mlir::SymbolRefAttr	symbol reference attribute
iterator_variable_path	::mlir::StringAttr	string attribute
has_iterator_expression	::mlir::BoolAttr	bool attribute
has_inline_constraints	::mlir::BoolAttr	bool attribute
constraint_restrictions	::mlir::ArrayAttr	array attribute
defaulted_arguments	::mlir::DenseI64ArrayAttr	i64 dense array attribute
dynamic_cast_kind	::talos::slangir::DynamicCastKindAttr	Elaborated SystemVerilog dynamic-cast behavior
dynamic_cast_enum_values	::mlir::ArrayAttr	string array attribute
enum_method_values	::mlir::ArrayAttr	string array attribute
enum_method_names	::mlir::ArrayAttr	string array attribute
typename_spelling	::mlir::StringAttr	string attribute
readmem_enum_key_values	::mlir::ArrayAttr	string array attribute
readmem_enum_element_values	::mlir::ArrayAttr	string array attribute
is_void_casted	::mlir::UnitAttr	unit attribute

slang.expression.clocking_event (::talos::slangir::ClockingEventExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.clocking_event` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.expression.concatenation (::talos::slangir::ConcatenationExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.concatenation` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.expression.conditional_op (::talos::slangir::ConditionalExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.conditional_op` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
condition_count	::mlir::IntegerAttr	64-bit signless integer attribute
condition_pattern_flags	::mlir::DenseI64ArrayAttr	i64 dense array attribute

slang.expression.conversion (::talos::slangir::ConversionExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.conversion` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.expression.copy_class (::talos::slangir::CopyClassExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.copy_class` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.expression.data_type (::talos::slangir::DataTypeExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.data_type` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.expression.dist (::talos::slangir::DistExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.dist` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
item_count	::mlir::IntegerAttr	64-bit signless integer attribute
item_has_weight	::mlir::DenseI64ArrayAttr	i64 dense array attribute
item_weight_kinds	::mlir::DenseI64ArrayAttr	i64 dense array attribute
has_default_weight	::mlir::BoolAttr	bool attribute
default_weight_kind	::mlir::IntegerAttr	64-bit signless integer attribute

slang.expression.element_select (::talos::slangir::ElementSelectExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.element_select` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.expression.empty_argument (::talos::slangir::EmptyArgumentExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.empty_argument` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.expression.hierarchical_value (::talos::slangir::HierarchicalValueExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.hierarchical_value` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
referenced_symbol	::mlir::SymbolRefAttr	symbol reference attribute
referenced_path	::mlir::StringAttr	string attribute

slang.expression.inside (::talos::slangir::InsideExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.inside` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
item_count	::mlir::IntegerAttr	64-bit signless integer attribute

slang.expression.integer_literal (::talos::slangir::IntegerLiteralOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.integer_literal` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
constant_value	::mlir::StringAttr	string attribute
is_declared_unsized	::mlir::BoolAttr	bool attribute

slang.expression.l_value_reference (::talos::slangir::LValueReferenceExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.l_value_reference` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.expression.member_access (::talos::slangir::MemberAccessExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.member_access` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
referenced_symbol	::mlir::SymbolRefAttr	symbol reference attribute
referenced_path	::mlir::StringAttr	string attribute

slang.expression.min_typ_max (::talos::slangir::MinTypMaxExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.min_typ_max` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.expression.named_value (::talos::slangir::NamedValueExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.named_value` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
referenced_symbol	::mlir::SymbolRefAttr	symbol reference attribute
referenced_path	::mlir::StringAttr	string attribute

slang.expression.new_array (::talos::slangir::NewArrayExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.new_array` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.expression.new_class (::talos::slangir::NewClassExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.new_class` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
is_super_class	::mlir::BoolAttr	bool attribute

slang.expression.new_covergroup (::talos::slangir::NewCovergroupExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.new_covergroup` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
argument_count	::mlir::IntegerAttr	64-bit signless integer attribute
defaulted_arguments	::mlir::DenseI64ArrayAttr	i64 dense array attribute

slang.expression.null_literal (::talos::slangir::NullLiteralOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.null_literal` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.expression.range_select (::talos::slangir::RangeSelectExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.range_select` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
selection_kind	::talos::slangir::RangeSelectionKindAttr	SystemVerilog packed range selection kind

slang.expression.real_literal (::talos::slangir::RealLiteralOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.real_literal` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
constant_value	::mlir::StringAttr	string attribute
is_declared_unsized	::mlir::BoolAttr	bool attribute

slang.expression.replicated_assignment_pattern (::talos::slangir::ReplicatedAssignmentPatternExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.replicated_assignment_pattern` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.expression.replication (::talos::slangir::ReplicationExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.replication` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.expression.simple_assignment_pattern (::talos::slangir::SimpleAssignmentPatternExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.simple_assignment_pattern` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.expression.streaming (::talos::slangir::StreamingConcatenationExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.streaming` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
slice_size	::mlir::IntegerAttr	64-bit signless integer attribute
bitstream_width	::mlir::IntegerAttr	64-bit signless integer attribute
stream_count	::mlir::IntegerAttr	64-bit signless integer attribute
stream_with_flags	::mlir::DenseI64ArrayAttr	i64 dense array attribute
is_fixed_size	::mlir::BoolAttr	bool attribute

slang.expression.string_literal (::talos::slangir::StringLiteralOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.string_literal` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
constant_value	::mlir::StringAttr	string attribute
is_declared_unsized	::mlir::BoolAttr	bool attribute

slang.expression.structured_assignment_pattern (::talos::slangir::StructuredAssignmentPatternExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.structured_assignment_pattern` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
member_setter_count	::mlir::IntegerAttr	64-bit signless integer attribute
member_setter_ordinals	::mlir::DenseI64ArrayAttr	i64 dense array attribute
type_setter_count	::mlir::IntegerAttr	64-bit signless integer attribute
type_setter_types	::mlir::ArrayAttr	type array attribute
index_setter_count	::mlir::IntegerAttr	64-bit signless integer attribute
has_default_setter	::mlir::BoolAttr	bool attribute

slang.expression.tagged_union (::talos::slangir::TaggedUnionExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.tagged_union` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.expression.time_literal (::talos::slangir::TimeLiteralOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.time_literal` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
constant_value	::mlir::StringAttr	string attribute
time_scale	::mlir::StringAttr	string attribute

slang.expression.type_reference (::talos::slangir::TypeReferenceExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.type_reference` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.expression.unary_op (::talos::slangir::UnaryExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.unary_op` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
operator_kind	::talos::slangir::UnaryOperatorAttr	elaborated SystemVerilog unary operator

slang.expression.unbased_unsized_integer_literal (::talos::slangir::UnbasedUnsizedIntegerLiteralOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.unbased_unsized_integer_literal` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
constant_value	::mlir::StringAttr	string attribute
is_declared_unsized	::mlir::BoolAttr	bool attribute

slang.expression.unbounded_literal (::talos::slangir::UnboundedLiteralOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.unbounded_literal` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.expression.value_range (::talos::slangir::ValueRangeExpressionOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.expression.value_range` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticExpressionNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
range_kind	::talos::slangir::ValueRangeKindAttr	kind of membership value range

slang.pattern.constant (::talos::slangir::ConstantPatternOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.pattern.constant` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.pattern.invalid (::talos::slangir::InvalidPatternOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.pattern.invalid` attr-dict-with-keyword $body

Traits: NoTerminator, RejectInvalidSemanticNode, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.pattern.structure (::talos::slangir::StructurePatternOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.pattern.structure` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
field_ordinals	::mlir::DenseI64ArrayAttr	i64 dense array attribute

slang.pattern.tagged (::talos::slangir::TaggedPatternOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.pattern.tagged` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangTaggedPatternNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
referenced_symbol	::mlir::SymbolRefAttr	symbol reference attribute
referenced_path	::mlir::StringAttr	string attribute
field_ordinal	::mlir::IntegerAttr	64-bit signless integer attribute
packed_offset	::mlir::IntegerAttr	64-bit signless integer attribute

slang.pattern.variable (::talos::slangir::VariablePatternOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.pattern.variable` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangPatternVariableNode, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
referenced_symbol	::mlir::SymbolRefAttr	symbol reference attribute
referenced_path	::mlir::StringAttr	string attribute
field_ordinal	::mlir::IntegerAttr	64-bit signless integer attribute
packed_offset	::mlir::IntegerAttr	64-bit signless integer attribute

slang.pattern.wildcard (::talos::slangir::WildcardPatternOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.pattern.wildcard` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.port.connection (::talos::slangir::PortConnectionOp)

One resolved scalar elaborated port connection

Syntax:

operation ::= `slang.port.connection` attr-dict-with-keyword $internal $actual

Records Slang’s resolved formal association independently of source child order. internal contains the instance-side endpoint expression and actual contains the fully converted parent-side expression. Either region can be empty for interface and open associations.

Traits: NoTerminator, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
formal_symbol	::mlir::SymbolRefAttr	symbol reference attribute
formal_path	::mlir::StringAttr	string attribute
formal_ordinal	::mlir::IntegerAttr	64-bit signless integer attribute
formal_name	::mlir::StringAttr	string attribute
direction	::talos::slangir::ArgumentDirectionAttr	SystemVerilog port or argument direction
formal_type	::mlir::TypeAttr	any type attribute
is_net	::mlir::BoolAttr	bool attribute
is_ansi	::mlir::BoolAttr	bool attribute
actual_is_constant	::mlir::BoolAttr	bool attribute
unconnected_drive_value	::mlir::BoolAttr	bool attribute
provenance	::talos::slangir::PortConnectionKindAttr	elaborated port association provenance
internal_symbol	::mlir::SymbolRefAttr	symbol reference attribute
internal_path	::mlir::StringAttr	string attribute
interface_instance_symbol	::mlir::SymbolRefAttr	symbol reference attribute
interface_instance_path	::mlir::StringAttr	string attribute
interface_shape	::mlir::DenseI64ArrayAttr	i64 dense array attribute
selected_modport	::mlir::StringAttr	string attribute
drive_strength0	::talos::slangir::DriveStrengthAttr	SystemVerilog drive strength for one logic polarity
drive_strength1	::talos::slangir::DriveStrengthAttr	SystemVerilog drive strength for one logic polarity
unsupported_delay	::mlir::StringAttr	string attribute

slang.rand_seq.case (::talos::slangir::CaseProdOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.rand_seq.case` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.rand_seq.code_block (::talos::slangir::CodeBlockProdOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.rand_seq.code_block` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.rand_seq.if_else (::talos::slangir::IfElseProdOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.rand_seq.if_else` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.rand_seq.item (::talos::slangir::ProdItemOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.rand_seq.item` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.rand_seq.repeat (::talos::slangir::RepeatProdOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.rand_seq.repeat` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.source.class_definition (::talos::slangir::SourceClassDefinitionSymbolOp)

Lexical nested class declaration without a specialization

Syntax:

operation ::= `slang.source.class_definition` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
is_abstract	::mlir::BoolAttr	bool attribute
is_interface	::mlir::BoolAttr	bool attribute
is_final	::mlir::BoolAttr	bool attribute
is_parameterized	::mlir::BoolAttr	bool attribute

slang.statement.block (::talos::slangir::BlockStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.block` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
block_kind	::talos::slangir::StatementBlockKindAttr	SystemVerilog sequential or parallel statement block kind
block_symbol	::mlir::SymbolRefAttr	symbol reference attribute
block_path	::mlir::StringAttr	string attribute
is_implicit_loop_scope	::mlir::UnitAttr	unit attribute

slang.statement.break (::talos::slangir::BreakStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.break` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.statement.case (::talos::slangir::CaseStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.case` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
condition_kind	::talos::slangir::CaseConditionAttr	SystemVerilog case matching mode
check_kind	::talos::slangir::UniquePriorityCheckAttr	unique or priority runtime check
item_count	::mlir::IntegerAttr	64-bit signless integer attribute
item_label_counts	::mlir::DenseI64ArrayAttr	i64 dense array attribute
has_default	::mlir::BoolAttr	bool attribute

slang.statement.concurrent_assertion (::talos::slangir::ConcurrentAssertionStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.concurrent_assertion` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
assertion_kind	::talos::slangir::AssertionKindAttr	immediate or concurrent assertion directive kind
has_pass_action	::mlir::BoolAttr	bool attribute
has_fail_action	::mlir::BoolAttr	bool attribute
is_procedural	::mlir::BoolAttr	bool attribute
has_contextual_clock	::mlir::BoolAttr	bool attribute
starts_on_current_clock	::mlir::BoolAttr	bool attribute
is_static_time_zero_equivalent	::mlir::BoolAttr	bool attribute
default_clocking_symbol	::mlir::SymbolRefAttr	symbol reference attribute
default_clocking_path	::mlir::StringAttr	string attribute
has_default_disable	::mlir::BoolAttr	bool attribute

slang.statement.conditional (::talos::slangir::ConditionalStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.conditional` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
check_kind	::talos::slangir::UniquePriorityCheckAttr	unique or priority runtime check
condition_count	::mlir::IntegerAttr	64-bit signless integer attribute
condition_pattern_flags	::mlir::DenseI64ArrayAttr	i64 dense array attribute
has_else	::mlir::BoolAttr	bool attribute

slang.statement.continue (::talos::slangir::ContinueStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.continue` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.statement.disable (::talos::slangir::DisableStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.disable` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
target_symbol	::mlir::SymbolRefAttr	symbol reference attribute
target_path	::mlir::StringAttr	string attribute
is_hierarchical	::mlir::BoolAttr	bool attribute

slang.statement.disable_fork (::talos::slangir::DisableForkStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.disable_fork` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.statement.do_while_loop (::talos::slangir::DoWhileLoopStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.do_while_loop` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.statement.empty (::talos::slangir::EmptyStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.empty` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.statement.event_trigger (::talos::slangir::EventTriggerStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.event_trigger` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
is_nonblocking	::mlir::BoolAttr	bool attribute
has_timing_control	::mlir::BoolAttr	bool attribute

slang.statement.expression_statement (::talos::slangir::ExpressionStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.expression_statement` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.statement.for_loop (::talos::slangir::ForLoopStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.for_loop` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
initializer_count	::mlir::IntegerAttr	64-bit signless integer attribute
has_condition	::mlir::BoolAttr	bool attribute
step_count	::mlir::IntegerAttr	64-bit signless integer attribute
has_local_variables	::mlir::BoolAttr	bool attribute

slang.statement.foreach_loop (::talos::slangir::ForeachLoopStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.foreach_loop` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
loop_dimensions	::mlir::ArrayAttr	Array of dictionary attributes

slang.statement.forever_loop (::talos::slangir::ForeverLoopStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.forever_loop` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.statement.immediate_assertion (::talos::slangir::ImmediateAssertionStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.immediate_assertion` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
assertion_kind	::talos::slangir::AssertionKindAttr	immediate or concurrent assertion directive kind
is_deferred	::mlir::BoolAttr	bool attribute
is_final	::mlir::BoolAttr	bool attribute
has_pass_action	::mlir::BoolAttr	bool attribute
has_fail_action	::mlir::BoolAttr	bool attribute

slang.statement.list (::talos::slangir::StatementListOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.list` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.statement.pattern_case (::talos::slangir::PatternCaseStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.pattern_case` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
condition_kind	::talos::slangir::CaseConditionAttr	SystemVerilog case matching mode
check_kind	::talos::slangir::UniquePriorityCheckAttr	unique or priority runtime check
item_count	::mlir::IntegerAttr	64-bit signless integer attribute
item_filter_flags	::mlir::DenseI64ArrayAttr	i64 dense array attribute
has_default	::mlir::BoolAttr	bool attribute

slang.statement.procedural_assign (::talos::slangir::ProceduralAssignStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.procedural_assign` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
is_force	::mlir::BoolAttr	bool attribute

slang.statement.procedural_checker (::talos::slangir::ProceduralCheckerStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.procedural_checker` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode, SlangVerifyProceduralCheckerMetadata

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
instance_count	::mlir::IntegerAttr	64-bit signless integer attribute
instance_symbols	::mlir::ArrayAttr	symbol ref array attribute
instance_paths	::mlir::ArrayAttr	string array attribute

slang.statement.procedural_deassign (::talos::slangir::ProceduralDeassignStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.procedural_deassign` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
is_release	::mlir::BoolAttr	bool attribute

slang.statement.rand_case (::talos::slangir::RandCaseStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.rand_case` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
item_count	::mlir::IntegerAttr	64-bit signless integer attribute

slang.statement.rand_sequence (::talos::slangir::RandSequenceStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.rand_sequence` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.statement.repeat_loop (::talos::slangir::RepeatLoopStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.repeat_loop` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.statement.return (::talos::slangir::ReturnStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.return` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.statement.timed (::talos::slangir::TimedStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.timed` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.statement.variable_declaration (::talos::slangir::VariableDeclStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.variable_declaration` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
referenced_symbol	::mlir::SymbolRefAttr	symbol reference attribute
referenced_path	::mlir::StringAttr	string attribute

slang.statement.wait (::talos::slangir::WaitStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.wait` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.statement.wait_fork (::talos::slangir::WaitForkStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.wait_fork` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.statement.wait_order (::talos::slangir::WaitOrderStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.wait_order` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
event_count	::mlir::IntegerAttr	64-bit signless integer attribute
has_success_action	::mlir::BoolAttr	bool attribute
has_failure_action	::mlir::BoolAttr	bool attribute

slang.statement.while_loop (::talos::slangir::WhileLoopStatementOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.statement.while_loop` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.sv.source.binary_expression (::talos::slangir::SourceBinaryExpressionOp)

Unbound binary operation in an original default

Syntax:

operation ::= `slang.sv.source.binary_expression` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
operator_kind	::talos::slangir::BinaryOperatorAttr	elaborated SystemVerilog binary operator

slang.sv.source.class_constraint (::talos::slangir::SourceClassConstraintSymbolOp)

Lexical normal constraint without a bound constraint body

Syntax:

operation ::= `slang.sv.source.class_constraint` $sym_name attr-dict-with-keyword $body

Owned by a lexical class definition, with an empty body and no semantic_type. The source position is the declaration or prototype position. has_external_definition records an exact out-of-block definition lookup without binding its constraint expressions.

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
is_static	::mlir::UnitAttr	unit attribute
is_pure	::mlir::UnitAttr	unit attribute
is_prototype	::mlir::UnitAttr	unit attribute
has_external_definition	::mlir::BoolAttr	bool attribute

slang.sv.source.class_extends (::talos::slangir::SourceClassExtendsOp)

Lexical class inheritance without choosing a specialization

Syntax:

operation ::= `slang.sv.source.class_extends` attr-dict-with-keyword $body

The base declaration is an exact source class symbol. An unresolved dependent base instead retains its source spelling in unavailable_base; exactly one representation is required. Explicit parameter and constructor argument syntax is retained separately until its source expression graph can be represented. An absent list is distinct from an unavailable one. The node has no effective type or elaborated body.

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: SymbolUserOpInterface

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
base_definition	::mlir::SymbolRefAttr	symbol reference attribute
unavailable_base	::mlir::StringAttr	string attribute
parameter_arguments	::mlir::StringAttr	string attribute
constructor_arguments	::mlir::StringAttr	string attribute

slang.sv.source.class_method (::talos::slangir::SourceClassMethodSymbolOp)

Lexical generic-class method without an effective signature

Syntax:

operation ::= `slang.sv.source.class_method` $sym_name attr-dict-with-keyword $body

Owned by a lexical class definition, with an empty body and no semantic_type. The symbol preserves declaration identity and source-only modifiers; it does not designate a specialized executable method.

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
subroutine_kind	::talos::slangir::SubroutineKindAttr	SystemVerilog function or task kind
default_lifetime	::talos::slangir::VariableLifetimeAttr	SystemVerilog variable storage lifetime
member_visibility	::talos::slangir::VisibilityAttr	SystemVerilog class member visibility
is_static	::mlir::UnitAttr	unit attribute
is_declared_virtual	::mlir::UnitAttr	unit attribute
is_pure	::mlir::UnitAttr	unit attribute
is_constructor	::mlir::UnitAttr	unit attribute
is_extern	::mlir::UnitAttr	unit attribute
source_virtuality	::mlir::BoolAttr	bool attribute

slang.sv.source.class_parameter_actual (::talos::slangir::SourceClassParameterActualOp)

An exact lexical class parameter connection

Syntax:

operation ::= `slang.sv.source.class_parameter_actual` attr-dict-with-keyword $body

The parameter is the exact nonlocal declaration of the referenced base. A supported explicit value or type is its single child. A named empty connection carries use_default and no child, preserving the original declaration default. An unsupported expression retains unavailable_rhs instead, without an effective value or type.

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: SymbolUserOpInterface

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
parameter	::mlir::SymbolRefAttr	symbol reference attribute
is_named	::mlir::UnitAttr	unit attribute
use_default	::mlir::UnitAttr	unit attribute
unavailable_rhs	::mlir::StringAttr	string attribute

slang.sv.source.class_property (::talos::slangir::SourceClassPropertySymbolOp)

Lexical generic class property without executable storage

Syntax:

operation ::= `slang.sv.source.class_property` $sym_name attr-dict-with-keyword $body

Owns exactly one source declared-type node. The declaration preserves its lexical identity and modifiers without binding a specialization or initializer.

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
lifetime	::talos::slangir::VariableLifetimeAttr	SystemVerilog variable storage lifetime
member_visibility	::talos::slangir::VisibilityAttr	SystemVerilog class member visibility
rand_mode	::talos::slangir::RandModeAttr	SystemVerilog randomization mode
is_const	::mlir::UnitAttr	unit attribute

slang.sv.source.class_type_alias (::talos::slangir::SourceClassTypeAliasSymbolOp)

Lexical generic class typedef without an effective target

Syntax:

operation ::= `slang.sv.source.class_type_alias` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
member_visibility	::talos::slangir::VisibilityAttr	SystemVerilog class member visibility

slang.sv.source.conditional_expression (::talos::slangir::SourceConditionalExpressionOp)

Unbound conditional operation in an original default

Syntax:

operation ::= `slang.sv.source.conditional_expression` attr-dict-with-keyword $body

Owns the condition, true expression, and false expression in source order. None of the branches is selected or evaluated during source import.

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.sv.source.declared_type (::talos::slangir::SourceDeclaredTypeOp)

Exact parameter-independent source declared type

Syntax:

operation ::= `slang.sv.source.declared_type` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.sv.source.declared_type_reference (::talos::slangir::SourceDeclaredTypeReferenceOp)

Source declared type naming an exact preceding lexical type

Syntax:

operation ::= `slang.sv.source.declared_type_reference` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: SymbolUserOpInterface

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
declaration	::mlir::FlatSymbolRefAttr	flat symbol reference attribute

slang.sv.source.parameter_actual (::talos::slangir::SourceParameterActualOp)

An exact explicit scalar-instance parameter connection

Syntax:

operation ::= `slang.sv.source.parameter_actual` attr-dict-with-keyword $body

The source node belongs to the instantiating instance body. Its parameter names an exact nonlocal declaration in a directly instantiated child body. A supported original value/type is its single child. Unsupported syntax and named empty connections are explicit, without substituting an effective parameter value/type. Ordinals distinguish source assignment occurrences.

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: SymbolUserOpInterface

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
parameter	::mlir::SymbolRefAttr	symbol reference attribute
ordinal	::mlir::IntegerAttr	64-bit signless integer attribute
is_named	::mlir::UnitAttr	unit attribute
use_default	::mlir::UnitAttr	unit attribute
unavailable_rhs	::mlir::StringAttr	string attribute

slang.sv.source.parameter_reference (::talos::slangir::SourceParameterReferenceOp)

Exact preceding value parameter in an original default

Syntax:

operation ::= `slang.sv.source.parameter_reference` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: SymbolUserOpInterface

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
parameter	::mlir::FlatSymbolRefAttr	flat symbol reference attribute

slang.sv.source.type_default (::talos::slangir::SourceTypeDefaultOp)

Parameter-independent original type default

Syntax:

operation ::= `slang.sv.source.type_default` attr-dict-with-keyword $body

An exact concrete source type, without evaluating a class specialization. The existing vpi_typedef_layers metadata may retain alias spelling. This node has an empty body and is owned by a source type parameter.

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.sv.source.type_parameter (::talos::slangir::SourceTypeParameterSymbolOp)

Unresolved lexical type parameter of a generic class

Syntax:

operation ::= `slang.sv.source.type_parameter` $sym_name attr-dict-with-keyword $body

The direct parent is a lexical class definition. semantic_type is absent; the symbol itself is the unresolved typespec (IEEE 1800-2023 37.25 detail 11). Its body contains zero or one original type default. An empty body means there was no default, while an unsupported-default child preserves the distinct case where a source default has no structural import yet.

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
is_local_param	::mlir::UnitAttr	unit attribute

slang.sv.source.type_reference_default (::talos::slangir::SourceTypeReferenceDefaultOp)

Original default naming a preceding lexical type parameter

Syntax:

operation ::= `slang.sv.source.type_reference_default` attr-dict-with-keyword $body

The symbol reference names the exact preceding source type parameter in the same generic class. This node does not bind or resolve that parameter. It has an empty body and is owned by another source type parameter.

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: SymbolUserOpInterface

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
parameter	::mlir::FlatSymbolRefAttr	flat symbol reference attribute

slang.sv.source.unary_expression (::talos::slangir::SourceUnaryExpressionOp)

Unbound pure unary operation in an original default

Syntax:

operation ::= `slang.sv.source.unary_expression` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
operator_kind	::talos::slangir::UnaryOperatorAttr	elaborated SystemVerilog unary operator

slang.sv.source.unavailable_type (::talos::slangir::SourceUnavailableTypeOp)

Source declared type awaiting structural import

Syntax:

operation ::= `slang.sv.source.unavailable_type` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
syntax	::mlir::StringAttr	string attribute

slang.sv.source.unsupported_default (::talos::slangir::SourceUnsupportedDefaultOp)

Present original default awaiting structural import

Syntax:

operation ::= `slang.sv.source.unsupported_default` attr-dict-with-keyword $body

Preserves a present default separately from an absent default without fabricating its value or type. Only unsupported nodes retain source text; supported defaults use typed operations. The body is empty.

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
syntax	::mlir::StringAttr	string attribute
reason	::mlir::StringAttr	string attribute

slang.sv.source.value_default (::talos::slangir::SourceValueDefaultOp)

Original value-parameter default expression

Syntax:

operation ::= `slang.sv.source.value_default` attr-dict-with-keyword $body

Owns exactly one typed source expression, independently of the effective parameter initializer and its overrides. Integer literal nodes retain their self-determined semantic types; references and operators remain unbound.

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.sv.source.value_parameter (::talos::slangir::SourceValueParameterSymbolOp)

Lexical value parameter without an effective specialization

Syntax:

operation ::= `slang.sv.source.value_parameter` $sym_name attr-dict-with-keyword $body

Directly owned by a generic class definition. Its body contains at most one original default node; no semantic_type or elaborated value is bound.

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
is_local_param	::mlir::UnitAttr	unit attribute

slang.symbol.anonymous_program (::talos::slangir::AnonymousProgramSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.anonymous_program` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.assertion_port (::talos::slangir::AssertionPortSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.assertion_port` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
direction	::talos::slangir::ArgumentDirectionAttr	SystemVerilog port or argument direction
has_default_value	::mlir::BoolAttr	bool attribute
is_local_variable	::mlir::BoolAttr	bool attribute

slang.symbol.attribute (::talos::slangir::AttributeSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.attribute` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.checker (::talos::slangir::CheckerSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.checker` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SlangVerifyAssertionDeclarationMetadata, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
port_count	::mlir::IntegerAttr	64-bit signless integer attribute
port_symbols	::mlir::ArrayAttr	symbol ref array attribute
port_paths	::mlir::ArrayAttr	string array attribute

slang.symbol.checker_instance (::talos::slangir::CheckerInstanceSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.checker_instance` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SlangVerifyCheckerInstanceMetadata, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
referenced_checker_symbol	::mlir::SymbolRefAttr	symbol reference attribute
referenced_checker_path	::mlir::StringAttr	string attribute
connection_count	::mlir::IntegerAttr	64-bit signless integer attribute
connection_formal_symbols	::mlir::ArrayAttr	symbol ref array attribute
connection_formal_paths	::mlir::ArrayAttr	string array attribute
connection_actual_kinds	::mlir::DenseI64ArrayAttr	i64 dense array attribute
connection_has_actual	::mlir::DenseI64ArrayAttr	i64 dense array attribute
connection_has_output_initial	::mlir::DenseI64ArrayAttr	i64 dense array attribute
connection_attribute_counts	::mlir::DenseI64ArrayAttr	i64 dense array attribute
is_procedural	::mlir::BoolAttr	bool attribute
is_from_bind	::mlir::BoolAttr	bool attribute
is_below_bind	::mlir::BoolAttr	bool attribute
is_bind_target	::mlir::BoolAttr	bool attribute
selected_cell	::mlir::StringAttr	string attribute

slang.symbol.checker_instance_body (::talos::slangir::CheckerInstanceBodySymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.checker_instance_body` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
referenced_checker_symbol	::mlir::SymbolRefAttr	symbol reference attribute
referenced_checker_path	::mlir::StringAttr	string attribute
parent_instance_symbol	::mlir::SymbolRefAttr	symbol reference attribute
parent_instance_path	::mlir::StringAttr	string attribute
instance_depth	::mlir::IntegerAttr	64-bit signless integer attribute
instance_flags	::mlir::IntegerAttr	64-bit signless integer attribute
is_procedural	::mlir::BoolAttr	bool attribute

slang.symbol.class_property (::talos::slangir::ClassPropertySymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.class_property` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
lifetime	::talos::slangir::VariableLifetimeAttr	SystemVerilog variable storage lifetime
rand_mode	::talos::slangir::RandModeAttr	SystemVerilog randomization mode
is_const	::mlir::UnitAttr	unit attribute
is_compiler_generated	::mlir::UnitAttr	unit attribute
is_immutable_coverage_option	::mlir::UnitAttr	unit attribute
is_coverage_sample_formal	::mlir::UnitAttr	unit attribute
is_checker_free_variable	::mlir::UnitAttr	unit attribute
is_ref_static	::mlir::UnitAttr	unit attribute
member_visibility	::talos::slangir::VisibilityAttr	SystemVerilog class member visibility

slang.symbol.clock_var (::talos::slangir::ClockVarSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.clock_var` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
lifetime	::talos::slangir::VariableLifetimeAttr	SystemVerilog variable storage lifetime
rand_mode	::talos::slangir::RandModeAttr	SystemVerilog randomization mode
is_const	::mlir::UnitAttr	unit attribute
is_compiler_generated	::mlir::UnitAttr	unit attribute
is_immutable_coverage_option	::mlir::UnitAttr	unit attribute
is_coverage_sample_formal	::mlir::UnitAttr	unit attribute
is_checker_free_variable	::mlir::UnitAttr	unit attribute
is_ref_static	::mlir::UnitAttr	unit attribute
direction	::talos::slangir::ArgumentDirectionAttr	SystemVerilog port or argument direction
input_edge	::talos::slangir::EdgeKindAttr	elaborated event edge
output_edge	::talos::slangir::EdgeKindAttr	elaborated event edge
has_input_delay	::mlir::BoolAttr	bool attribute
has_output_delay	::mlir::BoolAttr	bool attribute

slang.symbol.clocking_block (::talos::slangir::ClockingBlockSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.clocking_block` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
is_default	::mlir::BoolAttr	bool attribute
is_global	::mlir::BoolAttr	bool attribute

slang.symbol.compilation_unit (::talos::slangir::CompilationUnitSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.compilation_unit` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.config_block (::talos::slangir::ConfigBlockSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.config_block` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.constraint_block (::talos::slangir::ConstraintBlockSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.constraint_block` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
is_pure	::mlir::UnitAttr	unit attribute
is_static	::mlir::UnitAttr	unit attribute
is_extern	::mlir::UnitAttr	unit attribute
is_explicit_extern	::mlir::UnitAttr	unit attribute
is_initial	::mlir::UnitAttr	unit attribute
is_extends	::mlir::UnitAttr	unit attribute
is_final	::mlir::UnitAttr	unit attribute
out_of_block_index	::mlir::IntegerAttr	64-bit signless integer attribute
this_variable_symbol	::mlir::SymbolRefAttr	symbol reference attribute
this_variable_path	::mlir::StringAttr	string attribute

slang.symbol.continuous_assign (::talos::slangir::ContinuousAssignSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.continuous_assign` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
drive_strength0	::talos::slangir::DriveStrengthAttr	SystemVerilog drive strength for one logic polarity
drive_strength1	::talos::slangir::DriveStrengthAttr	SystemVerilog drive strength for one logic polarity
delay_fs	::mlir::DenseI64ArrayAttr	i64 dense array attribute
unsupported_delay	::mlir::StringAttr	string attribute

slang.symbol.cover_cross (::talos::slangir::CoverCrossSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.cover_cross` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangCoverageCrossNode, SlangSemanticASTNode, SlangVerifyCoverCrossMetadata, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
target_count	::mlir::IntegerAttr	64-bit signless integer attribute
target_symbols	::mlir::ArrayAttr	symbol ref array attribute
has_iff	::mlir::BoolAttr	bool attribute
option_count	::mlir::IntegerAttr	64-bit signless integer attribute
expression_roles	::mlir::ArrayAttr	coverage expression role array

slang.symbol.cover_cross_body (::talos::slangir::CoverCrossBodySymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.cover_cross_body` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.coverage_bin (::talos::slangir::CoverageBinSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.coverage_bin` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangCoverageBinNode, SlangSemanticASTNode, SlangSemanticDeclarativeNode, SlangVerifyCoverageBinMetadata

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
bins_kind	::talos::slangir::CoverageBinKindAttr	coverage bin classification
is_array	::mlir::BoolAttr	bool attribute
is_wildcard	::mlir::BoolAttr	bool attribute
is_default	::mlir::BoolAttr	bool attribute
is_default_sequence	::mlir::BoolAttr	bool attribute
has_iff	::mlir::BoolAttr	bool attribute
has_number_of_bins	::mlir::BoolAttr	bool attribute
has_set_coverage	::mlir::BoolAttr	bool attribute
has_with	::mlir::BoolAttr	bool attribute
value_count	::mlir::IntegerAttr	64-bit signless integer attribute
transition_set_count	::mlir::IntegerAttr	64-bit signless integer attribute
child_roles	::mlir::DenseI64ArrayAttr	i64 dense array attribute
transition_set_range_counts	::mlir::DenseI64ArrayAttr	i64 dense array attribute
transition_range_item_counts	::mlir::DenseI64ArrayAttr	i64 dense array attribute
transition_range_repeat_kinds	::mlir::DenseI64ArrayAttr	i64 dense array attribute
transition_range_has_repeat_from	::mlir::DenseI64ArrayAttr	i64 dense array attribute
transition_range_has_repeat_to	::mlir::DenseI64ArrayAttr	i64 dense array attribute

slang.symbol.covergroup_body (::talos::slangir::CovergroupBodySymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.covergroup_body` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SlangVerifyCoverageOptionContainerMetadata, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
option_count	::mlir::IntegerAttr	64-bit signless integer attribute

slang.symbol.coverpoint (::talos::slangir::CoverpointSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.coverpoint` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangCoveragePointNode, SlangSemanticASTNode, SlangVerifyCoverpointMetadata, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
has_iff	::mlir::BoolAttr	bool attribute
has_explicit_type	::mlir::BoolAttr	bool attribute
option_count	::mlir::IntegerAttr	64-bit signless integer attribute
expression_roles	::mlir::ArrayAttr	coverage expression role array

slang.symbol.def_param (::talos::slangir::DefParamSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.def_param` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.definition (::talos::slangir::DefinitionSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.definition` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
definition_kind	::talos::slangir::DefinitionKindAttr	SystemVerilog design-unit definition kind

slang.symbol.elab_system_task (::talos::slangir::ElabSystemTaskSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.elab_system_task` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.empty_member (::talos::slangir::EmptyMemberSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.empty_member` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.enum_value (::talos::slangir::EnumValueSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.enum_value` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
constant_value	::mlir::StringAttr	string attribute

slang.symbol.explicit_import (::talos::slangir::ExplicitImportSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.explicit_import` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.field (::talos::slangir::FieldSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.field` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangAggregateFieldNode, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
lifetime	::talos::slangir::VariableLifetimeAttr	SystemVerilog variable storage lifetime
rand_mode	::talos::slangir::RandModeAttr	SystemVerilog randomization mode
is_const	::mlir::UnitAttr	unit attribute
is_compiler_generated	::mlir::UnitAttr	unit attribute
is_immutable_coverage_option	::mlir::UnitAttr	unit attribute
is_coverage_sample_formal	::mlir::UnitAttr	unit attribute
is_checker_free_variable	::mlir::UnitAttr	unit attribute
is_ref_static	::mlir::UnitAttr	unit attribute
bit_offset	::mlir::IntegerAttr	64-bit signless integer attribute
field_index	::mlir::IntegerAttr	64-bit signless integer attribute

slang.symbol.formal_argument (::talos::slangir::FormalArgumentSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.formal_argument` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangFormalArgumentNode, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
lifetime	::talos::slangir::VariableLifetimeAttr	SystemVerilog variable storage lifetime
rand_mode	::talos::slangir::RandModeAttr	SystemVerilog randomization mode
is_const	::mlir::UnitAttr	unit attribute
is_compiler_generated	::mlir::UnitAttr	unit attribute
is_immutable_coverage_option	::mlir::UnitAttr	unit attribute
is_coverage_sample_formal	::mlir::UnitAttr	unit attribute
is_checker_free_variable	::mlir::UnitAttr	unit attribute
is_ref_static	::mlir::UnitAttr	unit attribute
direction	::talos::slangir::ArgumentDirectionAttr	SystemVerilog port or argument direction
merged_variable_symbol	::mlir::SymbolRefAttr	symbol reference attribute
merged_variable_path	::mlir::StringAttr	string attribute

slang.symbol.forwarding_typedef (::talos::slangir::ForwardingTypedefSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.forwarding_typedef` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.generate_block (::talos::slangir::GenerateBlockSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.generate_block` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.generate_block_array (::talos::slangir::GenerateBlockArraySymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.generate_block_array` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
array_indices	::mlir::DenseI64ArrayAttr	i64 dense array attribute

slang.symbol.generic_class_def (::talos::slangir::GenericClassDefSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.generic_class_def` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode, SymbolTable

Interfaces: SymbolUserOpInterface, Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
is_interface	::mlir::BoolAttr	bool attribute
lexical_definition	::mlir::SymbolRefAttr	symbol reference attribute
specialization_count	::mlir::IntegerAttr	64-bit signless integer attribute
first_forward_declaration_symbol	::mlir::SymbolRefAttr	symbol reference attribute
first_forward_declaration_path	::mlir::StringAttr	string attribute

slang.symbol.genvar (::talos::slangir::GenvarSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.genvar` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.instance (::talos::slangir::InstanceSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.instance` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
referenced_symbol	::mlir::SymbolRefAttr	symbol reference attribute
referenced_path	::mlir::StringAttr	string attribute
is_uninstantiated	::mlir::BoolAttr	bool attribute
is_virtual_interface_type_instance	::mlir::BoolAttr	bool attribute
is_from_bind	::mlir::BoolAttr	bool attribute
is_below_bind	::mlir::BoolAttr	bool attribute
is_bind_target	::mlir::BoolAttr	bool attribute
selected_cell	::mlir::StringAttr	string attribute
configuration	::mlir::StringAttr	string attribute
configuration_root	::mlir::StringAttr	string attribute
configuration_liblist	::mlir::ArrayAttr	string array attribute
configuration_rule_kind	::mlir::StringAttr	string attribute
configuration_rule_source_range	::mlir::TypeAttr	any type attribute

slang.symbol.instance_array (::talos::slangir::InstanceArraySymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.instance_array` $sym_name attr-dict-with-keyword $body

The body contains one element per source index in ascending numeric index order, independent of the declared direction in array_range. Nested instance-array nodes repeat this contract for the next dimension.

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
array_range	::mlir::DenseI64ArrayAttr	i64 dense array attribute

slang.symbol.instance_body (::talos::slangir::InstanceBodySymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.instance_body` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.interface_port (::talos::slangir::InterfacePortSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.interface_port` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.iterator (::talos::slangir::IteratorSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.iterator` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
lifetime	::talos::slangir::VariableLifetimeAttr	SystemVerilog variable storage lifetime
rand_mode	::talos::slangir::RandModeAttr	SystemVerilog randomization mode
is_const	::mlir::UnitAttr	unit attribute
is_compiler_generated	::mlir::UnitAttr	unit attribute
is_immutable_coverage_option	::mlir::UnitAttr	unit attribute
is_coverage_sample_formal	::mlir::UnitAttr	unit attribute
is_checker_free_variable	::mlir::UnitAttr	unit attribute
is_ref_static	::mlir::UnitAttr	unit attribute
array_type	::mlir::TypeAttr	any type attribute
index_method_name	::mlir::StringAttr	string attribute

slang.symbol.let_decl (::talos::slangir::LetDeclSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.let_decl` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.local_assertion_var (::talos::slangir::LocalAssertionVarSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.local_assertion_var` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
lifetime	::talos::slangir::VariableLifetimeAttr	SystemVerilog variable storage lifetime
rand_mode	::talos::slangir::RandModeAttr	SystemVerilog randomization mode
is_const	::mlir::UnitAttr	unit attribute
is_compiler_generated	::mlir::UnitAttr	unit attribute
is_immutable_coverage_option	::mlir::UnitAttr	unit attribute
is_coverage_sample_formal	::mlir::UnitAttr	unit attribute
is_checker_free_variable	::mlir::UnitAttr	unit attribute
is_ref_static	::mlir::UnitAttr	unit attribute
formal_port_symbol	::mlir::SymbolRefAttr	symbol reference attribute
formal_port_path	::mlir::StringAttr	string attribute

slang.symbol.method_prototype (::talos::slangir::MethodPrototypeSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.method_prototype` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
subroutine_kind	::talos::slangir::SubroutineKindAttr	SystemVerilog function or task kind
member_visibility	::talos::slangir::VisibilityAttr	SystemVerilog class member visibility
is_virtual	::mlir::UnitAttr	unit attribute
is_declared_virtual	::mlir::UnitAttr	unit attribute
is_pure	::mlir::UnitAttr	unit attribute
is_static	::mlir::UnitAttr	unit attribute
is_constructor	::mlir::UnitAttr	unit attribute
is_interface_extern	::mlir::UnitAttr	unit attribute
is_modport_import	::mlir::UnitAttr	unit attribute
is_modport_export	::mlir::UnitAttr	unit attribute
is_dpi_import	::mlir::UnitAttr	unit attribute
is_dpi_context	::mlir::UnitAttr	unit attribute
dpi_c_identifier	::mlir::StringAttr	string attribute
dpi_export_c_identifier	::mlir::StringAttr	string attribute
is_builtin	::mlir::UnitAttr	unit attribute
is_fork_join	::mlir::UnitAttr	unit attribute
has_defaulted_super_arg	::mlir::UnitAttr	unit attribute
is_initial	::mlir::UnitAttr	unit attribute
is_extends	::mlir::UnitAttr	unit attribute
is_final	::mlir::UnitAttr	unit attribute
subroutine_symbol	::mlir::SymbolRefAttr	symbol reference attribute
subroutine_path	::mlir::StringAttr	string attribute
override_symbol	::mlir::SymbolRefAttr	symbol reference attribute
override_path	::mlir::StringAttr	string attribute
extern_implementation_count	::mlir::IntegerAttr	64-bit signless integer attribute
extern_implementation_symbols	::mlir::ArrayAttr	symbol ref array attribute
extern_implementation_paths	::mlir::ArrayAttr	string array attribute

slang.symbol.modport (::talos::slangir::ModportSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.modport` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.modport_clocking (::talos::slangir::ModportClockingSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.modport_clocking` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.modport_port (::talos::slangir::ModportPortSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.modport_port` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.multi_port (::talos::slangir::MultiPortSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.multi_port` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
direction	::talos::slangir::ArgumentDirectionAttr	SystemVerilog port or argument direction

slang.symbol.net (::talos::slangir::NetSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.net` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
net_kind	::talos::slangir::NetKindAttr	SystemVerilog net resolution kind
is_implicit	::mlir::BoolAttr	bool attribute
expansion_hint	::talos::slangir::NetExpansionHintAttr	explicit SystemVerilog net vector expansion request
nettype_symbol	::mlir::SymbolRefAttr	symbol reference attribute
nettype_path	::mlir::StringAttr	string attribute
resolution_function_symbol	::mlir::SymbolRefAttr	symbol reference attribute
resolution_function_path	::mlir::StringAttr	string attribute
drive_strength0	::talos::slangir::DriveStrengthAttr	SystemVerilog drive strength for one logic polarity
drive_strength1	::talos::slangir::DriveStrengthAttr	SystemVerilog drive strength for one logic polarity
charge_strength	::talos::slangir::ChargeStrengthAttr	SystemVerilog trireg charge strength
delay_fs	::mlir::DenseI64ArrayAttr	i64 dense array attribute
unsupported_delay	::mlir::StringAttr	string attribute

slang.symbol.net_alias (::talos::slangir::NetAliasSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.net_alias` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.package (::talos::slangir::PackageSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.package` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.parameter (::talos::slangir::ParameterSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.parameter` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
constant_value	::mlir::StringAttr	string attribute
is_local_param	::mlir::UnitAttr	unit attribute
has_explicit_range	::mlir::UnitAttr	unit attribute

slang.symbol.pattern_var (::talos::slangir::PatternVarSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.pattern_var` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangPatternBindingNode, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
lifetime	::talos::slangir::VariableLifetimeAttr	SystemVerilog variable storage lifetime
rand_mode	::talos::slangir::RandModeAttr	SystemVerilog randomization mode
is_const	::mlir::UnitAttr	unit attribute
is_compiler_generated	::mlir::UnitAttr	unit attribute
is_immutable_coverage_option	::mlir::UnitAttr	unit attribute
is_coverage_sample_formal	::mlir::UnitAttr	unit attribute
is_checker_free_variable	::mlir::UnitAttr	unit attribute
is_ref_static	::mlir::UnitAttr	unit attribute

slang.symbol.port (::talos::slangir::PortSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.port` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
direction	::talos::slangir::ArgumentDirectionAttr	SystemVerilog port or argument direction

slang.symbol.primitive (::talos::slangir::PrimitiveSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.primitive` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.primitive_instance (::talos::slangir::PrimitiveInstanceSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.primitive_instance` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
drive_strength0	::talos::slangir::DriveStrengthAttr	SystemVerilog drive strength for one logic polarity
drive_strength1	::talos::slangir::DriveStrengthAttr	SystemVerilog drive strength for one logic polarity
delay_fs	::mlir::DenseI64ArrayAttr	i64 dense array attribute
unsupported_delay	::mlir::StringAttr	string attribute

slang.symbol.primitive_port (::talos::slangir::PrimitivePortSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.primitive_port` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.procedural_block (::talos::slangir::ProceduralBlockSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.procedural_block` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
procedure_kind	::talos::slangir::ProceduralBlockKindAttr	SystemVerilog procedural block kind

slang.symbol.property (::talos::slangir::PropertySymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.property` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SlangVerifyAssertionDeclarationMetadata, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
port_count	::mlir::IntegerAttr	64-bit signless integer attribute
port_symbols	::mlir::ArrayAttr	symbol ref array attribute
port_paths	::mlir::ArrayAttr	string array attribute
has_default_instance	::mlir::BoolAttr	bool attribute
default_clocking_symbol	::mlir::SymbolRefAttr	symbol reference attribute
default_clocking_path	::mlir::StringAttr	string attribute

slang.symbol.pulse_style (::talos::slangir::PulseStyleSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.pulse_style` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.rand_seq_production (::talos::slangir::RandSeqProductionSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.rand_seq_production` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.root (::talos::slangir::RootSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.root` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticReferenceRootNode, SlangVerifySemanticReferenceGraph, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.sequence (::talos::slangir::SequenceSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.sequence` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SlangVerifyAssertionDeclarationMetadata, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
port_count	::mlir::IntegerAttr	64-bit signless integer attribute
port_symbols	::mlir::ArrayAttr	symbol ref array attribute
port_paths	::mlir::ArrayAttr	string array attribute
has_default_instance	::mlir::BoolAttr	bool attribute
default_clocking_symbol	::mlir::SymbolRefAttr	symbol reference attribute
default_clocking_path	::mlir::StringAttr	string attribute

slang.symbol.specify_block (::talos::slangir::SpecifyBlockSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.specify_block` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.specparam (::talos::slangir::SpecparamSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.specparam` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
constant_value	::mlir::StringAttr	string attribute

slang.symbol.statement_block (::talos::slangir::StatementBlockSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.statement_block` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
block_kind	::talos::slangir::StatementBlockKindAttr	SystemVerilog sequential or parallel statement block kind

slang.symbol.subroutine (::talos::slangir::SubroutineSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.subroutine` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
subroutine_kind	::talos::slangir::SubroutineKindAttr	SystemVerilog function or task kind
default_lifetime	::talos::slangir::VariableLifetimeAttr	SystemVerilog variable storage lifetime
member_visibility	::talos::slangir::VisibilityAttr	SystemVerilog class member visibility
is_virtual	::mlir::UnitAttr	unit attribute
is_declared_virtual	::mlir::UnitAttr	unit attribute
is_pure	::mlir::UnitAttr	unit attribute
is_static	::mlir::UnitAttr	unit attribute
is_constructor	::mlir::UnitAttr	unit attribute
is_interface_extern	::mlir::UnitAttr	unit attribute
is_modport_import	::mlir::UnitAttr	unit attribute
is_modport_export	::mlir::UnitAttr	unit attribute
is_dpi_import	::mlir::UnitAttr	unit attribute
is_dpi_context	::mlir::UnitAttr	unit attribute
dpi_c_identifier	::mlir::StringAttr	string attribute
dpi_export_c_identifier	::mlir::StringAttr	string attribute
is_builtin	::mlir::UnitAttr	unit attribute
is_randomize	::mlir::UnitAttr	unit attribute
is_fork_join	::mlir::UnitAttr	unit attribute
has_defaulted_super_arg	::mlir::UnitAttr	unit attribute
is_initial	::mlir::UnitAttr	unit attribute
is_extends	::mlir::UnitAttr	unit attribute
is_final	::mlir::UnitAttr	unit attribute
is_pre_post_randomize	::mlir::UnitAttr	unit attribute
out_of_block_index	::mlir::IntegerAttr	64-bit signless integer attribute
override_symbol	::mlir::SymbolRefAttr	symbol reference attribute
override_path	::mlir::StringAttr	string attribute
prototype_symbol	::mlir::SymbolRefAttr	symbol reference attribute
prototype_path	::mlir::StringAttr	string attribute
return_variable_symbol	::mlir::SymbolRefAttr	symbol reference attribute
return_variable_path	::mlir::StringAttr	string attribute
this_variable_symbol	::mlir::SymbolRefAttr	symbol reference attribute
this_variable_path	::mlir::StringAttr	string attribute

slang.symbol.system_timing_check (::talos::slangir::SystemTimingCheckSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.system_timing_check` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.timing_path (::talos::slangir::TimingPathSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.timing_path` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.transparent_member (::talos::slangir::TransparentMemberSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.transparent_member` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.type_parameter (::talos::slangir::TypeParameterSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.type_parameter` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
is_local_param	::mlir::UnitAttr	unit attribute

slang.symbol.uninstantiated_def (::talos::slangir::UninstantiatedDefSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.uninstantiated_def` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.symbol.variable (::talos::slangir::VariableSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.variable` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
lifetime	::talos::slangir::VariableLifetimeAttr	SystemVerilog variable storage lifetime
rand_mode	::talos::slangir::RandModeAttr	SystemVerilog randomization mode
is_const	::mlir::UnitAttr	unit attribute
is_compiler_generated	::mlir::UnitAttr	unit attribute
is_immutable_coverage_option	::mlir::UnitAttr	unit attribute
is_coverage_sample_formal	::mlir::UnitAttr	unit attribute
is_checker_free_variable	::mlir::UnitAttr	unit attribute
is_ref_static	::mlir::UnitAttr	unit attribute

slang.symbol.wildcard_import (::talos::slangir::WildcardImportSymbolOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.symbol.wildcard_import` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.timing.block_event_list (::talos::slangir::BlockEventListControlOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.timing.block_event_list` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangCoverageBlockEventNode, SlangSemanticASTNode, SlangSemanticTimingNode, SlangVerifyCoverageBlockEventMetadata

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
event_kinds	::mlir::ArrayAttr	coverage block-event kind array

slang.timing.cycle_delay (::talos::slangir::CycleDelayControlOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.timing.cycle_delay` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticTimingNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.timing.delay (::talos::slangir::DelayControlOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.timing.delay` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticTimingNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.timing.delay3 (::talos::slangir::Delay3ControlOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.timing.delay3` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticTimingNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
delay_count	::mlir::IntegerAttr	64-bit signless integer attribute

slang.timing.event_list (::talos::slangir::EventListControlOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.timing.event_list` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangCoverageClockingEventNode, SlangSemanticASTNode, SlangSemanticTimingNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
event_count	::mlir::IntegerAttr	64-bit signless integer attribute

slang.timing.implicit_event (::talos::slangir::ImplicitEventControlOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.timing.implicit_event` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticTimingNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.timing.invalid (::talos::slangir::InvalidTimingControlOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.timing.invalid` attr-dict-with-keyword $body

Traits: NoTerminator, RejectInvalidSemanticNode, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.timing.one_step_delay (::talos::slangir::OneStepDelayControlOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.timing.one_step_delay` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticTimingNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.timing.repeated_event (::talos::slangir::RepeatedEventControlOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.timing.repeated_event` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticTimingNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.timing.signal_event (::talos::slangir::SignalEventControlOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.timing.signal_event` attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangCoverageClockingEventNode, SlangSemanticASTNode, SlangSemanticTimingNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
edge_kind	::talos::slangir::EdgeKindAttr	elaborated event edge
has_iff	::mlir::BoolAttr	bool attribute

slang.type.associative_array_type (::talos::slangir::AssociativeArrayTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.associative_array_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.c_handle_type (::talos::slangir::CHandleTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.c_handle_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.class_type (::talos::slangir::ClassTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.class_type` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SlangSemanticDeclarativeNode, SymbolTable

Interfaces: SymbolUserOpInterface, Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
is_abstract	::mlir::BoolAttr	bool attribute
lexical_definition	::mlir::SymbolRefAttr	symbol reference attribute
is_interface	::mlir::BoolAttr	bool attribute
is_final	::mlir::BoolAttr	bool attribute
is_uninstantiated	::mlir::BoolAttr	bool attribute
base_class	::mlir::TypeAttr	any type attribute
implemented_interfaces	::mlir::ArrayAttr	type array attribute
declared_interfaces	::mlir::ArrayAttr	type array attribute
generic_class_symbol	::mlir::SymbolRefAttr	symbol reference attribute
generic_class_path	::mlir::StringAttr	string attribute
generic_parameter_symbols	::mlir::ArrayAttr	symbol ref array attribute
generic_parameter_paths	::mlir::ArrayAttr	string array attribute
this_variable_symbol	::mlir::SymbolRefAttr	symbol reference attribute
this_variable_path	::mlir::StringAttr	string attribute
constructor_symbol	::mlir::SymbolRefAttr	symbol reference attribute
constructor_path	::mlir::StringAttr	string attribute
has_base_constructor_call	::mlir::BoolAttr	bool attribute
bitstream_width	::mlir::IntegerAttr	64-bit signless integer attribute
has_cycles	::mlir::BoolAttr	bool attribute

slang.type.covergroup_type (::talos::slangir::CovergroupTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.covergroup_type` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangCoverageGroupNode, SlangSemanticASTNode, SlangSemanticDeclarativeNode, SlangVerifyCovergroupTypeMetadata, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
base_group	::mlir::TypeAttr	any type attribute
constructor_argument_count	::mlir::IntegerAttr	64-bit signless integer attribute
constructor_formals	::mlir::ArrayAttr	symbol ref array attribute
sample_formal_count	::mlir::IntegerAttr	64-bit signless integer attribute
sample_formals	::mlir::ArrayAttr	symbol ref array attribute
coverage_event_kind	::talos::slangir::CoverageEventKindAttr	declared covergroup sampling form
has_coverage_event	::mlir::BoolAttr	bool attribute

slang.type.dpi_open_array_type (::talos::slangir::DPIOpenArrayTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.dpi_open_array_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.dynamic_array_type (::talos::slangir::DynamicArrayTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.dynamic_array_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.enum_type (::talos::slangir::EnumTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.enum_type` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.error_type (::talos::slangir::ErrorTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.error_type` attr-dict-with-keyword $body

Traits: NoTerminator, RejectInvalidSemanticNode, SingleBlock, SlangSemanticASTNode

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute

slang.type.event_type (::talos::slangir::EventTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.event_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.fixed_size_unpacked_array_type (::talos::slangir::FixedSizeUnpackedArrayTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.fixed_size_unpacked_array_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.floating_type (::talos::slangir::FloatingTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.floating_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.net_type (::talos::slangir::NetTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.net_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute
net_kind	::talos::slangir::NetKindAttr	SystemVerilog net resolution kind
data_type	::mlir::TypeAttr	any type attribute
is_builtin	::mlir::BoolAttr	bool attribute
aliased_nettype_symbol	::mlir::SymbolRefAttr	symbol reference attribute
aliased_nettype_path	::mlir::StringAttr	string attribute
resolution_function_symbol	::mlir::SymbolRefAttr	symbol reference attribute
resolution_function_path	::mlir::StringAttr	string attribute

slang.type.null_type (::talos::slangir::NullTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.null_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.packed_array_type (::talos::slangir::PackedArrayTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.packed_array_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.packed_struct_type (::talos::slangir::PackedStructTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.packed_struct_type` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.packed_union_type (::talos::slangir::PackedUnionTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.packed_union_type` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.predefined_integer_type (::talos::slangir::PredefinedIntegerTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.predefined_integer_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.property_type (::talos::slangir::PropertyTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.property_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.queue_type (::talos::slangir::QueueTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.queue_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.scalar_type (::talos::slangir::ScalarTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.scalar_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.sequence_type (::talos::slangir::SequenceTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.sequence_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.string_type (::talos::slangir::StringTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.string_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.type_alias (::talos::slangir::TypeAliasTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.type_alias` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.type_ref_type (::talos::slangir::TypeRefTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.type_ref_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.unbounded_type (::talos::slangir::UnboundedTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.unbounded_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.unpacked_struct_type (::talos::slangir::UnpackedStructTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.unpacked_struct_type` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.unpacked_union_type (::talos::slangir::UnpackedUnionTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.unpacked_union_type` $sym_name attr-dict-with-keyword $body

Traits: IsolatedFromAbove, NoTerminator, SingleBlock, SlangSemanticASTNode, SymbolTable

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.untyped_type (::talos::slangir::UntypedTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.untyped_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.virtual_interface_type (::talos::slangir::VirtualInterfaceTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.virtual_interface_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

slang.type.void_type (::talos::slangir::VoidTypeOp)

Concrete elaborated slang semantic AST node

Syntax:

operation ::= `slang.type.void_type` $sym_name attr-dict-with-keyword $body

Traits: NoTerminator, SingleBlock, SlangSemanticASTNode

Interfaces: Symbol

Attributes:

Attribute	MLIR Type	Description
node_id	::mlir::IntegerAttr	64-bit signless integer attribute
source_range	::mlir::TypeAttr	any type attribute
original_source_range	::mlir::TypeAttr	any type attribute
macro_expansion_stack	::mlir::ArrayAttr	Array of dictionary attributes
source_file	::mlir::StringAttr	string attribute
source_end_line	::mlir::IntegerAttr	64-bit signless integer attribute
source_end_column	::mlir::IntegerAttr	64-bit signless integer attribute
macro_name	::mlir::StringAttr	string attribute
sym_name	::mlir::StringAttr	string attribute
name	::mlir::StringAttr	string attribute
hierarchical_name	::mlir::StringAttr	string attribute
semantic_type	::mlir::TypeAttr	any type attribute

Types

AggregateType

Named packed or unpacked struct or union

Syntax:

!slang.aggregate<
  ::mlir::StringAttr,   # name
  bool,   # isPacked
  bool,   # isUnion
  bool,   # isTagged
  bool,   # isSigned
  bool,   # isFourState
  bool,   # isSoft
  uint64_t,   # bitWidth
  uint64_t,   # selectableWidth
  uint64_t,   # bitstreamWidth
  uint32_t,   # tagBits
  ::mlir::ArrayAttr   # fields
>

Parameters:

Parameter	C++ type	Description
name	::mlir::StringAttr
isPacked	bool
isUnion	bool
isTagged	bool
isSigned	bool
isFourState	bool
isSoft	bool
bitWidth	uint64_t
selectableWidth	uint64_t
bitstreamWidth	uint64_t
tagBits	uint32_t
fields	::mlir::ArrayAttr

AssociativeArrayType

Syntax:

!slang.associative_array<
  ::mlir::Type,   # elementType
  ::mlir::Type,   # indexType
  bool   # wildcardIndex
>

Parameters:

Parameter	C++ type	Description
elementType	::mlir::Type
indexType	::mlir::Type
wildcardIndex	bool

ChandleType

Syntax: !slang.chandle

ClassHandleType

Syntax:

!slang.class_handle<
  ::mlir::SymbolRefAttr   # className
>

Parameters:

Parameter	C++ type	Description
className	::mlir::SymbolRefAttr

CovergroupHandleType

Syntax:

!slang.covergroup_handle<
  ::mlir::SymbolRefAttr   # covergroupName
>

Parameters:

Parameter	C++ type	Description
covergroupName	::mlir::SymbolRefAttr

DynamicArrayType

Syntax:

!slang.dynamic_array<
  ::mlir::Type   # elementType
>

Parameters:

Parameter	C++ type	Description
elementType	::mlir::Type

EnumType

Syntax:

!slang.enum<
  ::mlir::StringAttr,   # name
  ::mlir::Type   # baseType
>

Parameters:

Parameter	C++ type	Description
name	::mlir::StringAttr
baseType	::mlir::Type

ErrorType

Syntax:

!slang.error<
  bool   # invalid
>

Parameters:

Parameter	C++ type	Description
invalid	bool

EventType

Syntax: !slang.event

IntegralType

Range- and signedness-preserving two- or four-state integral

Syntax:

!slang.integral<
  unsigned,   # width
  bool,   # isSigned
  bool,   # isFourState
  int64_t,   # left
  int64_t,   # right
  ::talos::slangir::IntegralFlavor   # flavor
>

Parameters:

Parameter	C++ type	Description
width	unsigned
isSigned	bool
isFourState	bool
left	int64_t
right	int64_t
flavor	::talos::slangir::IntegralFlavor	an enum of type IntegralFlavor

NullType

Syntax: !slang.null

OpenArrayType

Syntax:

!slang.open_array<
  ::mlir::Type,   # elementType
  bool   # isPacked
>

Parameters:

Parameter	C++ type	Description
elementType	::mlir::Type
isPacked	bool

PackedArrayType

Syntax:

!slang.packed_array<
  ::mlir::Type,   # elementType
  int64_t,   # left
  int64_t   # right
>

Parameters:

Parameter	C++ type	Description
elementType	::mlir::Type
left	int64_t
right	int64_t

PropertyType

Syntax: !slang.property

QueueType

Syntax:

!slang.queue<
  ::mlir::Type,   # elementType
  uint32_t   # bound
>

Parameters:

Parameter	C++ type	Description
elementType	::mlir::Type
bound	uint32_t

RealType

SystemVerilog IEEE double precision real

Syntax: !slang.real

RealtimeType

SystemVerilog realtime type

Syntax: !slang.realtime

SequenceType

Syntax: !slang.sequence

ShortRealType

SystemVerilog IEEE single precision shortreal

Syntax: !slang.shortreal

SourceRangeType

Syntax:

!slang.source_range<
  ::mlir::StringAttr,   # startFile
  uint32_t,   # startLine
  uint32_t,   # startColumn
  ::mlir::StringAttr,   # endFile
  uint32_t,   # endLine
  uint32_t,   # endColumn
  ::mlir::StringAttr   # macroName
>

Parameters:

Parameter	C++ type	Description
startFile	::mlir::StringAttr
startLine	uint32_t
startColumn	uint32_t
endFile	::mlir::StringAttr
endLine	uint32_t
endColumn	uint32_t
macroName	::mlir::StringAttr

StringType

SystemVerilog dynamically sized string

Syntax: !slang.string

SubroutineType

Syntax:

!slang.subroutine<
  ::mlir::Type,   # signature
  bool   # isTask
>

Parameters:

Parameter	C++ type	Description
signature	::mlir::Type
isTask	bool

TimeType

Syntax: !slang.time

TypeReferenceType

Syntax: !slang.type_reference

UnboundedType

Syntax: !slang.unbounded

UnpackedArrayType

Syntax:

!slang.unpacked_array<
  ::mlir::Type,   # elementType
  int64_t,   # left
  int64_t   # right
>

Parameters:

Parameter	C++ type	Description
elementType	::mlir::Type
left	int64_t
right	int64_t

UntypedType

Syntax: !slang.untyped

VirtualInterfaceType

Syntax:

!slang.virtual_interface<
  ::mlir::SymbolRefAttr,   # interfaceName
  ::mlir::StringAttr   # modport
>

Parameters:

Parameter	C++ type	Description
interfaceName	::mlir::SymbolRefAttr
modport	::mlir::StringAttr

VoidType

Syntax: !slang.void

Enums

ArgumentDirection

SystemVerilog port or argument direction

Cases:

Symbol	Value	String
In	0	in
Out	1	out
InOut	2	inout
Ref	3	ref

AssertionAbortAction

Accept or reject property abort action

Cases:

Symbol	Value	String
Accept	0	accept
Reject	1	reject

AssertionBinaryOperator

SystemVerilog binary sequence or property operator

Cases:

Symbol	Value	String
And	0	and
Or	1	or
Intersect	2	intersect
Throughout	3	throughout
Within	4	within
Iff	5	iff
Until	6	until
SUntil	7	s_until
UntilWith	8	until_with
SUntilWith	9	s_until_with
Implies	10	implies
OverlappedImplication	11	overlapped_implication
NonOverlappedImplication	12	nonoverlapped_implication
OverlappedFollowedBy	13	overlapped_followed_by
NonOverlappedFollowedBy	14	nonoverlapped_followed_by

AssertionKind

Immediate or concurrent assertion directive kind

Cases:

Symbol	Value	String
Assert	0	assert
Assume	1	assume
CoverProperty	2	cover_property
CoverSequence	3	cover_sequence
Restrict	4	restrict
Expect	5	expect

AssertionStrength

Strong or weak property qualification

Cases:

Symbol	Value	String
Strong	0	strong
Weak	1	weak

AssertionUnaryOperator

SystemVerilog unary sequence or property operator

Cases:

Symbol	Value	String
Not	0	not
NextTime	1	nexttime
SNextTime	2	s_nexttime
Always	3	always
SAlways	4	s_always
Eventually	5	eventually
SEventually	6	s_eventually

AssignmentKind

SystemVerilog assignment scheduling kind

Cases:

Symbol	Value	String
Blocking	0	blocking
Nonblocking	1	nonblocking

BinaryOperator

Elaborated SystemVerilog binary operator

Cases:

Symbol	Value	String
Add	0	add
Subtract	1	subtract
Multiply	2	multiply
Divide	3	divide
Mod	4	mod
BinaryAnd	5	binary_and
BinaryOr	6	binary_or
BinaryXor	7	binary_xor
BinaryXnor	8	binary_xnor
Equality	9	equality
Inequality	10	inequality
CaseEquality	11	case_equality
CaseInequality	12	case_inequality
GreaterThanEqual	13	greater_than_equal
GreaterThan	14	greater_than
LessThanEqual	15	less_than_equal
LessThan	16	less_than
WildcardEquality	17	wildcard_equality
WildcardInequality	18	wildcard_inequality
LogicalAnd	19	logical_and
LogicalOr	20	logical_or
LogicalImplication	21	logical_implication
LogicalEquivalence	22	logical_equivalence
LogicalShiftLeft	23	logical_shift_left
LogicalShiftRight	24	logical_shift_right
ArithmeticShiftLeft	25	arithmetic_shift_left
ArithmeticShiftRight	26	arithmetic_shift_right
Power	27	power

CaseCondition

SystemVerilog case matching mode

Cases:

Symbol	Value	String
Normal	0	normal
WildcardXOrZ	1	wildcard_x_or_z
WildcardJustZ	2	wildcard_just_z
Inside	3	inside

ChargeStrength

SystemVerilog trireg charge strength

Cases:

Symbol	Value	String
Small	0	small
Medium	1	medium
Large	2	large

CoverageBinChildRole

Semantic role of a direct coverage-bin child

Cases:

Symbol	Value	String
Iff	0	iff
NumberOfBins	1	number_of_bins
SetCoverage	2	set_coverage
With	3	with
CrossSelect	4	cross_select
Value	5	value
TransitionItem	6	transition_item
TransitionRepeatFrom	7	transition_repeat_from
TransitionRepeatTo	8	transition_repeat_to

CoverageBinKind

Coverage bin classification

Cases:

Symbol	Value	String
Bins	0	bins
IllegalBins	1	illegal_bins
IgnoreBins	2	ignore_bins

CoverageBlockEventKind

Begin or end block sampling event

Cases:

Symbol	Value	String
Begin	0	begin
End	1	end

CoverageEventKind

Declared covergroup sampling form

Cases:

Symbol	Value	String
None	0	none
Clocking	1	clocking
CustomSample	2	custom_sample
Block	3	block
Inherited	4	inherited

CoverageExpressionRole

Semantic role of a coverpoint or cross expression child

Cases:

Symbol	Value	String
Sample	0	sample
Iff	1	iff

CoverageOptionKind

Standard coverage option identity

Cases:

Symbol	Value	String
Name	0	name
Weight	1	weight
Goal	2	goal
Comment	3	comment
AtLeast	4	at_least
AutoBinMax	5	auto_bin_max
CrossNumPrintMissing	6	cross_num_print_missing
CrossRetainAutoBins	7	cross_retain_auto_bins
DetectOverlap	8	detect_overlap
PerInstance	9	per_instance
GetInstCoverage	10	get_inst_coverage
Strobe	11	strobe
MergeInstances	12	merge_instances
DistributeFirst	13	distribute_first
RealInterval	14	real_interval

CoverageOptionOwnerKind

Coverage construct that owns a definition-time option setter

Cases:

Symbol	Value	String
Covergroup	0	covergroup
Coverpoint	1	coverpoint
Cross	2	cross

CoverageOptionScopeKind

Instance option or covergroup type option

Cases:

Symbol	Value	String
Instance	0	instance
Type	1	type

CoverageSelectBinaryOperator

Binary coverage-bin selection operator

Cases:

Symbol	Value	String
And	0	and
Or	1	or

CoverageSelectUnaryOperator

Unary coverage-bin selection operator

Cases:

Symbol	Value	String
Negation	0	negation

CoverageTransitionRepeatKind

Coverage transition repetition kind

Cases:

Symbol	Value	String
None	0	none
Consecutive	1	consecutive
Nonconsecutive	2	nonconsecutive
GoTo	3	goto

DefinitionKind

SystemVerilog design-unit definition kind

Cases:

Symbol	Value	String
Module	0	module
Interface	1	interface
Program	2	program

DriveStrength

SystemVerilog drive strength for one logic polarity

Cases:

Symbol	Value	String
Supply	0	supply
Strong	1	strong
Pull	2	pull
Weak	3	weak
HighZ	4	highz

DynamicCastKind

Elaborated SystemVerilog dynamic-cast behavior

Cases:

Symbol	Value	String
AlwaysSuccess	0	always_success
AlwaysFail	1	always_fail
EnumMembership	2	enum_membership
ClassRuntime	3	class_runtime

EdgeKind

Elaborated event edge

Cases:

Symbol	Value	String
None	0	none
PosEdge	1	posedge
NegEdge	2	negedge
BothEdges	3	both_edges

IntegralFlavor

Declared SystemVerilog integral spelling

Cases:

Symbol	Value	String
Generic	0	generic
Bit	1	bit
Logic	2	logic
Reg	3	reg
ShortInt	4	shortint
Int	5	int
LongInt	6	longint
Byte	7	byte
Integer	8	integer
Time	9	time

NetExpansionHint

Explicit SystemVerilog net vector expansion request

Cases:

Symbol	Value	String
None	0	none
Vectored	1	vectored
Scalared	2	scalared

NetKind

SystemVerilog net resolution kind

Cases:

Symbol	Value	String
Unknown	0	unknown
Wire	1	wire
WAnd	2	wand
WOr	3	wor
Tri	4	tri
TriAnd	5	triand
TriOr	6	trior
Tri0	7	tri0
Tri1	8	tri1
TriReg	9	trireg
Supply0	10	supply0
Supply1	11	supply1
UWire	12	uwire
Interconnect	13	interconnect
UserDefined	14	user_defined

PortConnectionKind

Elaborated port association provenance

Cases:

Symbol	Value	String
Ordered	0	ordered
Named	1	named
Implicit	2	implicit
Wildcard	3	wildcard
Omitted	4	omitted
ExplicitOpen	5	explicit_open
Default	6	default

ProceduralBlockKind

SystemVerilog procedural block kind

Cases:

Symbol	Value	String
Initial	0	initial
Final	1	final
Always	2	always
AlwaysComb	3	always_comb
AlwaysLatch	4	always_latch
AlwaysFF	5	always_ff

RandMode

SystemVerilog randomization mode

Cases:

Symbol	Value	String
None	0	none
Rand	1	rand
RandC	2	randc

RangeSelectionKind

SystemVerilog packed range selection kind

Cases:

Symbol	Value	String
Simple	0	simple
IndexedUp	1	indexed_up
IndexedDown	2	indexed_down

SequenceRepetitionKind

SystemVerilog sequence repetition kind

Cases:

Symbol	Value	String
Consecutive	0	consecutive
Nonconsecutive	1	nonconsecutive
GoTo	2	goto

StatementBlockKind

SystemVerilog sequential or parallel statement block kind

Cases:

Symbol	Value	String
Sequential	0	sequential
JoinAll	1	join_all
JoinAny	2	join_any
JoinNone	3	join_none

SubroutineKind

SystemVerilog function or task kind

Cases:

Symbol	Value	String
Function	0	function
Task	1	task

UnaryOperator

Elaborated SystemVerilog unary operator

Cases:

Symbol	Value	String
Plus	0	plus
Minus	1	minus
BitwiseNot	2	bitwise_not
BitwiseAnd	3	bitwise_and
BitwiseOr	4	bitwise_or
BitwiseXor	5	bitwise_xor
BitwiseNand	6	bitwise_nand
BitwiseNor	7	bitwise_nor
BitwiseXnor	8	bitwise_xnor
LogicalNot	9	logical_not
Preincrement	10	preincrement
Predecrement	11	predecrement
Postincrement	12	postincrement
Postdecrement	13	postdecrement

UniquePriorityCheck

Unique or priority runtime check

Cases:

Symbol	Value	String
None	0	none
Unique	1	unique
Unique0	2	unique0
Priority	3	priority

ValueRangeKind

Kind of membership value range

Cases:

Symbol	Value	String
Simple	0	simple
AbsoluteTolerance	1	absolute_tolerance
RelativeTolerance	2	relative_tolerance

VariableLifetime

SystemVerilog variable storage lifetime

Cases:

Symbol	Value	String
Automatic	0	automatic
Static	1	static

Visibility

SystemVerilog class member visibility

Cases:

Symbol	Value	String
Public	0	public
Protected	1	protected
Local	2	local