freduce.cc File Reference

#include "kernel/register.h"
#include "kernel/celltypes.h"
#include "kernel/consteval.h"
#include "kernel/sigtools.h"
#include "kernel/log.h"
#include "kernel/satgen.h"
#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <algorithm>

Include dependency graph for freduce.cc:

Go to the source code of this file.

Data Structures
struct	equiv_bit_t
struct	CountBitUsage
struct	FindReducedInputs
struct	PerformReduction
struct	FreduceWorker
struct	FreducePass

Typedefs
typedef std::map < RTLIL::SigBit, std::pair < RTLIL::Cell *, std::set < RTLIL::SigBit > > >	drivers_t

Variables
USING_YOSYS_NAMESPACE PRIVATE_NAMESPACE_BEGIN bool	inv_mode
int	verbose_level
int	reduce_counter
int	reduce_stop_at
std::string	dump_prefix
FreducePass	FreducePass

Typedef Documentation

typedef std::map<RTLIL::SigBit, std::pair<RTLIL::Cell*, std::set<RTLIL::SigBit> > > drivers_t

Definition at line 36 of file freduce.cc.

Variable Documentation

std::string dump_prefix

Definition at line 37 of file freduce.cc.

FreducePass FreducePass

USING_YOSYS_NAMESPACE PRIVATE_NAMESPACE_BEGIN bool inv_mode

Definition at line 34 of file freduce.cc.

int reduce_counter

Definition at line 35 of file freduce.cc.

int reduce_stop_at

Definition at line 35 of file freduce.cc.

int verbose_level

Definition at line 35 of file freduce.cc.