'sv' Dialect

Types and operations for SV dialect

This dialect defines the sv dialect, which represents various SystemVerilog-specific constructs in an AST-like representation.

Operations

sv.alias (::circt::sv::AliasOp)

SystemVerilog ‘alias’ statement

Syntax:

operation ::= `sv.alias` $aliases attr-dict `:` qualified(type($aliases))

An alias statement declares multiple names for the same physical net, or bits within a net. Aliases always have at least two operands.

Operands:

sv.always (::circt::sv::AlwaysOp)

‘always @’ block

Syntax:

operation ::= `sv.always` custom<EventList>($events, $clocks) $body attr-dict

See SV Spec 9.2, and 9.4.2.2.

Traits: NoRegionArguments, NoTerminator, NonProceduralOp, ProceduralRegion, RecursiveMemoryEffects, RecursivelySpeculatableImplTrait, SingleBlock

Interfaces: ConditionallySpeculatable

Attributes:

Operands:

sv.alwayscomb (::circt::sv::AlwaysCombOp)

‘alwayscomb block

Syntax:

operation ::= `sv.alwayscomb` $body attr-dict

See SV Spec 9.2, and 9.2.2.2.

Traits: NoRegionArguments, NoTerminator, NonProceduralOp, ProceduralRegion, RecursiveMemoryEffects, RecursivelySpeculatableImplTrait, SingleBlock

Interfaces: ConditionallySpeculatable

sv.alwaysff (::circt::sv::AlwaysFFOp)

‘alwaysff @’ block with optional reset

Syntax:

operation ::= `sv.alwaysff` `(` $clockEdge $clock `)` $bodyBlk
              ( `(` $resetStyle `:` $resetEdge^ $reset `)` $resetBlk )? attr-dict

alwaysff blocks represent always_ff verilog nodes, which enforce inference of registers. This block takes a clock signal and edge sensitivity and reset type. If the reset type is anything but ’noreset’, the block takes a reset signal, reset sensitivity, and reset block. Appropriate if conditions are generated in the output code based on the reset type. A negative-edge, asynchronous reset will check the inverse of the reset condition (if (!reset) begin resetblock end) to match the sensitivity.

Traits: NoRegionArguments, NoTerminator, NonProceduralOp, ProceduralRegion, RecursiveMemoryEffects, RecursivelySpeculatableImplTrait, SingleBlock

Interfaces: ConditionallySpeculatable

Attributes:

Operands:

sv.array_index_inout (::circt::sv::ArrayIndexInOutOp)

Index an inout memory to produce an inout element

Syntax:

operation ::= `sv.array_index_inout` $input`[`$index`]` attr-dict `:` qualified(type($input)) `,` qualified(type($index))

See SV Spec 11.5.2.

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, InferTypeOpInterface, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Operands:

Results:

sv.assert (::circt::sv::AssertOp)

Immediate assertion statement

Syntax:

operation ::= `sv.assert` $expression `,` $defer
              (`label` $label^)?
              (`message` $message^ (`(` $substitutions^ `)` `:`
              qualified(type($substitutions)))?)? attr-dict

Specify that a Boolean expression is always true. This can be used to both document the behavior of the design and to test that the design behaves as expected. See Section 16.3 of the SystemVerilog 2017 specification.

Traits: ProceduralOp

Attributes:

Operands:

sv.assert.concurrent (::circt::sv::AssertConcurrentOp)

Concurrent assertion statement, i.e., assert property

Syntax:

operation ::= `sv.assert.concurrent` $event $clock `,` $property
              (`label` $label^)?
              (`message` $message^ (`(` $substitutions^ `)` `:`
              qualified(type($substitutions)))?)? attr-dict

Specify that a property of the hardware design is true whenever the property is evaluated. This can be used to both document the behavior of the design and to test that the design behaves as expected. See section 16.5 of the SystemVerilog 2017 specification.

Attributes:

Operands:

sv.assert_property (::circt::sv::AssertPropertyOp)

Property assertion – can be disabled and clocked

Syntax:

operation ::= `sv.assert_property` $property (`on` $event^)? ($clock^)? (`disable_iff` $disable^)?
              (`label` $label^)? attr-dict `:` type($property)

Assert that a given SVA-style property holds. This is only checked when the disable signal is low and a clock event occurs. This is analogous to the verif.assert operation, but with a flipped enable polarity.

Traits: AttrSizedOperandSegments

Attributes:

Operands:

sv.assign (::circt::sv::AssignOp)

Continuous assignment

Syntax:

operation ::= `sv.assign` $dest `,` $src attr-dict `:` qualified(type($src))

A SystemVerilog assignment statement ‘x = y;’. These occur in module scope. See SV Spec 10.3.2.

Traits: NonProceduralOp

Operands:

sv.assume (::circt::sv::AssumeOp)

Immediate assume statement

Syntax:

operation ::= `sv.assume` $expression `,` $defer
              (`label` $label^)?
              (`message` $message^ (`(` $substitutions^ `)` `:`
              qualified(type($substitutions)))?)? attr-dict

Specify that a Boolean expression is assumed to always be true. This can either be used as an assertion-like check that the expression is, in fact, always true or to bound legal input values during testing. See Section 16.3 of the SystemVerilog 2017 specification.

Traits: ProceduralOp

Attributes:

Operands:

sv.assume.concurrent (::circt::sv::AssumeConcurrentOp)

Concurrent assume statement, i.e., assume property

Syntax:

operation ::= `sv.assume.concurrent` $event $clock `,` $property
              (`label` $label^)?
              (`message` $message^ (`(` $substitutions^ `)` `:`
              qualified(type($substitutions)))?)? attr-dict

Specify that a property is assumed to be true whenever the property is evaluated. This can be used to both document the behavior of the design and to test that the design behaves as expected. See section 16.5 of the SystemVerilog 2017 specification.

Attributes:

Operands:

sv.assume_property (::circt::sv::AssumePropertyOp)

Property assumption – can be disabled and clocked

Syntax:

operation ::= `sv.assume_property` $property (`on` $event^)? ($clock^)? (`disable_iff` $disable^)?
              (`label` $label^)? attr-dict `:` type($property)

Assume that a given SVA-style property holds. This is only considered when the disable signal is low and a clock event occurs. This is analogous to the verif.assume operation, but with a flipped enable polarity.

Traits: AttrSizedOperandSegments

Attributes:

Operands:

sv.bind (::circt::sv::BindOp)

Indirect instantiation statement

Syntax:

operation ::= `sv.bind` $instance attr-dict

Indirectly instantiate a module from the context of another module. BindOp pairs with a hw.instance (identified by a boundInstance symbol) which tracks all information except the emission point for the bind. BindOp also tracks the instanceModule symbol for the hw.module that contains the hw.instance to accelerate symbol lookup.

See 23.11 of SV 2017 spec for more information about bind.

Interfaces: SymbolUserOpInterface

Attributes:

sv.bind.interface (::circt::sv::BindInterfaceOp)

Indirectly instantiate an interface

Syntax:

operation ::= `sv.bind.interface` $instance attr-dict

Indirectly instantiate an interface in the context of another module. This operation must pair with a sv.interface.instance.

Interfaces: SymbolUserOpInterface

Attributes:

sv.bpassign (::circt::sv::BPAssignOp)

Blocking procedural assignment

Syntax:

operation ::= `sv.bpassign` $dest `,` $src  attr-dict `:` qualified(type($src))

A SystemVerilog blocking procedural assignment statement ‘x = y;’. These occur in initial, always, task, and function blocks. The statement is executed before any following statements are. See SV Spec 10.4.1.

Traits: ProceduralOp

Operands:

sv.case (::circt::sv::CaseOp)

‘case (cond)’ block

See SystemVerilog 2017 12.5.

Traits: NoRegionArguments, NoTerminator, ProceduralOp, ProceduralRegion, SingleBlock

Attributes:

Operands:

sv.constantStr (::circt::sv::ConstantStrOp)

A constant of string value

Syntax:

operation ::= `sv.constantStr` $str attr-dict

This operation produces a constant string literal.

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, InferTypeOpInterface, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Attributes:

Results:

sv.constantX (::circt::sv::ConstantXOp)

A constant of value ‘x’

Syntax:

operation ::= `sv.constantX` attr-dict `:` qualified(type($result))

This operation produces a constant value of ‘x’. This ‘x’ follows the System Verilog rules for ‘x’ propagation.

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, HasCustomSSAName, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Results:

sv.constantZ (::circt::sv::ConstantZOp)

A constant of value ‘z’

Syntax:

operation ::= `sv.constantZ` attr-dict `:` qualified(type($result))

This operation produces a constant value of ‘z’. This ‘z’ follows the System Verilog rules for ‘z’ propagation.

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, HasCustomSSAName, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Results:

sv.cover (::circt::sv::CoverOp)

Immediate cover statement

Syntax:

operation ::= `sv.cover` $expression `,` $defer
              (`label` $label^)?
              (`message` $message^ (`(` $substitutions^ `)` `:`
              qualified(type($substitutions)))?)? attr-dict

Specify that a Boolean expression should be monitored for coverage, i.e., a simulator will watch if it occurs and how many times it occurs. See section 16.3 of the SystemVerilog 2017 specification.

Traits: ProceduralOp

Attributes:

Operands:

sv.cover.concurrent (::circt::sv::CoverConcurrentOp)

Concurrent cover statement, i.e., cover property

Syntax:

operation ::= `sv.cover.concurrent` $event $clock `,` $property
              (`label` $label^)?
              (`message` $message^ (`(` $substitutions^ `)` `:`
              qualified(type($substitutions)))?)? attr-dict

Specify that a specific property should be monitored for coverage, i.e., a simulation will watch if it occurrs and how many times it occurs. See section 16.5 of the SystemVerilog 2017 specification.

Attributes:

Operands:

sv.cover_property (::circt::sv::CoverPropertyOp)

Property cover point – can be disabled and clocked

Syntax:

operation ::= `sv.cover_property` $property (`on` $event^)? ($clock^)? (`disable_iff` $disable^)?
              (`label` $label^)? attr-dict `:` type($property)

Cover when a given SVA-style property holds. This is only checked when the disable signal is low and a clock event occurs. This is analogous to the verif.cover operation, but with a flipped enable polarity.

Traits: AttrSizedOperandSegments

Attributes:

Operands:

sv.error (::circt::sv::ErrorOp)

$error severity message task

Syntax:

operation ::= `sv.error` ($message^ (`(` $substitutions^ `)` `:` qualified(type($substitutions)))?)?
              attr-dict

This system task indicates a run-time error.

If present, the optional message is printed with any additional operands interpolated into the message string.

Traits: ProceduralOp

Attributes:

Operands:

sv.exit (::circt::sv::ExitOp)

$exit system task

Syntax:

operation ::= `sv.exit` attr-dict

Waits for all program blocks to complete and then makes an implicit call to $finish with default verbosity (level 1) to conclude the simulation.

Traits: ProceduralOp

sv.fatal (::circt::sv::FatalOp)

$fatal severity message task

Syntax:

operation ::= `sv.fatal` $verbosity
              (`,` $message^ (`(` $substitutions^ `)` `:`
              qualified(type($substitutions)))?)? attr-dict

Generates a run-time fatal error which terminates the simulation with an error code. Makes an implicit call to $finish, forwarding the verbosity operand. If present, the optional message is printed with any additional operands interpolated into the message string.

Traits: ProceduralOp

Attributes:

Operands:

sv.finish (::circt::sv::FinishOp)

$finish system task

Syntax:

operation ::= `sv.finish` $verbosity attr-dict

Stops the simulation and exits/terminates the simulator process. In practice most GUI-based simulators will show a prompt to the user offering them an opportunity to not close the simulator altogether.

Other tasks such as $exit or $fatal implicitly call this system task.

The optional verbosity parameter controls how much diagnostic information is printed when the system task is executed (see section 20.2 of IEEE 1800-2017):

• 0: Prints nothing
• 1: Prints simulation time and location (default)
• 2: Prints simulation time, location, and statistics about the memory and CPU time used in simulation

Traits: ProceduralOp

Attributes:

sv.for (::circt::sv::ForOp)

System verilog for loop

The sv.for operation in System Verilog defines a for statement that requires three SSA operands: lowerBounds, upperBound, and step. It functions similarly to scf.for, where the loop iterates the induction variable from lowerBound to upperBound with a step size of step, i.e:

 for (logic ... indVar = lowerBound; indVar < upperBound; indVar += step) begin
 end

It’s important to note that since we are using a bit precise type instead of a Verilog integer type, users must be cautious about potential overflow. For example, if you wish to iterate over all 2-bit values, you must use a 3-bit value as the induction variable type.

Traits: NoTerminator, ProceduralOp, ProceduralRegion, SingleBlock

Interfaces: OpAsmOpInterface

Attributes:

Operands:

sv.force (::circt::sv::ForceOp)

Force procedural statement

Syntax:

operation ::= `sv.force` $dest `,` $src  attr-dict `:` qualified(type($src))

A SystemVerilog force procedural statement ‘force x = y;’. These occur in initial, always, task, and function blocks. A force statement shall override a procedural assignment until a release statement is executed on the variable. The left-hand side of the assignment can be a variable, a net, a constant bit-select of a vector net, a part-select of a vector net or a concatenation. It cannot be a memory word or a bit-select or part-select of a vector variable. See SV Spec 10.6.2.

Traits: ProceduralOp

Operands:

sv.func (::circt::sv::FuncOp)

A SystemVerilog function

sv.func represents SystemVerilog function in IEEE 1800-2017 section 13.4 “Functions”. Similar to HW module, it’s allowed to mix the order of input and output arguments. sv.func can be used for both function declaration and definition, i.e. a function without a body region is a declaration.

In SV there are two representations for function results, “output argument” and “return value”. Currently an output argument is considered as as a return value if it’s is the last argument and has a special attribute sv.func.explicitly_returned.

Traits: HasParent<mlir::ModuleOp>, IsolatedFromAbove, ProceduralRegion

Interfaces: CallableOpInterface, Emittable, FunctionOpInterface, HWEmittableModuleLike, HWModuleLike, InstanceGraphModuleOpInterface, OpAsmOpInterface, PortList, Symbol

Attributes:

sv.func.call (::circt::sv::FuncCallOp)

Function call in a non-procedural region

Syntax:

operation ::= `sv.func.call` $callee `(` $inputs `)` attr-dict `:` functional-type($inputs, results)

This op represents a function call in a non-procedural region. A function call in a non-procedural region must have a return value and no output argument.

Traits: NonProceduralOp

Interfaces: CallOpInterface, SymbolUserOpInterface

Attributes:

Operands:

Results:

sv.func.call.procedural (::circt::sv::FuncCallProceduralOp)

Function call in a procedural region

Syntax:

operation ::= `sv.func.call.procedural` $callee `(` $inputs `)` attr-dict `:` functional-type($inputs, results)

Traits: ProceduralOp

Interfaces: CallOpInterface, SymbolUserOpInterface

Attributes:

Operands:

Results:

sv.func.dpi.import (::circt::sv::FuncDPIImportOp)

DPI import statement

Syntax:

operation ::= `sv.func.dpi.import` (`linkage` $linkage_name^)? $callee attr-dict

sv.func.dpi.import represents DPI function import statement defined in IEEE 1800-2017 section 35.4.

Interfaces: SymbolUserOpInterface

Attributes:

sv.fwrite (::circt::sv::FWriteOp)

’$fwrite’ statement

Syntax:

operation ::= `sv.fwrite` $fd `,` $format_string attr-dict (`(` $substitutions^ `)` `:`
              qualified(type($substitutions)))?

