Benchmark-Circuit Labeling Format

Our graph-based approach to routing entails modeling the FPGA architecture as a graph; thus components of the FPGA are denoted by vertices and edges (pairs of vertices) in the routing graph (See example). These components are denoted as follows: