Verilog to Routing - VPR
Macros | Functions
check_netlist.cpp File Reference

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"
Include dependency graph for check_netlist.cpp:

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)
 

Detailed Description

Simple checks to make sure netlist data structures are consistent.

These include checking for duplicated names, dangling links, etc.

Macro Definition Documentation

◆ ERROR_THRESHOLD

#define ERROR_THRESHOLD   100

Function Documentation

◆ check_clb_conn()

static int check_clb_conn ( ClusterBlockId  iblk,
int  num_conn 
)
static

Checks that the connections into and out of the clb make sense.

◆ check_clb_internal_nets()

static int check_clb_internal_nets ( ClusterBlockId  iblk,
const IntraLbPbPinLookup &  intra_lb_pb_pini_lookup 
)
static

Check that internal-to-logic-block connectivity is continuous and logically consistent.

◆ check_connections_to_global_clb_pins()

static int check_connections_to_global_clb_pins ( ClusterNetId  net_id,
int  verbosity 
)
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.

◆ check_for_duplicated_names()

static int check_for_duplicated_names ( )
static

◆ check_netlist()

void check_netlist ( int  verbosity)