Traits: ProceduralOp

Attributes:

Operands:

sv.generate (::circt::sv::GenerateOp)

A generate block

Syntax:

operation ::= `sv.generate` $sym_name attr-dict `:` $body

See SystemVerilog 2017 27.

Traits: NoRegionArguments, NoTerminator, SingleBlock

Attributes:

sv.generate.case (::circt::sv::GenerateCaseOp)

A ‘case’ statement inside of a generate block

Syntax:

operation ::= `sv.generate.case` $cond attr-dict ` ` `[`
              custom<CaseRegions>($casePatterns, $caseNames, $caseRegions)
              `]`

See SystemVerilog 2017 27.5.

Traits: HasParent<GenerateOp>, NoRegionArguments, NoTerminator, SingleBlock

Attributes:

sv.if (::circt::sv::IfOp)

‘if (cond)’ block

Syntax:

operation ::= `sv.if` $cond $thenRegion (`else` $elseRegion^)? attr-dict

Traits: NoRegionArguments, NoTerminator, ProceduralOp, ProceduralRegion, SingleBlock

Operands:

sv.ifdef (::circt::sv::IfDefOp)

‘ifdef MACRO’ block

Syntax:

operation ::= `sv.ifdef` $cond $thenRegion (`else` $elseRegion^)? attr-dict

This operation is an #ifdef block, which has a “then” and “else” region. This operation is for non-procedural regions and its body is non-procedural.

Traits: NoRegionArguments, NoTerminator, NonProceduralOp, SingleBlock

Interfaces: SymbolUserOpInterface

Attributes:

sv.ifdef.procedural (::circt::sv::IfDefProceduralOp)

‘ifdef MACRO’ block for procedural regions

Syntax:

operation ::= `sv.ifdef.procedural` $cond $thenRegion (`else` $elseRegion^)? attr-dict

This operation is an #ifdef block, which has a “then” and “else” region. This operation is for procedural regions and its body is procedural.

Traits: NoRegionArguments, NoTerminator, ProceduralOp, ProceduralRegion, SingleBlock

Interfaces: SymbolUserOpInterface

Attributes:

sv.indexed_part_select (::circt::sv::IndexedPartSelectOp)

Read several contiguous bits of an int type.This is an indexed part-select operator.The base is an integer expression and the width is an integer constant. The bits start from base and the number of bits selected is equal to width. If $decrement is true, then part select decrements starting from $base.See SV Spec 11.5.1.

Syntax:

operation ::= `sv.indexed_part_select` $input`[`$base (`decrement` $decrement^)?`:` $width`]` attr-dict `:` qualified(type($input)) `,` qualified(type($base))

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, InferTypeOpInterface, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Attributes:

Operands:

Results:

sv.indexed_part_select_inout (::circt::sv::IndexedPartSelectInOutOp)

Address several contiguous bits of an inout type (e.g. a wire or inout port). This is an indexed part-select operator.The base is an integer expression and the width is an integer constant. The bits start from base and the number of bits selected is equal to width. If $decrement is true, then part select decrements starting from $base.See SV Spec 11.5.1.

Syntax:

operation ::= `sv.indexed_part_select_inout` $input`[`$base (`decrement` $decrement^)?`:` $width`]` attr-dict `:` qualified(type($input)) `,` qualified(type($base))

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, InferTypeOpInterface, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Attributes:

Operands:

Results:

sv.info (::circt::sv::InfoOp)

$info severity message task

Syntax:

operation ::= `sv.info` ($message^ (`(` $substitutions^ `)` `:` qualified(type($substitutions)))?)?
              attr-dict

This system task indicates a message with no specific severity.

If present, the optional message is printed with any additional operands interpolated into the message string.

Traits: ProceduralOp

Attributes:

Operands:

sv.initial (::circt::sv::InitialOp)

‘initial’ block

Syntax:

operation ::= `sv.initial` $body attr-dict

See SV Spec 9.2.1.

Traits: NoRegionArguments, NoTerminator, NonProceduralOp, ProceduralRegion, RecursiveMemoryEffects, RecursivelySpeculatableImplTrait, SingleBlock

Interfaces: ConditionallySpeculatable

sv.interface (::circt::sv::InterfaceOp)

Operation to define a SystemVerilog interface

Syntax:

operation ::= `sv.interface` $sym_name attr-dict-with-keyword $body

This operation defines a named interface. Its name is a symbol that can be looked up when declared inside a SymbolTable operation. This operation is also a SymbolTable itself, so the symbols in its region can be looked up.

Example:

sv.interface @myinterface {
  sv.interface.signal @data : i32
  sv.interface.modport @input_port (input @data)
  sv.interface.modport @output_port (output @data)
}

Traits: NoTerminator, SingleBlock, SymbolTable

Interfaces: Symbol

Attributes:

sv.interface.instance (::circt::sv::InterfaceInstanceOp)

Instantiate an interface

Syntax:

operation ::= `sv.interface.instance` (`sym` $inner_sym^)? `` custom<ImplicitSSAName>($name) attr-dict
              `:` qualified(type($result))

Use this to declare an instance of an interface:

%iface = sv.interface.instance : !sv.interface<@handshake_example>

Interfaces: HasCustomSSAName, InnerSymbolOpInterface, SymbolUserOpInterface

Attributes:

Results:

sv.interface.modport (::circt::sv::InterfaceModportOp)

Operation to define a SystemVerilog modport for interfaces

Syntax:

operation ::= `sv.interface.modport` attr-dict $sym_name custom<ModportStructs>($ports)

This operation defines a named modport within an interface. Its name is a symbol that can be looked up inside its parent interface. There is an array of structs that contains two fields: an enum to indicate the direction of the signal in the modport, and a symbol reference to refer to the signal.

Example:

sv.interface.modport @input_port (input @data)
sv.interface.modport @output_port (output @data)

Traits: HasParent<InterfaceOp>

Interfaces: Symbol

Attributes:

sv.interface.signal (::circt::sv::InterfaceSignalOp)

Operation to define a SystemVerilog signal for interfaces

Syntax:

operation ::= `sv.interface.signal` attr-dict $sym_name `:` $type

This operation defines a named signal within an interface. Its type is specified in an attribute, and currently supports IntegerTypes.

Example:

sv.interface.signal @data : i32

Traits: HasParent<InterfaceOp>

Interfaces: Symbol

Attributes:

sv.interface.signal.assign (::circt::sv::AssignInterfaceSignalOp)

Assign an interfaces signal to some other signal.

Syntax:

operation ::= `sv.interface.signal.assign` $iface `(` custom<IfaceTypeAndSignal>(type($iface), $signalName) `)`
              `=` $rhs attr-dict `:` qualified(type($rhs))

Use this to continuously assign a signal inside an interface to a value or other signal.

  sv.interface.signal.assign %iface(@handshake_example::@data)
    = %zero32 : i32

Would result in the following SystemVerilog:

  assign iface.data = zero32;

Attributes:

Operands:

sv.interface.signal.read (::circt::sv::ReadInterfaceSignalOp)

Access the data in an interface’s signal.

Syntax:

operation ::= `sv.interface.signal.read` $iface `(` custom<IfaceTypeAndSignal>(type($iface), $signalName) `)`
              attr-dict `:` qualified(type($signalData))

This is an expression to access a signal inside of an interface.

  %ifaceData = sv.interface.signal.read %iface
      (@handshake_example::@data) : i32

Could result in the following SystemVerilog:

  wire [31:0] ifaceData = iface.data;

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Attributes:

Operands:

Results:

sv.localparam (::circt::sv::LocalParamOp)

Declare a localparam

Syntax:

operation ::= `sv.localparam` `` custom<ImplicitSSAName>($name) attr-dict `:` qualified(type($result))

The localparam operation produces a localparam declaration. See SV spec 6.20.4 p125.

Traits: AlwaysSpeculatableImplTrait, FirstAttrDerivedResultType

Interfaces: ConditionallySpeculatable, HasCustomSSAName, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Attributes:

Results:

sv.logic (::circt::sv::LogicOp)

Define a logic

Syntax:

operation ::= `sv.logic` (`sym` $inner_sym^)? `` custom<ImplicitSSAName>($name) attr-dict
              `:` qualified(type($result))

Declare a SystemVerilog Variable Declaration of ’logic’ type. See SV Spec 6.8, pp100.

Interfaces: InnerSymbolOpInterface, OpAsmOpInterface

Attributes:

Results:

sv.macro.decl (::circt::sv::MacroDeclOp)

System verilog macro declaration

Syntax:

operation ::= `sv.macro.decl` $sym_name (`[` $verilogName^ `]`)? (`(` $args^ `)`)?  attr-dict

The sv.macro.def declares a macro in System Verilog. This is a declaration; the body of the macro, which produces a verilog macro definition is created with a macro.def operation.

Lacking args will be a macro without “()”. An empty args will be an empty “()”.

The verilog name is the spelling of the macro when emitting verilog.

Interfaces: Symbol

Attributes:

sv.macro.def (::circt::sv::MacroDefOp)

System verilog macro definition

Syntax:

operation ::= `sv.macro.def` $macroName $format_string (`(` $symbols^ `)`)? attr-dict

The sv.macro.def defines a macro in System Verilog which optionally takes a body.

This is modeled similarly to verbatim in that the contents of the macro are opaque (plain string). Given the general power of macros, this op does not try to capture a return type.

This operation produces a definition for the macro declaration referenced by sym_name. Argument lists are picked up from that operation.

sv.macro.def allows operand substitutions with {{0}} syntax.

Interfaces: SymbolUserOpInterface

Attributes:

sv.macro.ref (::circt::sv::MacroRefOp)

Statement to refer to a SystemVerilog macro

Syntax:

operation ::= `sv.macro.ref` $macroName (`(` $inputs^ `)` `:` type($inputs))? attr-dict

This operation represent a statement by referencing a named macro.

Interfaces: SymbolUserOpInterface

Attributes:

Operands:

sv.macro.ref.expr (::circt::sv::MacroRefExprOp)

Expression to refer to a SystemVerilog macro

Syntax:

operation ::= `sv.macro.ref.expr` $macroName `(` $inputs `)` attr-dict `:` functional-type($inputs, $result)

This operation produces a value by referencing a named macro.

Presently, it is assumed that the referenced macro is a constant with no side effects. This expression is subject to CSE. It can be duplicated and emitted inline by the Verilog emitter.

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, HasCustomSSAName, NoMemoryEffect (MemoryEffectOpInterface), SymbolUserOpInterface

Effects: MemoryEffects::Effect{}

Attributes:

Operands:

Results:

sv.macro.ref.expr.se (::circt::sv::MacroRefExprSEOp)

Expression to refer to a SystemVerilog macro

Syntax:

operation ::= `sv.macro.ref.expr.se` $macroName `(` $inputs `)` attr-dict `:` functional-type($inputs, $result)

This operation produces a value by referencing a named macro.

Presently, it is assumed that the referenced macro is not constant and has side effects. This expression is not subject to CSE. It can not be duplicated, but can be emitted inline by the Verilog emitter.

Interfaces: HasCustomSSAName, SymbolUserOpInterface

Attributes:

Operands:

Results:

sv.modport.get (::circt::sv::GetModportOp)

Get a modport out of an interface instance

Syntax:

operation ::= `sv.modport.get` $iface $field attr-dict `:` qualified(type($iface)) `->` qualified(type($result))

Use this to extract a modport view to an instantiated interface. For example, to get the ‘dataflow_in’ modport on the ‘handshake_example’ interface:

%ifaceModport = sv.modport.get @dataflow_in %iface :
  !sv.interface<@handshake_example> ->
  !sv.modport<@handshake_example::@dataflow_in>

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, NoMemoryEffect (MemoryEffectOpInterface), SymbolUserOpInterface

Effects: MemoryEffects::Effect{}

Attributes:

Operands:

Results:

sv.nonstandard.deposit (::circt::sv::DepositOp)

$deposit system task

Syntax:

operation ::= `sv.nonstandard.deposit` $dest `,` $src  attr-dict `:` qualified(type($src))

This system task sets the value of a net or variable, but doesn’t hold it. This is a common simulation vendor extension.

Traits: ProceduralOp, VendorExtension

Operands:

sv.ordered (::circt::sv::OrderedOutputOp)

A sub-graph region which guarantees to output statements in-order

Syntax:

operation ::= `sv.ordered` $body attr-dict

This operation groups operations into a region whose purpose is to force verilog emission to be statement-by-statement, in-order. This allows side-effecting operations, or macro expansions which applie to subsequent operations to be properly sequenced. This operation is for non-procedural regions and its body is non-procedural.

Traits: NoRegionArguments, NoTerminator, NonProceduralOp, SingleBlock

sv.passign (::circt::sv::PAssignOp)

Nonblocking procedural assignment

Syntax:

operation ::= `sv.passign` $dest `,` $src  attr-dict `:` qualified(type($src))

A SystemVerilog nonblocking procedural assignment statement ‘x <= y;’. These occur in initial, always, task, and function blocks. The statement can be scheduled without blocking procedural flow. See SV Spec 10.4.2.

Traits: ProceduralOp

Operands:

sv.read_inout (::circt::sv::ReadInOutOp)

Get the value of from something of inout type (e.g. a wire or inout port) as the value itself.

Syntax:

operation ::= `sv.read_inout` $input attr-dict `:` qualified(type($input))

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, InferTypeOpInterface, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Operands:

Results:

sv.readmem (::circt::sv::ReadMemOp)

Load a memory from a file in either binary or hex format

Syntax:

operation ::= `sv.readmem` $dest `,` $filename `,` $base attr-dict `:` qualified(type($dest))

Load a memory from a file using either $readmemh or $readmemb based on an attribute.

See Section 21.4 of IEEE 1800-2017 for more information.

Traits: ProceduralOp

Attributes:

Operands:

sv.reg (::circt::sv::RegOp)

Define a new reg in SystemVerilog

Syntax:

operation ::= `sv.reg` (`init` $init^)? (`sym` $inner_sym^)? `` custom<ImplicitSSAName>($name) attr-dict
              `:` qualified(type($result))
              custom<ImplicitInitType>(ref(type($result)),ref($init), type($init))

Declare a SystemVerilog Variable Declaration of ‘reg’ type. See SV Spec 6.8, pp100.

Interfaces: InnerSymbolOpInterface, OpAsmOpInterface

Attributes:

Operands:

Results:

sv.release (::circt::sv::ReleaseOp)

Release procedural statement

Syntax:

operation ::= `sv.release` $dest attr-dict `:` qualified(type($dest))

Release is used in conjunction with force. When released, then if the variable does not currently have an active assign procedural continuous assignment, the variable shall not immediately change value. The variable shall maintain its current value until the next procedural assignment or procedural continuous assignment to the variable. Releasing a variable that currently has an active assign procedural continuous assignment shall immediately reestablish that assignment. See SV Spec 10.6.2.

Traits: ProceduralOp

Operands:

sv.reserve_names (::circt::sv::ReserveNamesOp)

Disallow a set of names to be used during emission

Syntax:

operation ::= `sv.reserve_names` $reservedNames attr-dict

Traits: HasParent<mlir::ModuleOp>

Attributes:

sv.return (::circt::sv::ReturnOp)

Function return operation

Syntax:

operation ::= `sv.return` attr-dict ($operands^ `:` type($operands))?

Traits: AlwaysSpeculatableImplTrait, HasParent<FuncOp>, ReturnLike, Terminator

Interfaces: ConditionallySpeculatable, NoMemoryEffect (MemoryEffectOpInterface), RegionBranchTerminatorOpInterface

