CIRCT  19.0.0git
Namespaces | Macros
PassDetail.h File Reference
#include "circt/Dialect/SV/SVOps.h"
#include "mlir/Pass/Pass.h"
#include "circt/Dialect/SV/"
Include dependency graph for PassDetail.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


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



Macro Definition Documentation



Definition at line 35 of file PassDetail.h.