#include "circt/Dialect/HW/HWAttributes.h"#include "circt/Dialect/HW/HWOps.h"#include "circt/Dialect/LTL/LTLDialect.h"#include "circt/Dialect/LTL/LTLTypes.h"#include "circt/Dialect/SV/SVAttributes.h"#include "circt/Dialect/SV/SVDialect.h"#include "circt/Dialect/SV/SVTypes.h"#include "mlir/IR/OpImplementation.h"#include "mlir/IR/SymbolTable.h"#include "mlir/Interfaces/CallInterfaces.h"#include "mlir/Interfaces/InferTypeOpInterface.h"#include "mlir/Interfaces/SideEffectInterfaces.h"#include "circt/Dialect/SV/SV.h.inc"
Include dependency graph for SVOps.h:
Go to the source code of this file.
Classes | |
| class | circt::sv::CasePattern |
| class | circt::sv::CaseDefaultPattern |
| class | circt::sv::CaseBitPattern |
| class | circt::sv::CaseEnumPattern |
| class | circt::sv::CaseExprPattern |
| struct | circt::sv::CaseInfo |
| class | circt::sv::ProceduralRegion< ConcreteType > |
| Signals that an operations regions are procedural. More... | |
| class | circt::sv::ProceduralOp< ConcreteType > |
| This class verifies that the specified op is located in a procedural region. More... | |
| class | circt::sv::NonProceduralOp< ConcreteType > |
| This class verifies that the specified op is not located in a procedural region. More... | |
| class | circt::sv::VendorExtension< ConcreteType > |
| This class provides a verifier for ops that are expecting their parent to be one of the given parent ops. More... | |
Namespaces | |
| namespace | circt |
| The InstanceGraph op interface, see InstanceGraphInterface.td for more details. | |
| namespace | circt::hw |
| namespace | circt::sv |
Macros | |
| #define | GET_OP_CLASSES |
Enumerations | |
| enum class | circt::sv::CasePatternBit { circt::sv::Zero = 0 , circt::sv::One = 1 , circt::sv::AnyX = 2 , circt::sv::AnyZ = 3 } |
| This describes the bit in a pattern, 0/1/x/z. More... | |
Functions | |
| bool | circt::sv::isExpression (Operation *op) |
| Return true if the specified operation is an expression. | |
| bool | circt::sv::is2StateExpression (Value v) |
| Returns if the expression is known to be 2-state (binary) | |
| char | circt::sv::getLetter (CasePatternBit bit) |
| Return the letter for the specified pattern bit, e.g. "0", "1", "x" or "z". | |
| LogicalResult | circt::sv::verifyInProceduralRegion (Operation *op) |
| Return true if the specified operation is in a procedural region. | |
| LogicalResult | circt::sv::verifyInNonProceduralRegion (Operation *op) |
| Return true if the specified operation is not in a procedural region. | |
