CIRCT  19.0.0git
Namespaces | Functions
MSFTOpInterfaces.h File Reference
#include "circt/Dialect/HW/HWOps.h"
#include "circt/Dialect/HW/HWSymCache.h"
#include "circt/Dialect/MSFT/MSFTOpInterfaces.h.inc"
Include dependency graph for MSFTOpInterfaces.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 circt
 This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.
 
 circt::msft
 

Functions

LogicalResult circt::msft::verifyUnaryDynInstDataOp (Operation *)
 
Operation * circt::msft::getHierPathTopModule (Location loc, circt::hw::HWSymbolCache &symCache, FlatSymbolRefAttr pathSym)
 Returns the top-level module which the given HierPathOp that defines pathSym, refers to. More...