circt::aiger Namespace Reference

Classes
struct	ExportAIGERHandler
	Handler for AIGER export. More...
struct	ExportAIGEROptions
	Options for AIGER export. More...
struct	ImportAIGEROptions
	Options for AIGER import. More...

Functions
mlir::LogicalResult	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	registerExportAIGERTranslation ()
	Register the export-aiger MLIR translation.
mlir::LogicalResult	importAIGER (llvm::SourceMgr &sourceMgr, mlir::MLIRContext *context, mlir::TimingScope &ts, mlir::ModuleOp module, const ImportAIGEROptions *options=nullptr)
	Parse an AIGER file and populate the given MLIR module with corresponding AIG dialect operations.
void	registerImportAIGERTranslation ()
	Register the import-aiger MLIR translation.

Function Documentation

exportAIGER()

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.

Definition at line 678 of file ExportAIGER.cpp.

Referenced by registerExportAIGERTranslation().

importAIGER()

mlir::LogicalResult circt::aiger::importAIGER	(	llvm::SourceMgr &	sourceMgr,
		mlir::MLIRContext *	context,
		mlir::TimingScope &	ts,
		mlir::ModuleOp	module,
		const ImportAIGEROptions *	options = nullptr )

Parse an AIGER file and populate the given MLIR module with corresponding AIG dialect operations.

References context.

Referenced by registerImportAIGERTranslation().

registerExportAIGERTranslation()

void circt::aiger::registerExportAIGERTranslation

(

)

Register the export-aiger MLIR translation.

Definition at line 700 of file ExportAIGER.cpp.

References circt::aiger::ExportAIGEROptions::binaryFormat, emitTextFormat(), exportAIGER(), circt::aiger::ExportAIGEROptions::includeSymbolTable, and includeSymbolTable().

Referenced by circt::registerAllTranslations().

registerImportAIGERTranslation()

void circt::aiger::registerImportAIGERTranslation

(

)

Register the import-aiger MLIR translation.

Definition at line 1146 of file ImportAIGER.cpp.

References context, and importAIGER().

Referenced by circt::registerAllTranslations().