CIRCT

Circuit IR Compilers and Tools

'seq' Dialect

Types and operations for seq dialect The seq dialect is intended to model digital sequential logic.

Operation definition 

seq.compreg (::circt::seq::CompRegOp) 

Register a value, storing it for one cycle

See the Seq dialect rationale for a longer description Traits: SameVariadicOperandSize

Interfaces: NoSideEffect (MemoryEffectOpInterface), OpAsmOpInterface

Effects: MemoryEffects::Effect{}

Attributes: 

AttributeMLIR TypeDescription
name::mlir::StringAttrstring attribute

Operands: 

OperandDescription
inputany type
clk1-bit signless integer
reset1-bit signless integer
resetValueany type

Results: 

ResultDescription
dataany type