#include "mlir/Pass/PassManager.h"
#include "mlir/Pass/PassOptions.h"
#include <string>
#include <vector>

Include dependency graph for SynthesisPipeline.h:

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

Classes
struct	circt::synth::CombLoweringPipelineOptions
	Options for the aig lowering pipeline. More...

struct	circt::synth::SynthOptimizationPipelineOptions
	Options for the synth optimization pipeline. More...

Namespaces
namespace	circt
	The InstanceGraph op interface, see InstanceGraphInterface.td for more details.

namespace	circt::synth

Enumerations
enum	circt::synth::TargetIR { circt::synth::AIG , circt::synth::MIG }

Functions
void	circt::synth::buildCombLoweringPipeline (mlir::OpPassManager &pm, const CombLoweringPipelineOptions &options)
	Populate the synthesis pipelines.

void	circt::synth::buildSynthOptimizationPipeline (mlir::OpPassManager &pm, const SynthOptimizationPipelineOptions &options)

void	circt::synth::registerSynthesisPipeline ()
	Register the synthesis pipelines.

Classes

Namespaces