Effects: MemoryEffects::Effect{}

Operands:

sv.stop (::circt::sv::StopOp)

$stop system task

Syntax:

operation ::= `sv.stop` $verbosity attr-dict

Causes the simulation to be suspended. Does not terminate the simulator.

The optional verbosity parameter controls how much diagnostic information is printed when the system task is executed (see section 20.2 of IEEE 1800-2017):

• 0: Prints nothing
• 1: Prints simulation time and location (default)
• 2: Prints simulation time, location, and statistics about the memory and CPU time used in simulation

Traits: ProceduralOp

Attributes:

sv.struct_field_inout (::circt::sv::StructFieldInOutOp)

Create an subfield inout memory to produce an inout element.

Syntax:

operation ::= `sv.struct_field_inout` $input `[` $field `]` attr-dict `:` qualified(type($input))

See SV Spec 7.2.

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, InferTypeOpInterface, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Attributes:

Operands:

Results:

sv.system (::circt::sv::SystemFunctionOp)

Simple SV System Function calls

Syntax:

operation ::= `sv.system` $fnName `(` $args `)` attr-dict `:` functional-type($args, $out)

This operation calls the indicated system verilog system function. This supports functions which take normal expression arguments.

See section 20 of the 2012 SV spec.

Attributes:

Operands:

Results:

sv.system.sampled (::circt::sv::SampledOp)

$sampled system function to sample a value

Syntax:

operation ::= `sv.system.sampled` $expression attr-dict `:` qualified(type($expression))

Sample a value using System Verilog sampling semantics (see Section 16.5.1 of the SV 2017 specification for more information).

A use of $sampled is to safely read the value of a net/variable in a concurrent assertion action block such that the value will be the same as the value used when the assertion is triggered. See Section 16.9.3 of the SV 2017 specification for more information.

Traits: AlwaysSpeculatableImplTrait, SameOperandsAndResultType

Interfaces: ConditionallySpeculatable, InferTypeOpInterface, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Operands:

Results:

sv.unpacked_array_create (::circt::sv::UnpackedArrayCreateOp)

Create an unpacked array

Syntax:

operation ::= `sv.unpacked_array_create` $inputs attr-dict `:` functional-type($inputs, $result)

Creates an unpacked array from a variable set of values. One or more values must be listed.

See the HW-SV rationale document for details on operand ordering.

Traits: AlwaysSpeculatableImplTrait, SameTypeOperands

Interfaces: ConditionallySpeculatable, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Operands:

Results:

sv.unpacked_open_array_cast (::circt::sv::UnpackedOpenArrayCastOp)

Cast an unpacked array into an unpacked open array

Syntax:

operation ::= `sv.unpacked_open_array_cast` $input attr-dict `:` functional-type($input, $result)

Operands:

Results:

sv.verbatim (::circt::sv::VerbatimOp)

Verbatim opaque text emitted inline.

Syntax:

operation ::= `sv.verbatim` $format_string (`(` $substitutions^ `)` `:`
              qualified(type($substitutions)))? attr-dict

This operation produces opaque text inline in the SystemVerilog output.

sv.verbatim allows operand substitutions with {{0}} syntax.

Attributes:

Operands:

sv.verbatim.expr (::circt::sv::VerbatimExprOp)

Expression that expands to a value given SystemVerilog text

Syntax:

operation ::= `sv.verbatim.expr` $format_string (`(` $substitutions^ `)`)?
              `:` functional-type($substitutions, $result) attr-dict

This operation produces a typed value expressed by a string of SystemVerilog. This can be used to access macros and other values that are only sensible as Verilog text.

The text string is expected to have the highest precedence, so you should include parentheses in the string if it isn’t a single token. This is also assumed to not have side effects (use sv.verbatim.expr.se) if you need them.

sv.verbatim.expr allows operand substitutions with {{0}} syntax.

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, HasCustomSSAName, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Attributes:

Operands:

Results:

sv.verbatim.expr.se (::circt::sv::VerbatimExprSEOp)

Expression that expands to a value given SystemVerilog text

Syntax:

operation ::= `sv.verbatim.expr.se` $format_string (`(` $substitutions^ `)`)?
              `:` functional-type($substitutions, $result) attr-dict

This operation produces a typed value expressed by a string of SystemVerilog. This can be used to access macros and other values that are only sensible as Verilog text.

The text string is expected to have the highest precedence, so you should include parentheses in the string if it isn’t a single token. This is allowed to have side effects.

sv.verbatim.se.expr allows operand substitutions with {{0}} syntax.

Interfaces: HasCustomSSAName

Attributes:

Operands:

Results:

sv.warning (::circt::sv::WarningOp)

$warning severity message task

Syntax:

operation ::= `sv.warning` ($message^ (`(` $substitutions^ `)` `:` qualified(type($substitutions)))?)?
              attr-dict

This system task indicates a run-time warning.

If present, the optional message is printed with any additional operands interpolated into the message string.

Traits: ProceduralOp

Attributes:

Operands:

sv.wire (::circt::sv::WireOp)

Define a new wire

Syntax:

operation ::= `sv.wire` (`sym` $inner_sym^)? `` custom<ImplicitSSAName>($name) attr-dict
              `:` qualified(type($result))

Declare a SystemVerilog Net Declaration of ‘wire’ type. See SV Spec 6.7, pp97.

Traits: NonProceduralOp

Interfaces: InnerSymbolOpInterface, OpAsmOpInterface

Attributes:

Results:

sv.xmr (::circt::sv::XMROp)

Encode a reference to a non-local net.

Syntax:

operation ::= `sv.xmr` (`isRooted` $isRooted^)? custom<XMRPath>($path, $terminal) attr-dict `:` qualified(type($result))

This represents a non-local hierarchical name to a net, sometimes called a cross-module reference. A hierarchical name may be absolute, when prefixed with ‘$root’, in which case it is resolved from the set of top-level modules (any non-instantiated modules). Non-absolute paths are resolved by attempting resolution of the path locally, then recursively up the instance graph. See SV Spec 23.6, pp721.

It is impossible to completely resolve a hierarchical name without making a closed-world assumption in the compiler. We therefore don’t try to link hierarchical names to what they resolve to at compile time. A frontend generating this op should ensure that any instance or object in the intended path has public visibility so paths are not invalidated.

Attributes:

Results:

sv.xmr.ref (::circt::sv::XMRRefOp)

Encode a reference to something with a hw.hierpath.

Syntax:

operation ::= `sv.xmr.ref` $ref ( $verbatimSuffix^ )? attr-dict `:` qualified(type($result))

This represents a hierarchical path, but using something which the compiler can understand. In contrast to the XMROp (which models pure Verilog hierarchical paths which may not map to anything knowable in the circuit), this op uses a hw.hierpath to refer to something which exists in the circuit.

Generally, this operation is always preferred for situations where hierarchical paths cannot be known statically and may change.

verbatimSuffix should only be populated when the final operation on the path is an instance of an external module.

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, NoMemoryEffect (MemoryEffectOpInterface), SymbolUserOpInterface

Effects: MemoryEffects::Effect{}

Attributes:

Results:

Attributes

MacroIdentAttr

Macro identifier

Syntax:

#sv.macro.ident<
  ::mlir::FlatSymbolRefAttr   # ident
>

Represents a reference to a macro identifier.

Parameters:

ModportDirectionAttr

Defines direction in a modport

Syntax:

#sv.modport_direction<
  ::circt::sv::ModportDirection   # value
>

Enum cases:

• input (input)
• output (output)
• inout (inout)

Parameters:

ModportStructAttr

Syntax:

#sv.mod_port<
  ::circt::sv::ModportDirectionAttr,   # direction
  mlir::FlatSymbolRefAttr   # signal
>

Parameters:

SVAttributeAttr

a Verilog Attribute

This attribute is used to encode a Verilog attribute. A Verilog attribute (not to be confused with an LLVM or MLIR attribute) is a syntactic mechanism for adding metadata to specific declarations, statements, and expressions in the Verilog language. There are no “standard” attributes. Specific tools define and handle their own attributes.

Verilog attributes have a mandatory name and an optional constant expression. This is encoded as a key (name) value (expression) pair. Multiple attributes may be specified, either with multiple separate attributes or by comman-separating name–expression pairs.

Currently, SV attributes don’t block most optimizations; therefore, users should not expect that sv attributes always appear in the output verilog. However, we must block optimizations that updating ops in-place since it is mostly invalid to transfer SV attributes one to another.

For more information, refer to Section 5.12 of the SystemVerilog (1800-2017) specification.

Parameters:

ValidationQualifierTypeEnumAttr

validation qualifier type

Syntax:

#sv.validation_qualifier<
  ::circt::sv::ValidationQualifierTypeEnum   # value
>

Enum cases:

• plain (ValidationQualifierPlain)
• unique (ValidationQualifierUnique)
• unique0 (ValidationQualifierUnique0)
• priority (ValidationQualifierPriority)

Parameters:

Type constraints

an Unpacked Open ArrayType

Types

InterfaceType

SystemVerilog interface type pointing to an InterfaceOp

Syntax:

!sv.interface<
  ::mlir::FlatSymbolRefAttr   # interface
>

A MLIR type for the SV dialect’s InterfaceOp to allow instances in any dialect with an open type system. Points at the InterfaceOp which defines the SystemVerilog interface.

Parameters:

ModportType

SystemVerilog type pointing to an InterfaceModportOp

Syntax:

!sv.modport<
  ::mlir::SymbolRefAttr   # modport
>

A MLIR type for the SV dialect’s InterfaceModportOp to allow interactions with any open type system dialect. Points at the InterfaceModportOp which defines the SystemVerilog interface’s modport.

Parameters:

UnpackedOpenArrayType

SystemVerilog unpacked ‘open’ array

Syntax:

!sv.open_uarray<
  ::mlir::Type   # elementType
>

This type represents unpacked ‘open’ array. Open array is a special type that can be used as formal arguments of DPI import statements.

See SystemVerilog Spec 35.5.6.1.

Parameters:

Enums

CaseStmtType

case type

Cases:

DeferAssert

assertion deferring mode

Cases:

EventControl

edge control trigger

Cases:

MemBaseTypeAttr

the numeric base of a memory file

Cases:

ModportDirection

Defines direction in a modport

Cases:

ResetType

reset type

Cases:

ValidationQualifierTypeEnum

validation qualifier type

Cases:

'sv' Dialect Docs

• SV Dialect Rationale