Verilog to Routing - VPR
|
Simple checks to make sure netlist data structures are consistent. More...
#include <cstdio>
#include <cstring>
#include "vtr_assert.h"
#include "vtr_log.h"
#include "vpr_types.h"
#include "vpr_error.h"
#include "globals.h"
#include "hash.h"
#include "vpr_utils.h"
#include "check_netlist.h"
#include "read_xml_arch_file.h"
Macros | |
#define | ERROR_THRESHOLD 100 |
Functions | |
static int | check_connections_to_global_clb_pins (ClusterNetId net_id, int verbosity) |
Checks that a global net (net_id) connects only to global CLB input pin and that non-global nets never connects to a global CLB pin. More... | |
static int | check_for_duplicated_names () |
static int | check_clb_conn (ClusterBlockId iblk, int num_conn) |
Checks that the connections into and out of the clb make sense. More... | |
static int | check_clb_internal_nets (ClusterBlockId iblk, const IntraLbPbPinLookup &pb_graph_pin_lookup) |
Check that internal-to-logic-block connectivity is continuous and logically consistent. More... | |
void | check_netlist (int verbosity) |
Simple checks to make sure netlist data structures are consistent.
These include checking for duplicated names, dangling links, etc.
#define ERROR_THRESHOLD 100 |
|
static |
Checks that the connections into and out of the clb make sense.
|
static |
Check that internal-to-logic-block connectivity is continuous and logically consistent.
|
static |
Checks that a global net (net_id) connects only to global CLB input pin and that non-global nets never connects to a global CLB pin.
Either global or non-global nets are allowed to connect to pads.
|
static |
void check_netlist | ( | int | verbosity | ) |