ExportAIGER.h File Reference

#include "circt/Support/LLVM.h"
#include "mlir/IR/Value.h"
#include "llvm/Support/raw_ostream.h"

Include dependency graph for ExportAIGER.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	circt::aiger::ExportAIGERHandler
	Handler for AIGER export. More...
struct	circt::aiger::ExportAIGEROptions
	Options for AIGER export. More...

Namespaces
namespace	mlir
namespace	circt
	The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
namespace	circt::hw
namespace	circt::aiger

Functions
mlir::LogicalResult	circt::aiger::exportAIGER (hw::HWModuleOp module, llvm::raw_ostream &os, const ExportAIGEROptions *options=nullptr, ExportAIGERHandler *handler=nullptr)
	Export an MLIR module containing AIG dialect operations to AIGER format.
void	circt::aiger::registerExportAIGERTranslation ()
	Register the export-aiger MLIR translation.