CIRCT  18.0.0git
Namespaces | Functions
FIRAnnotations.h File Reference
#include "circt/Support/LLVM.h"
#include "llvm/ADT/SmallVector.h"
Include dependency graph for FIRAnnotations.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.


bool circt::firrtl::fromOMIRJSON (llvm::json::Value &value, SmallVectorImpl< Attribute > &annotations, llvm::json::Path path, MLIRContext *context)
 Convert a JSON value containing OMIR JSON (an array of OMNodes), convert this to an OMIRAnnotation, and add it to a mutable annotations argument. More...
bool circt::firrtl::fromJSONRaw (llvm::json::Value &value, SmallVectorImpl< Attribute > &annotations, llvm::json::Path path, MLIRContext *context)
ParseResult circt::firrtl::foldWhenEncodedVerifOp (PrintFOp printOp)
 Chisel has a tendency to emit complex assert/assume/cover statements encoded as print operations with special formatting and metadata embedded in the message literal. More...