atom_netlist_utils.h

Go to the documentation of this file.

#ifndef ATOM_NETLIST_UTILS_H
#define ATOM_NETLIST_UTILS_H
#include <cstdio>
#include <set>
#include "atom_netlist.h"

int mark_constant_generators(AtomNetlist& netlist, e_const_gen_inference const_gen_inference_method, int verbosity);

void absorb_buffer_luts(AtomNetlist& netlist, int verbosity);

/*
 * Modify the netlist by sweeping away unused nets/blocks/inputs
 */

size_t sweep_iterative(AtomNetlist& netlist,
                       bool should_sweep_dangling_ios,
                       bool should_sweep_dangling_blocks,
                       bool should_sweep_dangling_nets,
                       bool should_sweep_constant_primary_outputs,
                       e_const_gen_inference const_gen_inference_method,
                       int verbosity);

size_t sweep_blocks(AtomNetlist& netlist, int verbosity);

size_t sweep_nets(AtomNetlist& netlist, int verbosity);

size_t sweep_inputs(AtomNetlist& netlist, int verbosity);

size_t sweep_outputs(AtomNetlist& netlist, int verbosity);

size_t sweep_constant_primary_outputs(AtomNetlist& netlist, int verbosity);

/*
 * Truth-table operations
 */

bool is_buffer(const AtomNetlist& netlist, const AtomBlockId blk);

bool truth_table_encodes_on_set(const AtomNetlist::TruthTable& truth_table);

AtomNetlist::TruthTable expand_truth_table(const AtomNetlist::TruthTable& truth_table, const size_t num_inputs);

AtomNetlist::TruthTable permute_truth_table(const AtomNetlist::TruthTable& truth_table, const size_t num_inputs, const std::vector<int>& permutation);

std::vector<vtr::LogicValue> truth_table_to_lut_mask(const AtomNetlist::TruthTable& truth_table, const size_t num_inputs);

std::vector<size_t> cube_to_minterms(std::vector<vtr::LogicValue> cube);

/*
 * Print the netlist for debugging
 */
void print_netlist_as_blif(std::string filename, const AtomNetlist& netlist);
void print_netlist_as_blif(FILE* f, const AtomNetlist& netlist);

std::string atom_pin_arch_name(const AtomNetlist& netlist, const AtomPinId pin);

/*
 * Identify all clock nets
 */

std::set<AtomNetId> find_netlist_physical_clock_nets(const AtomNetlist& netlist);

std::set<AtomPinId> find_netlist_logical_clock_drivers(const AtomNetlist& netlist);

void print_netlist_clock_info(const AtomNetlist& netlist);
#endif