.. _arch_reference: Architecture Reference ====================== This section provides a detailed reference for the FPGA Architecture description used by VTR. The Architecture description uses XML as its representation format. As a convention, curly brackets ``{`` ``}`` represents an option with each option separated by ``|``. For example, ``a={1 | 2 | open}`` means field ``a`` can take a value of ``1``, ``2``, or ``open``. .. _arch_top_level_tags: Top Level Tags -------------- The first tag in all architecture files is the ```` tag. This tag contains all other tags in the architecture file. The architecture tag contains the following tags: * ```` * ```` * ```` * ```` * ```` * ```` * ```` * ```` * ```` .. _arch_models: Recognized BLIF Models () --------------------------------- The ```` tag contains ```` tags. Each ```` tag describes the BLIF ``.subckt`` model names that are accepted by the FPGA architecture. The name of the model must match the corresponding name of the BLIF model. The never_prune flag is optional and can be either: * false (default) * true Normally blocks with no output nets are pruned away by the netlist sweepers in vpr (removed from the netlist); this is the default behaviour. If never_prune = "true" is set on a model, then blocks that are instances of that model will not be swept away during netlist cleanup. This can be helpful for some special blocks that do have only input nets and are required to be placed on the device for some features to be active, so space on the chip is still reserved for them, despite them not driving any connection. One example is the IDELAYCTRL of the Series7 devices, which takes as input a reference clock and internally controls and synchronizes all the IDELAYs in a specific clock region, with no output net necessary for it to function correctly. .. note:: Standard blif structures (``.names``, ``.latch``, ``.input``, ``.output``) are accepted by default, so these models should not be described in the tag. Each model tag must contain 2 tags: ```` and ````. Each of these contains ```` tags: .. arch:tag:: :req_param name: The port name. :opt_param is_clock: Identifies if the port is a clock port. .. seealso:: The :ref:`Primitive Timing Modelling Tutorial ` for usage of ``is_clock`` to model clock control blocks such as clock generators, clock buffers/gates and clock muxes. Default: ``0`` :opt_param clock: Indicates the port is sequential and controlled by the specified clock (which must be another port on the model marked with ``is_clock=1``). Default: port is treated as combinational (if unspecified) :opt_param combinational_sink_ports: A space-separated list of output ports which are combinationally connected to the current input port. Default: No combinational connections (if unspecified) Defines the port for a model. An example models section containing a combinational primitive ``adder`` and a sequential primitive ``single_port_ram`` follows: .. code-block:: xml Note that for ``single_port_ram`` above, the ports ``we``, ``addr``, ``data``, and ``out`` are sequential since they have a clock specified. Additionally ``addr`` and ``data`` are shown to be combinationally connected to ``out``; this corresponds to an internal timing path between the ``addr`` and ``data`` input registers, and the ``out`` output registers. For the ``adder`` the input ports ``a``, ``b`` and ``cin`` are each combinationally connected to the output ports ``cout`` and ``sumout`` (the adder is a purely combinational primitive). .. seealso:: For more examples of primitive timing modeling specifications see the :ref:`arch_model_timing_tutorial` .. _arch_global_info: Global FPGA Information ----------------------- .. arch:tag:: content Content inside this tag contains a group of ```` tags that specify the types of functional blocks and their properties. .. arch:tag:: Content inside this tag specifies device grid layout. .. seealso:: :ref:`arch_grid_layout` .. arch:tag:: content Content inside this tag specifies the layout of a single (2D) die; using multiple layer tags one can describe multi-die FPGAs (e.g. 3D stacked FPGAs). .. arch:tag:: content Content inside this tag specifies device information. .. seealso:: :ref:`arch_device_info` .. arch:tag:: content Content inside this tag contains a group of tags that specify the types of switches and their properties. .. arch:tag:: content Content inside this tag contains a group of tags that specify the types of wire segments and their properties. .. arch:tag:: content Content inside this tag contains a group of ```` tags that specify the types of functional blocks and their properties. .. arch:tag:: content Content inside this tag specifies the Network-on-Chip (NoC) architecture on the FPGA device and its properties. .. _arch_grid_layout: FPGA Grid Layout ---------------- The valid tags within the ```` tag are: .. arch:tag:: :opt_param aspect_ratio: The device grid's target aspect ratio (:math:`width / height`) **Default**: ``1.0`` Defines a scalable device grid layout which can be automatically scaled to a desired size. .. note:: At most one ```` can be specified. .. _fixed_arch_grid_layout: .. arch:tag:: :req_param name: The unique name identifying this device grid layout. :req_param width: The device grid width :req_param height: The device grid height Defines a device grid layout with fixed dimensions. .. note:: Multiple ```` tags can be specified. Each ```` or ```` tag should contain a set of grid location tags. FPGA Layer Information ---------------- The layer tag is an optional tag to specify multi-die FPGAs. If not specified, a single-die FPGA with a single die (with index 0) is assumed. .. arch:tag:: :opt_param die: Specifies the index of the die; index 0 is assumed to be at the bottom of a stack. **Default**: ``0`` .. note:: If die number left unspecified, a single-die FPGA (die number = 0) is assumed. .. code-block:: xml .. note:: Note that all dice have the same width and height. Since we can always fill unused parts of a die with EMPTY blocks this does not restrict us to have the same usable area on each die. Grid Location Priorities ~~~~~~~~~~~~~~~~~~~~~~~~ Each grid location specification has an associated numeric *priority*. Larger priority location specifications override those with lower priority. .. note:: If a grid block is partially overlapped by another block with higher priority the entire lower priority block is removed from the grid. Empty Grid Locations ~~~~~~~~~~~~~~~~~~~~ Empty grid locations can be specified using the special block type ``EMPTY``. .. note:: All grid locations default to ``EMPTY`` unless otherwise specified. .. _grid_expressions: Grid Location Expressions ~~~~~~~~~~~~~~~~~~~~~~~~~ Some grid location tags have attributes (e.g. ``startx``) which take an *expression* as their argument. An *expression* can be an integer constant, or simple mathematical formula evaluated when constructing the device grid. Supported operators include: ``+``, ``-``, ``*``, ``/``, along with ``(`` and ``)`` to override the default evaluation order. Expressions may contain numeric constants (e.g. ``7``) and the following special variables: * ``W``: The width of the device * ``H``: The height of the device * ``w``: The width of the current block type * ``h``: The height of the current block type .. warning:: All expressions are evaluated as integers, so operations such as division may have their result truncated. As an example consider the expression ``W/2 - w/2``. For a device width of 10 and a block type of width 3, this would be evaluated as :math:`\lfloor \frac{W}{2} \rfloor - \lfloor \frac{w}{2} \rfloor = \lfloor \frac{10}{2} \rfloor - \lfloor \frac{3}{2} \rfloor = 5 - 1 = 4`. Grid Location Tags ~~~~~~~~~~~~~~~~~~ .. arch:tag:: :req_param type: The name of the top-level complex block type (i.e. ````) being specified. :req_param priority: The priority of this layout specification. Tags with higher priority override those with lower priority. Fills the device grid with the specified block type. Example: .. code-block:: xml .. figure:: fill_fpga_grid.* CLB example .. arch:tag:: :req_param type: The name of the top-level complex block type (i.e. ````) being specified. :req_param priority: The priority of this layout specification. Tags with higher priority override those with lower priority. Sets the perimeter of the device (i.e. edges) to the specified block type. .. note:: The perimeter includes the corners Example: .. code-block:: xml .. figure:: perimeter_fpga_grid.* io example .. arch:tag:: :req_param type: The name of the top-level complex block type (i.e. ````) being specified. :req_param priority: The priority of this layout specification. Tags with higher priority override those with lower priority. Sets the corners of the device to the specified block type. Example: .. code-block:: xml .. figure:: corners_fpga_grid.* PLL example .. arch:tag:: :req_param type: The name of the top-level complex block type (i.e. ````) being specified. :req_param priority: The priority of this layout specification. Tags with higher priority override those with lower priority. :req_param x: The horizontal position of the block type instance. :req_param y: The vertical position of the block type instance. Specifies a single instance of the block type at a single grid location. Example: .. code-block:: xml .. figure:: single_fpga_grid.* PCIE example .. arch:tag:: :req_param type: The name of the top-level complex block type (i.e. ````) being specified. :req_param priority: The priority of this layout specification. Tags with higher priority override those with lower priority. :req_param startx: An expression specifying the horizontal starting position of the column. :opt_param repeatx: An expression specifying the horizontal repeat factor of the column. :opt_param starty: An expression specifying the vertical starting offset of the column. **Default:** ``0`` :opt_param incry: An expression specifying the vertical increment between block instantiations within the region. **Default:** ``h`` Creates a column of the specified block type at ``startx``. If ``repeatx`` is specified the column will be repeated wherever :math:`x = startx + k \cdot repeatx`, is satisfied for any positive integer :math:`k`. A non-zero ``starty`` is typically used if a ```` tag is specified to adjust the starting position of blocks with height > 1. Example: .. code-block:: xml .. figure:: col_fpga_grid.* RAM example Example: .. code-block:: xml .. figure:: col_perim_fpga_grid.* RAM and io example .. arch:tag:: :req_param type: The name of the top-level complex block type (i.e. ````) being specified. :req_param priority: The priority of this layout specification. Tags with higher priority override those with lower priority. :req_param starty: An expression specifying the vertical starting position of the row. :opt_param repeaty: An expression specifying the vertical repeat factor of the row. :opt_param startx: An expression specifying the horizontal starting offset of the row. **Default:** ``0`` :opt_param incrx: An expression specifying the horizontal increment between block instantiations within the region. **Default:** ``w`` Creates a row of the specified block type at ``starty``. If ``repeaty`` is specified the row will be repeated wherever :math:`y = starty + k \cdot repeaty`, is satisfied for any positive integer :math:`k`. A non-zero ``startx`` is typically used if a ```` tag is specified to adjust the starting position of blocks with width > 1. Example: .. code-block:: xml .. figure:: row_fpga_grid.* DSP example .. arch:tag:: :req_param type: The name of the top-level complex block type (i.e. ````) being specified. :req_param priority: The priority of this layout specification. Tags with higher priority override those with lower priority. :opt_param startx: An expression specifying the horizontal starting position of the region (inclusive). **Default:** ``0`` :opt_param endx: An expression specifying the horizontal ending position of the region (inclusive). **Default:** ``W - 1`` :opt_param repeatx: An expression specifying the horizontal repeat factor of the column. :opt_param incrx: An expression specifying the horizontal increment between block instantiations within the region. **Default:** ``w`` :opt_param starty: An expression specifying the vertical starting position of the region (inclusive). **Default:** ``0`` :opt_param endy: An expression specifying the vertical ending position of the region (inclusive). **Default:** ``H - 1`` :opt_param repeaty: An expression specifying the vertical repeat factor of the column. :opt_param incry: An expression specifying the vertical increment between block instantiations within the region. **Default:** ``h`` Fills the rectangular region defined by (``startx``, ``starty``) and (``endx``, ``endy``) with the specified block type. .. note:: ``endx`` and ``endy`` are included in the region If ``repeatx`` is specified the region will be repeated wherever :math:`x = startx + k_1*repeatx`, is satisfied for any positive integer :math:`k_1`. If ``repeaty`` is specified the region will be repeated wherever :math:`y = starty + k_2*repeaty`, is satisfied for any positive integer :math:`k_2`. Example: .. code-block:: xml .. figure:: region_single_fpga_grid.* RAM example Example: .. code-block:: xml .. figure:: region_incr_fpga_grid.* RAM increment example Example: .. code-block:: xml .. figure:: region_repeat_fpga_grid.* RAM repeat example Example: .. code-block:: xml .. figure:: region_incr_mesh_fpga_grid.* NoC mesh example Grid Layout Example ~~~~~~~~~~~~~~~~~~~ .. code-block:: xml .. figure:: fpga_grid_example.* Example FPGA grid .. arch:tag:: :opt_param x: Specifies the x-coordinate of a vertical interposer cut. :opt_param y: Specifies the y-coordinate of a horizontal interposer cut. .. note:: Exactly one of the ``x`` or ``y`` attributes must be specified. Defines an interposer cut for modelling 2.5D interposer-based architectures. An interposer cut will cut all connections at location 'loc' along the axis 'dim' Leaving the two sides completely unconnected. To reconnect the two sides, this tag can have multiple tags as children to specify the connection between the two sides. .. arch:tag:: :req_param sg_name: Name of the scatter-gather pattern to be used for the interdie connection. :req_param sg_link: Name of the scatter-gather link to be used for the interdie connection. :req_param offset_start: Starting point of scatter-gather instantiations. :req_param offset_end: Ending point of scatter-gather instantiations :req_param offset_increment: Increment/distance between scatter-gather instantiations. :req_param num: Number of scatter-gather instantiations per switchblock location. Defines the interdie wiring between the two sides of the cut. Connectivity is defined using scatter-gather patterns. Starting at 'offset_start' from location of the cut and moving by 'offset_increment' until we reach the location of 'offset_end' away from the cut, 'num' scatter-gather patterns defined by 'sg_name' and 'sg_link' will be instantiated. Note that these offset points always define the starting point of the scatter-gather pattern's sg_link. offset_start, offset_end and offset_increment can be integer values or expressions involving W and H (device width and height.) .. figure:: scatter_gather_images/interposer_diagram.png An example of how specifying interposers in VTR works. Connections between the two sides of a cut are first severed after which the two sides are reconnected using scatter_gather patterns. In this example the length of the sg_link wire used is 3. Note that there are 'num' of each pattern at each switchblock location. .. _arch_device_info: FPGA Device Information ----------------------- The tags within the ```` tag are: .. arch:tag:: :req_param R_minW_nmos: The resistance of minimum-width nmos transistor. This data is used only by the area model built into VPR. :req_param R_minW_pmos: The resistance of minimum-width pmos transistor. This data is used only by the area model built into VPR. :required: Yes Specifies parameters used by the area model built into VPR. .. arch:tag:: .. figure:: ipin_diagram.* Input Pin Diagram. :req_param switch_name: Specifies the name of the ```` in the ```` used to connect routing tracks to block input pins (i.e. the input connection block switch). :required: Yes .. arch:tag:: :required: Yes Specifies the default area used by each 1x1 grid logic tile (in :term:`MWTAs`), *excluding routing*. Used for an area estimate of the amount of area taken by all the functional blocks. .. note:: This value can be overridden for specific ```` s with the ``area`` attribute. .. arch:tag:: :req_param type: The type of switch block to use. :req_param fs: The value of :math:`F_s` :required: Yes This parameter controls the pattern of switches used to connect the (inter-cluster) routing segments. Three fairly simple patterns can be specified with a single keyword each, or more complex custom patterns can be specified. **Non-Custom Switch Blocks:** When using bidirectional segments, all the switch blocks have :math:`F_s` = 3 :cite:`brown_fpgas`. That is, whenever horizontal and vertical channels intersect, each wire segment can connect to three other wire segments. The exact topology of which wire segment connects to which can be one of three choices. The subset switch box is the planar or domain-based switch box used in the Xilinx 4000 FPGAs -- a wire segment in track 0 can only connect to other wire segments in track 0 and so on. The wilton switch box is described in :cite:`wilton_phd`, while the universal switch box is described in :cite:`chang_universal_switch_modules`. To see the topology of a switch box, simply hit the "Toggle RR" button when a completed routing is on screen in VPR. In general the wilton switch box is the best of these three topologies and leads to the most routable FPGAs. When using unidirectional segments, one can specify an :math:`F_s` that is any multiple of 3. We use a modified wilton switch block pattern regardless of the specified switch_block_type. For all segments that start/end at that switch block, we follow the wilton switch block pattern. For segments that pass through the switch block that can also turn there, we cannot use the wilton pattern because a unidirectional segment cannot be driven at an intermediate point, so we assign connections to starting segments following a round robin scheme (to balance mux size). .. note:: The round robin scheme is not tileable. **Custom Switch Blocks:** Specifying ``custom`` allows custom switch blocks to be described under the ```` XML node, the format for which is described in :ref:`custom_switch_blocks`. If the switch block is specified as ``custom``, the ``fs`` field does not have to be specified, and will be ignored if present. .. arch:tag:: content Content inside this tag is only used when VPR is in global routing mode. The contents of this tag are described in :ref:`global_routing_info`. .. arch:tag:: This defines the default Fc specification, if it is not specified within a ```` tag inside a top-level complex block. The attributes have the same meaning as the :ref:`\ tag attributes `. .. _arch_switches: Switches -------- The tags within the ```` tag specifies the switches used to connect wires and pins together. .. arch:tag:: Describes a switch in the routing architecture. **Example:** .. code-block:: xml :req_param type: The type of switch: * ``mux``: An isolating, configurable multiplexer * ``tristate``: An isolating, configurable tristate-able buffer * ``pass_gate``: A *non-isolating*, configurable pass gate * ``short``: A *non-isolating*, *non-configurable* electrical short (e.g. between two segments). * ``buffer``: An isolating, *non-configurable* non-tristate-able buffer (e.g. in-line along a segment). **Isolation** Isolating switches include a buffer which partition their input and output into separate DC-connected sub-circuits. This helps reduce RC wire delays. *Non-isolating* switch do **not** isolate their input and output, which can increase RC wire delays. **Configurablity** Configurable switches can be turned on/off at configuration time. *Non-configurable* switches can **not** be controlled at configuration time. These are typically used to model non-optional connections such as electrical shorts and in-line buffers. :req_param name: A unique name identifying the switch :req_param R: Resistance of the switch. :req_param Cin: Input capacitance of the switch. :req_param Cout: Output capacitance of the switch. :opt_param Cinternal: Since multiplexers and tristate buffers are modeled as a parallel stream of pass transistors feeding into a buffer, we would expect an additional "internal capacitance" to arise when the pass transistor is enabled and the signal must propagate to the buffer. See diagram of one stream below:: Pass Transistor | ----- ----- Buffer | | |\ ------ -------| \-------- | | | / | ===== ===== |/ ===== ===== ===== ===== | | | Input C Internal C Output C .. note:: Only specify a value for multiplexers and/or tristate switches. :opt_param Tdel: Intrinsic delay through the switch. If this switch was driven by a zero resistance source, and drove a zero capacitance load, its delay would be: :math:`T_{del} + R \cdot C_{out}`. The ‘switch’ includes both the mux and buffer ``mux`` type switches. .. note:: Required if no ```` tags are specified .. note:: A ````'s resistance (``R``) and output capacitance (``Cout``) have no effect on delay when used for the input connection block, since VPR does not model the resistance/capacitance of block internal wires. :opt_param buf_size: Specifies the buffer size in minimum-width transistor area (:term`MWTA`) units. If set to ``auto``, sized automatically from the R value. This allows you to use timing models without R’s and C’s and still be able to measure area. .. note:: Required for all **isolating** switch types. **Default:** ``auto`` :opt_param mux_trans_size: Specifies the size (in minimum width transistors) of each transistor in the two-level mux used by ``mux`` type switches. .. note:: Valid only for ``mux`` type switches. :opt_param power_buf_size: *Used for power estimation.* The size is the drive strength of the buffer, relative to a minimum-sized inverter. .. arch:tag:: Instead of specifying a single Tdel value, a list of Tdel values may be specified for different values of switch fan-in. Delay is linearly extrapolated/interpolated for any unspecified fanins based on the two closest fanins. :req_param num_inputs: The number of switch inputs (fan-in) :req_param delay: The intrinsic switch delay when the switch topology has the specified number of switch inputs **Example:** .. code-block:: xml .. _global_routing_info: Global Routing Information ~~~~~~~~~~~~~~~~~~~~~~~~~~ If global routing is to be performed, channels in different directions and in different parts of the FPGA can be set to different relative widths. This is specified in the content within the ```` tag. .. note:: If detailed routing is to be performed, only uniform distributions may be used .. arch:tag:: :req_param distr: The channel width distribution function :req_param peak: The peak value of the distribution :opt_param width: The width of the distribution. Required for ``pulse`` and ``gaussian``. :opt_param xpeak: Peak location horizontally. Required for ``pulse``, ``gaussian`` and ``delta``. :opt_param dc: The DC level of the distribution. Required for ``pulse``, ``gaussian`` and ``delta``. Sets the distribution of tracks for the x-directed channels -- the channels that run horizontally. Most values are from 0 to 1. If uniform is specified, you simply specify one argument, peak. This value (by convention between 0 and 1) sets the width of the x-directed core channels relative to the y-directed channels and the channels between the pads and core. :numref:`fig_arch_channel_distribution` should clarify the specification of uniform (dashed line) and pulse (solid line) channel widths. The gaussian keyword takes the same four parameters as the pulse keyword, and they are all interpreted in exactly the same manner except that in the gaussian case width is the standard deviation of the function. .. _fig_arch_channel_distribution: .. figure:: channel_distribution.* Channel Distribution The delta function is used to specify a channel width distribution in which all the channels have the same width except one. The syntax is chan_width_x delta peak xpeak dc. Peak is the extra width of the single wide channel. Xpeak is between 0 and 1 and specifies the location within the FPGA of the extra-wide channel -- it is the fractional distance across the FPGA at which this extra-wide channel lies. Finally, dc specifies the width of all the other channels. For example, the statement chan_width_x delta 3 0.5 1 specifies that the horizontal channel in the middle of the FPGA is four times as wide as the other channels. Examples:: .. arch:tag:: Sets the distribution of tracks for the y-directed channels. .. seealso:: .. _arch_tiles: Physical Tiles -------------- The content within the ```` describes the physical tiles available in the FPGA. Each tile type is specified with the ```` tag within the ```` tag. Tile ~~~~ .. arch:tag:: A tile refers to a placeable element within an FPGA architecture and describes its physical compositions on the grid. The following attributes are applicable to each tile. The only required one is the name of the tile. **Attributes:** :req_param name: The name of this tile. The name must be unique with respect to any other sibling ```` tag. :opt_param width: The width of the block type in grid tiles **Default:** ``1`` :opt_param height: The height of the block type in grid tiles **Default:** ``1`` :opt_param area: The logic area (in :term:`MWTA`) of the block type **Default:** from the ```` tag The following tags are common to all ```` tags: .. arch:tag:: .. seealso:: For a tutorial on describing the usage of sub tiles for ``heterogeneous tiles`` (tiles which support multiple instances of the same or different :ref:`arch_complex_blocks`) definition see :ref:`heterogeneous_tiles_tutorial`. Describes one or many sub tiles corresponding to the physical tile. Each sub tile is identifies a set of one or more stack location on a specific x, y grid location. **Attributes:** :req_param name: The name of this sub tile. The name must be unique with respect to any other sibling ```` tag. :opt_param capacity: The number of instances of this block type at each grid location. **Default:** ``1`` For example: .. code-block:: xml ... specifies there are two instances of the block type ``IO`` at each of its grid locations. .. note:: It is mandatory to have at least one sub tile definition for each physical tile. .. arch:tag:: Defines an input port. Multiple input ports are described using multiple ```` tags. :req_param name: Name of the input port. :req_param num_pins: Number of pins the input port has. :opt_param equivalent: Describes if the pins of the port are logically equivalent. Input logical equivalence means that the pin order can be swapped without changing functionality. For example, an AND gate has logically equivalent inputs because you can swap the order of the inputs and it’s still correct; an adder, on the otherhand, is not logically equivalent because if you swap the MSB with the LSB, the results are completely wrong. LUTs are also considered logically equivalent since the logic function (LUT mask) can be rotated to account for pin swapping. * ``none``: No input pins are logically equivalent. Input pins can not be swapped by the router. (Generates a unique SINK rr-node for each block input port pin.) * ``full``: All input pins are considered logically equivalent (e.g. due to logical equivalence or a full-crossbar within the cluster). All input pins can be swapped without limitation by the router. (Generates a single SINK rr-node shared by all input port pins.) **default:** ``none`` :opt_param is_non_clock_global: .. note:: Applies only to top-level pb_type. Describes if this input pin is a global signal that is not a clock. Very useful for signals such as FPGA-wide asynchronous resets. These signals have their own dedicated routing channels and so should not use the general interconnect fabric on the FPGA. .. arch:tag:: Defines an output port. Multiple output ports are described using multiple ```` tags :req_param name: Name of the output port. :req_param num_pins: Number of pins the output port has. :opt_param equivalent: Describes if the pins of the output port are logically equivalent: * ``none``: No output pins are logically equivalent. Output pins can not be swapped by the router. (Generates a unique SRC rr-node for each block output port pin.) * ``full``: All output pins are considered logically equivalent. All output pins can be swapped without limitation by the router. For example, this option would be appropriate to model an output port which has a full crossbar between it and the logic within the block that drives it. (Generates a single SRC rr-node shared by all output port pins.) * ``instance``: Models that sub-instances within a block (e.g. LUTs/BLEs) can be swapped to achieve a limited form of output pin logical equivalence. Like ``full``, this generates a single SRC rr-node shared by all output port pins. However, each net originating from this source can use only one output pin from the equivalence group. This can be useful in modeling more complex forms of equivalence in which you can swap which BLE implements which function to gain access to different inputs. .. warning:: When using ``instance`` equivalence you must be careful to ensure output swapping would not make the cluster internal routing (previously computed by the clusterer) illegal; the tool does not update the cluster internal routing due to output pin swapping. **Default:** ``none`` .. arch:tag:: Describes a clock port. Multiple clock ports are described using multiple ```` tags. *See above descriptions on inputs* .. arch:tag:: .. seealso:: For a step-by-step walkthrough on describing equivalent sites see :ref:`equivalent_sites_tutorial`. Describes the Complex Blocks that can be placed within a tile. Each physical tile can comprehend a number from 1 to N of possible Complex Blocks, or ``sites``. A ``site`` corresponds to a top-level Complex Block that must be placeable in at least 1 physical tile locations. .. arch:tag:: :req_param pb_type: Name of the corresponding pb_type. :opt_param pin_mapping: Specifies whether the pin mapping between physical tile and logical pb_type: * ``direct``: the pin mapping does not need to be specified as the tile pin definition is equal to the corresponding pb_type one; * ``custom``: the pin mapping is user-defined. **Default:** ``direct`` **Example: Equivalent Sites** .. code-block:: xml .. arch:tag:: Describes the mapping of a physical tile's port on the logical block's (pb_type) port. ``direct`` is an option sub-tag of ``site``. .. note:: This tag is needed only if the pin_mapping of the ``site`` is defined as ``custom`` Attributes: - ``from`` is relative to the physical tile pins - ``to`` is relative to the logical block pins .. code-block:: xml .. arch:tag:: :req_param in_type: Indicates how the :math:`F_c` values for input pins should be interpreted. ``frac``: The fraction of tracks of each wire/segment type. ``abs``: The absolute number of tracks of each wire/segment type. :req_param in_val: Fraction or absolute number of tracks to which each input pin is connected. :req_param out_type: Indicates how the :math:`F_c` values for output pins should be interpreted. ``frac``: The fraction of tracks of each wire/segment type. ``abs``: The absolute number of tracks of each wire/segment type. :req_param out_val: Fraction or absolute number of wires/segments to which each output pin connects. Sets the number of tracks/wires to which each logic block pin connects in each channel bordering the pin. The :math:`F_c` value :cite:`brown_fpgas` is interpreted as applying to each wire/segment type *individually* (see example). When generating the FPGA routing architecture VPR will try to make 'good' choices about how pins and wires interconnect; for more details on the criteria and methods used see :cite:`betz_automatic_generation_of_fpga_routing`. .. note:: If ```` is not specified for a complex block, the architecture's ```` is used. .. note:: For unidirection routing architectures absolute :math:`F_c` values must be a multiple of 2. **Example:** Consider a routing architecture with 200 length 4 (L4) wires and 50 length 16 (L16) wires per channel, and the following Fc specification: .. code-block:: xml The above specifies that each: * input pin connects to 20 L4 tracks (10% of the 200 L4s) and 5 L16 tracks (10% of the 50 L16s), and * output pin connects to 25 L4 tracks and 25 L16 tracks. **Overriding Values:** .. arch:tag:: Allows :math:`F_c` values to be overridden on a port or wire/segment type basis. :req_param fc_type: Indicates how the override :math:`F_c` value should be interpreted. ``frac``: The fraction of tracks of each wire/segment type. ``abs``: The absolute number of tracks of each wire/segment type. :req_param fc_val: Fraction or absolute number of tracks in a channel. :opt_param port_name: The name of the port to which this override applies. If left unspecified this override applies to all ports. :opt_param segment_name: The name of the segment (defined under ````) to which this override applies. If left unspecified this override applies to all segments. .. note:: At least one of ``port_name`` or ``segment_name`` must be specified. **Port Override Example: Carry Chains** If you have complex block pins that do not connect to general interconnect (eg. carry chains), you would use the ```` tag, within the ```` tag, to specify them: .. code-block:: xml Where the attribute ``port_name`` is the name of the pin (``cin`` and ``cout`` in this example). **Segment Override Example:** It is also possible to specify per ```` (i.e. routing wire) overrides: .. code-block:: xml Where the above would cause all pins (both inputs and outputs) to use a fractional :math:`F_c` of ``0.1`` when connecting to segments of type ``L4``. **Combined Port and Segment Override Example:** The ``port_name`` and ``segment_name`` attributes can be used together. For example: .. code-block:: xml specifies that port ``my_input`` use a fractional :math:`F_c` of ``0.1`` when connecting to segments of type ``L4``, while the port ``my_output`` uses a fractional :math:`F_c` of ``0.2`` when connecting to segments of type ``L4``. All other port/segment combinations would use the default :math:`F_c` values. .. arch:tag:: :req_param pattern: * ``spread`` denotes that the pins are to be spread evenly on all sides of the complex block. .. note:: *Includes* internal sides of blocks with width > 1 and/or height > 1. * ``perimeter`` denotes that the pins are to be spread evenly on perimeter sides of the complex block. .. note:: *Excludes* the internal sides of blocks with width > 1 and/or height > 1. * ``spread_inputs_perimeter_outputs`` denotes that input pins are to be spread on all sides of the complex block, but output pins are to be spread only on perimeter sides of the block. .. note:: This is useful for ensuring outputs do not connect to wires which fly-over a width > 1 and height > 1 block (e.g. if using ``short`` or ``buffer`` connections instead of a fully configurable switch block within the block). * ``custom`` allows the architect to specify specifically where the pins are to be placed using ```` tags. Describes the locations where the input, output, and clock pins are distributed in a complex logic block. .. arch:tag:: name_of_complex_logic_block.port_name[int:int] ... .. note:: ``...`` represents repeat as needed. Do not put ``...`` in the architecture file. :req_param side: Specifies which of the four sides of a grid location the pins in the contents are located. :opt_param xoffset: Specifies the horizontal offset (in grid units) from block origin (bottom left corner). The offset value must be less than the width of the block. **Default:** ``0`` :opt_param yoffset: Specifies the vertical offset (in grid units) from block origin (bottom left corner). The offset value must be less than the height of the block. **Default:** ``0`` If the subtile capacity is greater than 1, you can specify the capacity range when defining the pin locations. For example: .. code-block:: xml io_bottom[0:1].outpad io_bottom[0:3].inpad io_bottom[2:5].outpad io_bottom[4:5].inpad If no capacity range is specified, it is assumed that the location applies to all capacity instances. Physical equivalence for a pin is specified by listing a pin more than once for different locations. For example, a LUT whose output can exit from the top and bottom of a block will have its output pin specified twice: once for the top and once for the bottom. .. note:: If the ```` tag is missing, a ``spread`` pattern is assumed. .. arch:tag:: Describes where global routing switchblocks are created in relation to the complex block. .. note:: If the ```` tag is left unspecified the default pattern is assumed. :opt_param pattern: * ``external_full_internal_straight``: creates *full* switchblocks outside and *straight* switchblocks inside the complex block * ``all``: creates switchblocks wherever routing channels cross * ``external``: creates switchblocks wherever routing channels cross *outside* the complex block * ``internal``: creates switchblocks wherever routing channels cross *inside* the complex block * ``none``: denotes that no switchblocks are created for the complex block * ``custom``: allows the architect to specify custom switchblock locations and types using ```` tags **Default:** ``external_full_internal_straight`` .. _fig_sb_locations: .. figure:: sb_locations.* Switchblock Location Patterns for a width = 2, height = 3 complex block :opt_param internal_switch: The name of a switch (from ````) which should be used for internal switch blocks. **Default:** The default switch for the wire ```` .. note:: This is typically used to specify that internal wire segments are electrically shorted together using a ``short`` type ````. **Example: Electrically Shorted Internal Straight Connections** In some architectures there are no switch blocks located 'within' a block, and the wires crossing over the block are instead electrcially shorted to their 'straight-through' connections. To model this we first define a special ``short`` type switch to electrically short such segments together: .. code-block:: xml Next, we use the pre-defined ``external_full_internal_straight`` pattern, and that such connections should use our ``electrical_short`` switch. .. code-block:: xml .. arch:tag:: Specifies the type of switchblock to create at a particular location relative to a complex block for the ``custom`` switchblock location pattern. :req_param type: Specifies the type of switchblock to be created at this location: * ``full``: denotes that a full switchblock will be created (i.e. both ``staight`` and ``turns``) * ``straight``: denotes that a switchblock with only straight-through connections will be created (i.e. no ``turns``) * ``turns``: denotes that a switchblock with only turning connections will be created (i.e. no ``straight``) * ``none``: denotes that no switchblock will be created **Default:** ``full`` .. figure:: sb_types.* Switchblock Types :opt_param xoffset: Specifies the horizontal offset (in grid units) from block origin (bottom left corner). The offset value must be less than the width of the block. **Default:** ``0`` :opt_param yoffset: Specifies the vertical offset (in grid units) from block origin (bottom left corner). The offset value must be less than the height of the block. **Default:** ``0`` :opt_param switch_override: The name of a switch (from ````) which should be used to construct the switch block at this location. **Default:** The default switch for the wire ```` .. note:: The switchblock associated with a grid tile is located to the top-right of the grid tile **Example: Custom Description of Electrically Shorted Internal Straight Connections** If we assume a width=2, height=3 block (e.g. :numref:`fig_sb_locations`), we can use a custom pattern to specify an architecture equivalent to the 'Electrically Shorted Internal Straight Connections' example: .. code-block:: xml .. _arch_complex_blocks: Complex Blocks -------------- .. seealso:: For a step-by-step walkthrough on building a complex block see :ref:`arch_tutorial`. The content within the ```` describes the complex blocks found within the FPGA. Each type of complex block is specified with a top-level ```` tag within the ```` tag. PB Type ~~~~~~~ .. arch:tag:: Specifies a top-level complex block, or a complex block's internal components (sub-blocks). Which attributes are applicable depends on where the ```` tag falls within the hierarchy: * Top Level: A child of the ```` * Intermediate: A child of another ```` * Primitive/Leaf: Contains no ```` children For example: .. code-block:: xml ... ... ... ... ... ... ... .. note: Intermediate pb_types can contain other intermediate or primitive pb_types so arbitrary hierarchies can be specified. **General:** :req_param name: The name of this pb_type. The name must be unique with respect to any parent, sibling, or child ````. **Top-level, Intermediate or Primitive:** :opt_param num_pb: The number of instances of this pb_type at the current hierarchy level. **Default:** ``1`` For example: .. code-block:: xml ... ... ... would specify that the pb_type ``CLB`` contains 10 instances of the ``ble`` pb_type. **Primitive Only:** :req_param blif_model: Specifies the netlist primitive which can be implemented by this pb_type. Accepted values: * ``.input``: A BLIF netlist input * ``.output``: A BLIF netlist output * ``.names``: A BLIF .names (LUT) primitive * ``.latch``: A BLIF .latch (DFF) primitive * ``.subckt ``: A user defined black-box primitive. For example: .. code-block:: xml ... would specify that the pb_type ``my_adder`` can implement a black-box BLIF primitive named ``adder``. .. note:: The input/output/clock ports for primitive pb_types must match the ports specified in the ```` section. :opt_param class: Specifies that this primitive is of a specialized type which should be treated specially. .. seealso:: :ref:`arch_classes` for more details. The following tags are common to all tags: .. arch:tag:: Defines an input port. Multiple input ports are described using multiple ```` tags. :req_param name: Name of the input port. :req_param num_pins: Number of pins the input port has. :opt_param equivalent: .. note:: Applies only to top-level pb_type. Describes if the pins of the port are logically equivalent. Input logical equivalence means that the pin order can be swapped without changing functionality. For example, an AND gate has logically equivalent inputs because you can swap the order of the inputs and it’s still correct; an adder, on the otherhand, is not logically equivalent because if you swap the MSB with the LSB, the results are completely wrong. LUTs are also considered logically equivalent since the logic function (LUT mask) can be rotated to account for pin swapping. * ``none``: No input pins are logically equivalent. Input pins can not be swapped by the router. (Generates a unique SINK rr-node for each block input port pin.) * ``full``: All input pins are considered logically equivalent (e.g. due to logical equivalence or a full-crossbar within the cluster). All input pins can be swapped without limitation by the router. (Generates a single SINK rr-node shared by all input port pins.) **default:** ``none`` :opt_param is_non_clock_global: .. note:: Applies only to top-level pb_type. Describes if this input pin is a global signal that is not a clock. Very useful for signals such as FPGA-wide asynchronous resets. These signals have their own dedicated routing channels and so should not use the general interconnect fabric on the FPGA. .. arch:tag:: Defines an output port. Multiple output ports are described using multiple ```` tags :req_param name: Name of the output port. :req_param num_pins: Number of pins the output port has. :opt_param equivalent: .. note:: Applies only to top-level pb_type. Describes if the pins of the output port are logically equivalent: * ``none``: No output pins are logically equivalent. Output pins can not be swapped by the router. (Generates a unique SRC rr-node for each block output port pin.) * ``full``: All output pins are considered logically equivalent. All output pins can be swapped without limitation by the router. For example, this option would be appropriate to model an output port which has a full crossbar between it and the logic within the block that drives it. (Generates a single SRC rr-node shared by all output port pins.) * ``instance``: Models that sub-instances within a block (e.g. LUTs/BLEs) can be swapped to achieve a limited form of output pin logical equivalence. Like ``full``, this generates a single SRC rr-node shared by all output port pins. However, each net originating from this source can use only one output pin from the equivalence group. This can be useful in modeling more complex forms of equivalence in which you can swap which BLE implements which function to gain access to different inputs. .. warning:: When using ``instance`` equivalence you must be careful to ensure output swapping would not make the cluster internal routing (previously computed by the clusterer) illegal; the tool does not update the cluster internal routing due to output pin swapping. **Default:** ``none`` .. arch:tag:: Describes a clock port. Multiple clock ports are described using multiple ```` tags. *See above descriptions on inputs* .. arch:tag:: :req_param name: Name for this mode. Must be unique compared to other modes. Specifies a mode of operation for the ````. Each child mode tag denotes a different mode of operation for the ````. Each mode tag may contain other ```` and ```` tags. .. note:: Modes within the same parent ```` are mutually exclusive. .. note:: If a ```` has only one mode of operation the mode tag can be omitted. :opt_param disable_packing: Specify if a mode is disabled or not for VPR packer. When a mode is defined to be disabled for packing (``disable_packing="true"``), packer will not map any logic to the mode. This optional syntax aims to help debugging of multi-mode ```` so that users can spot bugs in their XML definition quickly. By default, it is set to ``false``. .. note:: When a mode is specified to be disabled for packing, its child ```` and the ```` of child ```` will be considered as disabled for packing automatically. There is no need to specify ``disable_packing`` for every ```` in the tree of ````. .. warning:: This is a power-user debugging option. See :ref:`multi_mode_logic_block_tutorial` for a detailed how-to-use. For example: .. code-block:: xml ... ... ... ... ... ... specifies the ``lut`` pb_type can be used as either a single 6-input LUT, or as two 5-input LUTs (but not both). Interconnect ~~~~~~~~~~~~ As mentioned earlier, the mode tag contains ```` tags and an ```` tag. The following describes the tags that are accepted in the ```` tag. .. arch:tag:: :req_param name: Identifier for the interconnect. :req_param input: Pins that are inputs to this interconnect. :req_param output: Pins that are outputs of this interconnect. Describes a fully connected crossbar. Any pin in the inputs can connect to any pin at the output. **Example:** .. code-block:: xml .. figure:: complete_example.* Complete interconnect example. .. arch:tag:: :req_param name: Identifier for the interconnect. :req_param input: Pins that are inputs to this interconnect. :req_param output: Pins that are outputs of this interconnect. Describes a 1-to-1 mapping between input pins and output pins. **Example:** .. code-block:: xml .. figure:: direct_example.* Direct interconnect example. .. arch:tag:: :req_param name: Identifier for the interconnect. :req_param input: Pins that are inputs to this interconnect. Different data lines are separated by a space. :req_param output: Pins that are outputs of this interconnect. Describes a bus-based multiplexer. .. note:: Buses are not yet supported so all muxes must use one bit wide data only! **Example:** .. code-block:: xml .. figure:: mux_example.* Mux interconnect example. A ````, ````, or ```` tag may take an additional, optional, tag called ```` that is used to describe *molecules*. A pack pattern is a power user feature directing that the CAD tool should group certain netlist atoms (eg. LUTs, FFs, carry chains) together during the CAD flow. This allows the architect to help the CAD tool recognize structures that have limited flexibility so that netlist atoms that fit those structures be kept together as though they are one unit. This tag impacts the CAD tool only, there is no architectural impact from defining molecules. .. arch:tag:: .. warning:: This is a power user option. Unless you know why you need it, you probably shouldn't specify it. :req_param name: The name of the pattern. :req_param in_port: The input pins of the edges for this pattern. :req_param out_port: Which output pins of the edges for this pattern. This tag gives a hint to the CAD tool that certain architectural structures should stay together during packing. The tag labels interconnect edges with a pack pattern name. All primitives connected by the same pack pattern name become a single pack pattern. Any group of atoms in the user netlist that matches a pack pattern are grouped together by VPR to form a molecule. Molecules are kept together as one unit in VPR. This is useful because it allows the architect to help the CAD tool assign atoms to complex logic blocks that have interconnect with very limited flexibility. Examples of architectural structures where pack patterns are appropriate include: optionally registered inputs/outputs, carry chains, multiply-add blocks, etc. There is a priority order when VPR groups molecules. Pack patterns with more primitives take priority over pack patterns with less primitives. In the event that the number of primitives is the same, the pack pattern with less inputs takes priority over pack patterns with more inputs. **Special Case:** To specify carry chains, we use a special case of a pack pattern. If a pack pattern has exactly one connection to a logic block input pin and exactly one connection to a logic block output pin, then that pack pattern takes on special properties. The prepacker will assume that this pack pattern represents a structure that spans multiple logic blocks using the logic block input/output pins as connection points. For example, lets assume that a logic block has two, 1-bit adders with a carry chain that links adjacent logic blocks. The architect would specify those two adders as a pack pattern with links to the logic block cin and cout pins. Lets assume the netlist has a group of 1-bit adder atoms chained together to form a 5-bit adder. VPR will break that 5-bit adder into 3 molecules: two 2-bit adders and one 1-bit adder connected in order by a the carry links. **Example:** Consider a classic basic logic element (BLE) that consists of a LUT with an optionally registered flip-flop. If a LUT is followed by a flip-flop in the netlist, the architect would want the flip-flop to be packed with the LUT in the same BLE in VPR. To give VPR a hint that these blocks should be connected together, the architect would label the interconnect connecting the LUT and flip-flop pair as a pack_pattern: .. code-block:: xml .. figure:: pack_pattern_example.* Pack Pattern Example. .. _arch_classes: Classes ~~~~~~~ Using these structures, we believe that one can describe any digital complex logic block. However, we believe that certain kinds of logic structures are common enough in FPGAs that special shortcuts should be available to make their specification easier. These logic structures are: flip-flops, LUTs, and memories. These structures are described using a ``class=string`` attribute in the ```` primitive. The classes we offer are: .. arch:tag:: class="lut" Describes a K-input lookup table. The unique characteristic of a lookup table is that all inputs to the lookup table are logically equivalent. When this class is used, the input port must have a ``port_class="lut_in"`` attribute and the output port must have a ``port_class="lut_out"`` attribute. .. arch:tag:: class="flipflop" Describes a flipflop. Input port must have a ``port_class="D"`` attribute added. Output port must have a ``port_class="Q"`` attribute added. Clock port must have a ``port_class="clock"`` attribute added. .. arch:tag:: class="memory" Describes a memory. Memories are unique in that a single memory physical primitive can hold multiple, smaller, logical memories as long as: #. The address, clock, and control inputs are identical and #. There exists sufficient physical data pins to satisfy the netlist memories when the different netlist memories are merged together into one physical memory. Different types of memories require different attributes. **Single Port Memories Require:** * An input port with ``port_class="address"`` attribute * An input port with ``port_class="data_in"`` attribute * An input port with ``port_class="write_en"`` attribute * An output port with ``port_class="data_out"`` attribute * A clock port with ``port_class="clock"`` attribute **Dual Port Memories Require:** * An input port with ``port_class="address1"`` attribute * An input port with ``port_class="data_in1"`` attribute * An input port with ``port_class="write_en1"`` attribute * An input port with ``port_class="address2"`` attribute * An input port with ``port_class="data_in2"`` attribute * An input port with ``port_class="write_en2"`` attribute * An output port with ``port_class="data_out1"`` attribute * An output port with ``port_class="data_out2"`` attribute * A clock port with ``port_class="clock"`` attribute Timing ~~~~~~ .. seealso:: For examples of primitive timing modeling specifications see the :ref:`arch_model_timing_tutorial` Timing is specified through tags contained with in ``pb_type``, ``complete``, ``direct``, or ``mux`` tags as follows: .. arch:tag:: :opt_param max: The maximum delay value. :opt_param min: The minimum delay value. :req_param in_port: The input port name. :req_param out_port: The output port name. Specifies a maximum and/or minimum delay from in_port to out_port. * If ``in_port`` and ``out_port`` are non-sequential (i.e. combinational), specifies the combinational path delay between them. * If ``in_port`` and ``out_port`` are sequential (i.e. have ``T_setup`` and/or ``T_clock_to_Q`` tags), specifies the combinational delay between the primitive's input and/or output registers. .. note:: At least one of the ``max`` or ``min`` attributes must be specified .. note:: If only one of ``max`` or ``min`` are specified the unspecified value is implicitly set to the same value .. arch:tag:: matrix :req_param type: Specifies the delay type. :req_param in_port: The input port name. :req_param out_port: The output port name. :req_param matrix: The delay matrix. Describe a timing matrix for all edges going from ``in_port`` to ``out_port``. Number of rows of matrix should equal the number of inputs, number of columns should equal the number of outputs. * If ``in_port`` and ``out_port`` are non-sequential (i.e. combinational), specifies the combinational path delay between them. * If ``in_port`` and ``out_port`` are sequential (i.e. have ``T_setup`` and/or ``T_clock_to_Q`` tags), specifies the combinational delay between the primitive's input and/or output registers. **Example:** The following defines a delay matrix for a 4-bit input port ``in``, and 3-bit output port ``out``: .. code-block:: xml 1.2e-10 1.4e-10 3.2e-10 4.6e-10 1.9e-10 2.2e-10 4.5e-10 6.7e-10 3.5e-10 7.1e-10 2.9e-10 8.7e-10 .. note:: To specify both ``max`` and ``min`` delays two ```` should be used. .. arch:tag:: :req_param value: The setup time value. :req_param port: The port name the setup constraint applies to. :req_param clock: The port name of the clock the setup constraint is specified relative to. Specifies a port's setup constraint. * If ``port`` is an input, specifies the external setup time of the primitive's input register (i.e. for paths terminating at the input register). * If ``port`` is an output, specifies the internal setup time of the primitive's output register (i.e. for paths terminating at the output register) . .. note:: Applies only to primitive ```` tags .. arch:tag:: :req_param value: The hold time value. :req_param port: The port name the setup constraint applies to. :req_param clock: The port name of the clock the setup constraint is specified relative to. Specifies a port's hold constraint. * If ``port`` is an input, specifies the external hold time of the primitive's input register (i.e. for paths terminating at the input register). * If ``port`` is an output, specifies the internal hold time of the primitive's output register (i.e. for paths terminating at the output register) . .. note:: Applies only to primitive ```` tags .. arch:tag:: :opt_param max: The maximum clock-to-Q delay value. :opt_param min: The minimum clock-to-Q delay value. :req_param port: The port name the delay value applies to. :req_param clock: The port name of the clock the clock-to-Q delay is specified relative to. Specifies a port's clock-to-Q delay. * If ``port`` is an input, specifies the internal clock-to-Q delay of the primitive's input register (i.e. for paths starting at the input register). * If ``port`` is an output, specifies the external clock-to-Q delay of the primitive's output register (i.e. for paths starting at the output register) . .. note:: At least one of the ``max`` or ``min`` attributes must be specified .. note:: If only one of ``max`` or ``min`` are specified the unspecified value is implicitly set to the same value .. note:: Applies only to primitive ```` tags Modeling Sequential Primitive Internal Timing Paths ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ .. seealso:: For examples of primitive timing modeling specifications see the :ref:`arch_model_timing_tutorial` By default, if only ```` and ```` are specified on a primitive ``pb_type`` no internal timing paths are modeled. However, such paths can be modeled by using ```` and/or ```` can be used in conjunction with ```` and ````. This is useful for modeling the speed-limiting path of an FPGA hard block like a RAM or DSP. As an example, consider a sequential black-box primitive named ``seq_foo`` which has an input port ``in``, output port ``out``, and clock ``clk``: .. code-block:: xml To model an internal critical path delay, we specify the internal clock-to-Q delay of the input register (10ps), the internal combinational delay (0.9ns) and the output register's setup time (90ps). The sum of these delays corresponds to a 1ns critical path delay. .. note:: Primitive timing paths with only one stage of registers can be modeled by specifying ```` and ```` on only one of the ports. Power ~~~~~ .. seealso:: :ref:`power_estimation`, for the complete list of options, their descriptions, and required sub-fields. .. arch:tag:: contents :opt_param method: Indicates the method of power estimation used for the given pb_type. Must be one of: * ``specify-size`` * ``auto-size`` * ``pin-toggle`` * ``C-internal`` * ``absolute`` * ``ignore`` * ``sum-of-children`` **Default:** ``auto-size``. .. seealso:: :ref:`Power Architecture Modelling ` for a detailed description of the various power estimation methods. The ``contents`` of the tag can consist of the following tags: * ```` * ```` * ```` .. arch:tag:: :opt_param power_per_instance: Absolute power in Watts. :opt_param C_internal: Block capacitance in Farads. .. arch:tag:: :opt_param power_per_instance: Absolute power in Watts. .. arch:tag:: :req_param name: Name of the port. :req_param energy_per_toggle: Energy consumed by a toggle on the port specified in ``name``. :opt_param scaled_by_static_prob: Port name by which to scale ``energy_per_toggle`` based on its logic high probability. :opt_param scaled_by_static_prob_n: Port name by which to scale ``energy_per_toggle`` based on its logic low probability. NoC Description --------------- The ```` tag is an optional tag and its contents allows designers to describe a NoC on an FPGA device. The ```` tag is the top level tag for the NoC description and its attributes define the overall properties of the NoC; refer below for its contents. .. arch:tag:: :req_param link_bandwidth: Specifies the maximum bandwidth in bits-per-second (bps) that a link in the NoC can support :req_param link_latency: Specifies the delay in seconds seen by a flit as it travels from one physical NoC router to another using a NoC link. :req_param router_latency: Specifies the un-loaded delays in seconds as it travels through a physical router. :req_param noc_router_tile_name: Specifies a string which represents the name used to identify a NoC router tile (physical hard block) in the corresponding FPGA architecture. This information is needed to create a model of the NoC. The ```` tag contains a single ```` tag which describes the topology of the NoC. NoC topology ~~~~~~~~~~~~ As mentioned above the ```` tag can be used to specify the topology or how the routers in the NoC are connected to each other. The ```` tag consists of multiple ```` tags. Below is an example of how the ```` tag is used. .. code-block:: xml The ```` tag and its contents are described below. .. arch:tag:: This tag represents a single physical NoC router on the FPGA device and specifies how it is connected within the NoC. :req_param id: Specifies a user identification (ID) number which is associate to the physical router that this tag is identifying. This ID is used to report errors and warnings to the user. :req_param positionx: Specifies the horizontal position of the physical router block that this tag is identifying. This position does not have to be exact, it can be an approximate value. :req_param positiony: Specifies the vertical position of the physical router block that this tag is identifying. This position does not have to be exact, it can be an approximate value. :req_param connections: Specifies a list of numbers separated by spaces which are the user IDs supplied to other ```` tags. This describes how the current physical Noc router that this tag is identifying is connected to the other physical NoC routers on the device. Below is an example of the ```` tag which identifies a physical router located near (0,0) with ID 0. This router is also connected to two other routers identified by IDs 1 and 2. .. code-block:: xml NoC Description Example ~~~~~~~~~~~~~~~~~~~~~~~ Below is an example which describes a NoC architecture which has 4 physical routers that are connected to each other to form a 2x2 mesh topology. .. code-block:: xml Wire Segments ------------- The content within the ```` tag consists of a group of ```` tags. The ```` tag and its contents are described below. .. arch:tag:: content :opt_param axis: Specifies if the given segment applies to x, y, or z channels only. If this tag is not given, it is assumed that the given segment description applies to both x-directed and y-directed channels (and not to z-directed channels). .. note:: It is required that both x and y segment axis details are given or that at least one segment within ``segmentlist`` is specified without the ``axis`` tag (i.e. at least one segment applies to both x-directed and y-directed channels). For 3-d architectures, it is required that at least one wire segment with `axis="z"` is defined. :req_param name: A unique alphanumeric name to identify this segment type. :req_param length: Either the number of logic blocks spanned by each segment, or the keyword ``longline``. Longline means segments of this type span the entire FPGA array. .. note:: ``longline`` is only supported for ``bidir`` routing :opt_param res_type: Specifies whether the segment belongs to the general or a clock routing network. If this tag is not specified, the resource type for the segment is considered to be GENERAL (i.e. regular routing). :req_param freq: The supply of routing tracks composed of this type of segment. VPR automatically determines the percentage of tracks for each segment type by taking the frequency for the type specified and dividing with the sum of all frequencies. It is recommended that the sum of all segment frequencies be in the range 1 to 100. :req_param Rmetal: Resistance per unit length (in terms of logic blocks) of this wiring track, in Ohms. For example, a segment of length 5 with Rmetal = 10 Ohms / logic block would have an end-to-end resistance of 50 Ohms. :req_param Cmetal: Capacitance per unit length (in terms of logic blocks) of this wiring track, in Farads. For example, a segment of length 5 with Cmetal = 2e-14 F / logic block would have a total metal capacitance of 10e-13F. :req_param type: This is either unidirectional or bidirectional and indicates whether a segment has multiple drive points (bidirectional), or a single driver at one end of the wire segment (unidirectional). All segments must have the same type (i.e., directionality) value. See :cite:`lemieux_directional_and_singale_driver_wires` for a description of unidirectional single-driver wire segments. :req_param content: The switch names and the depopulation pattern as described below. .. _fig_sb_pattern: .. figure:: sb_pattern.* Switch block and connection block pattern example with four tracks per channel .. arch:tag:: int list This tag describes the switch block depopulation (as illustrated in :numref:`fig_sb_pattern`) for this particular wire segment. For example, the first length 6 wire in the figure below has an sb pattern of ``1 0 1 0 1 0 1``. The second wire has a pattern of ``0 1 0 1 0 1 0``. A ``1`` indicates the existence of a switch block and a ``0`` indicates that there is no switch box at that point. Note that there are 7 entries in the integer list for a length 6 wire. For a length L wire there must be L+1 entries separated by spaces. .. note:: Can not be specified for ``longline`` segments (which assume full switch block population) .. arch:tag:: int list This tag describes the connection block depopulation (as illustrated by the circles in :numref:`fig_sb_pattern`) for this particular wire segment. For example, the first length 6 wire in the figure below has an sb pattern of ``1 1 1 1 1 1``. The third wire has a pattern of ``1 0 0 1 1 0``. A ``1`` indicates the existence of a connection block and a ``0`` indicates that there is no connection box at that point. Note that there are 6 entries in the integer list for a length 6 wire. For a length L wire there must be L entries separated by spaces. .. note:: Can not be specified for ``longline`` segments (which assume full connection block population) .. arch:tag:: :req_param name: Name of the mux switch type used to drive this type of segment by default, from both block outputs and other wires. This information is used during rr-graph construction, and a custom switch block can override this switch type for specific connections if desired. The switch type specified with the tag will be used for both the incrementing and decrementing wires within this segment. If more control is needed, the mux_inc and mux_dec tags can be used to assign different muxes to drive incremental and decremental wires within the segment. .. note:: This tag is only supported for unidirectional routing. Tag must be included and ``name`` must be the same as the name you give in `` :req_param name: Name of the mux switch type used to drive the incremental wires in this segment from both block outputs and other wires. Incremental wires are tracks within this segment that are heading in the "right" direction on the x-axis and the "top" direction on the y-axis. This information is used during rr-graph construction, and a custom switch block can override this switch type for specific connections if desired. .. note:: This tag is only supported for unidirectional routing. .. arch:tag:: :req_param name: Name of the mux switch type used to drive the decremental wires in this segment from both block outputs and other wires. Incremental wires are tracks within this segment that are heading in the "left" direction on the x-axis and the "bottom" direction on the y-axis. This information is used during rr-graph construction, and a custom switch block can override this switch type for specific connections if desired. .. note:: This tag is only supported for unidirectional routing. .. note:: For unidirectional segments, either tag or both and should be defined in the architecture file. If only the tag is defined, we assume that the same mux drives both incremental and decremental wires within this segment. .. arch:tag:: :req_param name: Name of the mux switch type used to drive this segment type when the driver (block outputs and other wires) is located on a different die than the segment. This information is utilized during rr-graph construction. Tag must be included and ``name`` must be the same as the name you give in `` :req_param name: Name of the switch type used by other wires to drive this type of segment by default. This information is used during rr-graph construction, and a custom switch block can override this switch type for specific connections if desired. Tag must be included and the name must be the same as the name you give in `` :req_param name: Name of the switch type used by block pins to drive this type of segment. Tag must be included and ``name`` must be the same as the name you give in `` :opt_param C_wire: The absolute capacitance, in Farads, of the wire between each clock buffer. :opt_param C_wire_per_m: The wire capacitance, in Farads per Meter. :opt_param buffer_size: The size of each clock buffer. .. _clock_architecture_format: Specifying a Clock Architecture ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The element ```` contains three sub-elements that collectively describe the clock architecture: the wiring parameters ````, the clock distribution ````, and the clock connectivity ````. .. note:: The clock network architecture defined in this structure is assigned the fixed default name ``"clock_network"``. When the user wants to specify a net to be routed through the defined clock architecture using a :ref:`global routing constraints file `, the network name attribute in the constraint tag must be set to ``"clock_network"``. .. _clock_arch_example: Clock Architecture Example ^^^^^^^^^^^^^^^^^^^^^^^^^^ The following example shows how a rib-spine (row/column) style clock architecture can be defined. .. code-block:: xml .. _spine_visual: .. figure:: vertical_distribution.* ```` "spine1" vertical clock wire example. The two spines (``num_inst="2"``) are located horizontally at ``W/2`` (in the middle of the device), and spans the entire height of the device (0..H). The drive points are located at ``H/2``, with tap points located at unit increments along their length. Buffers of ``drive_buff`` type (would be defined in ````) are used to drive the two halves of the spines. .. _rib_visual: .. figure:: horizontal_distribution.* ```` "rib1" horizontal clock wire example. Each rib spans the full width of the device (0..W), with the drive points located at the mid-point (``W/2``), and tap points in unit increments along each rib. There are two ribs at each vertical location (``num_inst="2"``), and pairs of ribs are stamped out at each row of the device (``repeaty="1"``). .. _clock_architecture_tags: Clock Architecture Tags ^^^^^^^^^^^^^^^^^^^^^^^ The ```` element describes the per unit length electrical parameters, resistance (``Rmetal``) and capacitance (``Cmetel``), used to implement the clock distribution wires. Wires are modeled solely based on ``Rmetal`` and ``Cmetal`` parameters which are derived from the physical implementation of the metal layer width and spacing. There can be one or more wiring implementation options (metal layer, width and spacing) that are used by the later clock network specification and each is described in a separate ```` sub-element. The syntax of the wiring electrical information is: .. arch:tag:: :req_param name: A unique string for reference. :req_param Rmetal: The resistance in Ohms of the wire per unit block in the FPGA architecture; a unit block usually corresponds to a logic cluster. :req_param Cmetal: The capacitance in Farads of the wire per unit block. The ```` element contains sub-elements that describe the clock distribution wires for the clock architecture. There could be more than one ```` element to describe separate types of distribution wires. The high-level start tag for a clock network is as follows: .. arch:tag:: :req_param name: A unique string for reference. :req_param num_inst: which describes the number of parallel instances of the clock distribution types described in the ```` sub-elements. .. note:: Many parameters used in the following clock architecture tags take an espression (``expr``) as an argument similar to :ref:`grid_expressions`. However, only a subset of special variables are supported: ``W`` (device width) and ``H`` (device height). The supported clock distribution types are ```` and ````. *Spines* are used to describe vertical clock distribution wires. Whereas, *Ribs* is used to describe a horizontal clock distribution wire. See :ref:`clock_arch_example` and accompanying figures :numref:`spine_visual` and :numref:`rib_visual` for example use of ```` and ```` parameters. .. arch:tag:: :req_param metal_layer: A referenced metal layer that sets the unit resistance and capacitance of the distribution wire over the length of the wire. :req_param starty: The start y grid location, of the wire which runs parallel to the y-axis from starty and ends at endy, inclusive. Value can be relative to the device size. :req_param endy: The end of y grid location of the wire. Value can be relative to the device size. :req_param x: The location of the spine with respect to the x-axis. Value can be relative to the device size. :opt_param repeatx: The horizontal repeat factor of the spine along the device. Value can be relative to the device size. :opt_param repeaty: The vertical repeat factor of the spine along the device. Value can be relative to the device size. The provided example clock network (:ref:`clock_arch_example`) defines two spines, and neither repeats as each spans the entire height of the device and is locally at the horizontal midpoint of the device. .. arch:tag:: :req_param metal_layer: A referenced metal layer that sets the unit resistance and capacitance of the distribution wire over the length of the wire. :req_param startx: The start x grid location, of the wire which runs parallel to the x-axis from startx and ends at endx, inclusive. Value can be relative to the device size. :req_param endx: The end of x grid location of the wire. Value can be relative to the device size. :req_param y: The location of the rib with respect to the y-axis. Value can be relative to the device size. :opt_param repeatx: The horizontal repeat factor of the rib along the device. Value can be relative to the device size. :opt_param repeaty: The vertical repeat factor of the rib along the device. Value can be relative to the device size. Along each spine and rib is a group of switch points. Switch points are used to describe drive or tap locations along the clock distribution wire, and are enclosed in the relevant ```` or ```` tags: .. arch:tag:: :req_param type: * ``drive`` -- Drive points are where the clock distribution wire can be driven by a routing switch or buffer. * ``tap`` -- Tap points are where it can drive a routing switch or buffer to send a signal to a different ``clock_network`` or logicblock. :opt_param xoffset: (Only for ``rib`` network) Offset from the ``startx`` of a rib network. :opt_param yoffset: (Only for ``spine`` network) Offset from the ``starty`` of a spine network. :opt_param xinc: (Only for rib ``tap`` points) Describes the repeat factor of a series of evenly spaced tap points. :opt_param yinc: (Only for spine ``tap`` points) Describes the repeat factor of a series of evenly spaced tap points. :req_param buffer: (Required only for ``drive`` points) A reference to a pre-defined routing switch; specified by ```` tag, see Section :ref:`arch_switches`. This switch will be used at the drive point. The clock architecture generator uses two of these buffers to drive the two portions of this ``clock_network`` wire when it is split at the drive point, see Figures :numref:`rib_visual` and :numref:`spine_visual`. .. note:: A single ```` specification may define a *set* of tap points (``type="tap"``, with either ``xincr`` or ``yincr``), or a single drive point (``type="drive"``) Lastly the ```` element consists of a group of ``tap`` statements which separately describe the connectivity between clock-related routing resources (pin or wire). The tap element and its attribute sare as follows: .. arch:tag:: :req_param from: The set of routing resources to make connections *from*. This can be either: * ``clock_name.tap_points_name``: A set of clock network ``tap``-type switchpoints. The format is clock network name, followed by the tap points name and delineated by a period (e.g. ``spine1.taps``), or * ``ROUTING``: a special literal which references a connection from general inter-block routing (at a location specified by ``locationx`` and ``locationy`` parameters). Examples can be see in :ref:`clock_arch_example`. :req_param to: The set of routing resources to make connections *to*. Can be a unique name or special literal: * ``clock_name.drive_point_name``: A clock network ``drive``-type switchpoint. The format is clock network name, followed by the drive point name and delineated by a period (e.g. ``rib1.drive_point``). * ``CLOCK``: a special literal which describes connections from clock network tap points that supply the clock to clock pins on blocks at the tap locations; these are clock inputs are already specified on blocks (top-level ````/````) in the VTR architecture file. Examples can be see in :ref:`clock_arch_example`. :req_param switch: The routing switch (defined in ````) used for this connection. :req_param fc_val: A decimal value between 0 and 1 representing the connection block flexibility between the connecting routing resources; a value of 0.5 for example means that only 50% of the switches necessary to connect all the matching tap and drive points would be implemented. :opt_param locationx: (Required when using the special literal ``"ROUTING"``) The x grid location of inter-block routing. :opt_param locationy: (Required when using the special literal ``"ROUTING"``) The y grid location of inter-block routing. .. note:: A single ```` statement may create multiple connections if either the of the ``from`` or ``to`` correspond to multiple routing resources. In such cases the ``fc_val`` can control how many connections are created. .. note:: ``locationx`` and ``locationy`` describe an (x,y) grid location where all the wires passing this location source the source the clock network connection depending on the ``fc_val`` For more information you may wish to consult :cite:`mustafa_masc` which introduces the clock modeling language. Power ----- Additional power options are specified within the ```` level ```` section. .. seealso:: See :ref:`power_estimation` for full documentation on how to perform power estimation. .. arch:tag:: :req_param C_wire: The local interconnect capacitance in Farads/Meter. :opt_param factor: The local interconnect scaling factor. **Default:** ``0.5``. .. arch:tag:: :req_param logical_effort_factor: **Default:** ``4``. .. _direct_interconnect: Direct Inter-block Connections ------------------------------ The content within the ```` tag consists of a group of ```` tags. The ```` tag and its contents are described below. .. note:: ``from_pin`` and ``to_pin`` only support big endian! For example, ``clb.out[8:0]`` .. arch:tag:: :req_param name: is a unique alphanumeric string to name the connection. :req_param from_pin: pin of complex block that drives the connection. :req_param to_pin: pin of complex block that receives the connection. :req_param x_offset: The x location of the receiving complex block relative to the driving complex block. :req_param y_offset: The y location of the receiving complex block relative to the driving complex block. :req_param z_offset: The z location of the receiving complex block relative to the driving complex block. :opt_param switch_name: The name of the ```` from ```` to be used for this direct connection. **Default:** switch with zero delay (i.e., short) :opt_param from_side: The associated from_pin's block side :opt_param to_side: The associated to_pin's block side Describes a dedicated connection between two complex block pins that skips general interconnect. This is useful for describing structures such as carry chains as well as adjacent neighbour connections. The ``from_side`` and ``to_side`` options can usually be left unspecified. However they can be used to explicitly control how direct connections to physically equivalent pins (which may appear on multiple sides) are handled. **Example: Inter-tile connection** Consider a carry chain where the ``cout`` of each CLB drives the ``cin`` of the CLB immediately below it, using the delay-less switch one would enter the following: .. code-block:: xml **Example: Inner-tile feedback** Consider a feedback connection where the ``out`` of each CLB drives the ``in`` of the CLB in the same location, using the connection block switch one would enter the following: .. code-block:: xml **Example: Cross-sub-tile connection** In this example, a tile ``cim8_1k`` is defined, under which there are two types of sub-tiles: - ``mult_8``: the first sub-tile - ``memory``: the second, and the third sub-tile .. code-block:: xml mult_8.a[0:2] mult_8.b[0:2] mult_8.out[0:5] mult_8.a[3:5] mult_8.b[3:5] mult_8.out[6:10] mult_8.a[6:7] mult_8.b[6:7] mult_8.out[11:15] memory.clk memory.waddr[0:0] memory.raddr[0:0] memory.data_in[0:0] memory.data_out[0:0] memory.waddr[1:1] memory.raddr[1:1] memory.data_in[1:1] memory.data_out[1:1] memory.waddr[2:2] memory.raddr[2:2] memory.data_in[2:2] memory.data_out[2:2] memory.waddr[3:3] memory.raddr[3:3] memory.data_in[3:3] memory.data_out[3:3] memory.waddr[4:4] memory.raddr[4:4] memory.data_in[4:4] memory.data_out[4:4] memory.waddr[5:5] memory.raddr[5:5] memory.data_in[5:5] memory.data_out[5:5] memory.wen memory.waddr[6:6] memory.raddr[6:6] memory.data_in[6:6] memory.data_out[6:6] memory.ren memory.data_in[7:7] memory.data_out[7:7] As shown in :numref:`fig_example_subtile_direct_connection`, consider a connection where the ``out`` of a sub tile ``mult_8`` of tile ``cim8_1k`` drives the ``data_in`` of the sub tile ``memory`` of tile ``cim8_1k`` with an offset, using the delayless switch one would enter the following: .. code-block:: xml .. _fig_example_subtile_direct_connection: .. figure:: ./example_subtile_direct_connection.png :width: 60% :alt: Example of direct connections across sub-tiles Example of direct connections across sub-tiles .. _custom_switch_blocks: Custom Switch Blocks -------------------- The content under the ```` tag consists of one or more ```` tags that are used to specify connections between different segment types. An example is shown below: .. code-block:: xml ... another switch block description ... This switch block format allows a user to specify mathematical permutation functions that describe how different types of segments (defined in the architecture file under the ```` tag) will connect to each other at different switch points. The concept of a switch point is illustrated below for a length-4 unidirectional wire heading in the "left" direction. The switch point at the start of the wire is given an index of 0 and is incremented by 1 at each subsequent switch block until the last switch point. The last switch point has an index of 0 because it is shared between the end of the current segment and the start of the next one (similarly to how switch point 3 is shared by the two wire subsegments on each side). .. figure:: switch_point_diagram.* Switch point diagram. A collection of wire types and switch points defines a set of wires which will be connected to another set of wires with the specified permutation functions (the ‘sets’ of wires are defined using the ```` tags). This format allows for an abstract but very flexible way of specifying different switch block patterns. For additional discussion on interconnect modeling see :cite:`petelin_masc`. The full format is documented below. **Overall Notes:** #. The ```` tag on a wire segment (described under ````) is applied as a mask on the patterns created by this switch block format; anywhere along a wire’s length where a switch block has not been requested (set to 0 in this tag), no switches will be added. #. You can specify multiple switchblock tags, and the switches described by the union of all those switch blocks will be created. .. arch:tag:: :req_param name: A unique alphanumeric string :req_param type: ``unidir`` or ``bidir``. A bidirectional switch block will implicitly mirror the specified permutation functions – e.g. if a permutation function of type ``lr`` (function used to connect wires from the left to the right side of a switch block) has been specified, a reverse permutation function of type ``rl`` (right-to-left) is automatically assumed. A unidirectional switch block makes no such implicit assumptions. The type of switch block must match the directionality of the segments defined under the ```` node. ```` is the top-level XML node used to describe connections between different segment types. .. arch:tag:: :req_param type: Can be one of the following strings: * ``EVERYWHERE`` – at each switch block of the FPGA * ``PERIMETER`` – at each perimeter switch block (x-directed and/or y-directed channel segments may terminate here) * ``CORNER`` – only at the corner switch blocks (both x and y-directed channels terminate here) * ``FRINGE`` – same as PERIMETER but excludes corners * ``CORE`` – everywhere but the perimeter Sets the location on the FPGA where the connections described by this switch block will be instantiated. .. arch:tag:: The switchfuncs XML node contains one or more entries that specify the permutation functions with which different switch block sides should be connected, as described below. .. arch:tag:: :req_param type: Specifies which switch block sides this function should connect. With the switch block sides being left, top, right and bottom, the allowed entries are one of {``lt``, ``lr``, ``lb``, ``tr``, ``tb``, ``tl``, ``rb``, ``rl``, ``rt``, ``bl``, ``bt``, ``br``} where ``lt`` means that the specified permutation formula will be used to connect the left-top sides of the switch block. .. note:: In a bidirectional architecture the reverse connection is implicit. :req_param formula: Specifies the mathematical permutation function that determines the pattern with which the source/destination sets of wires (defined using the entries) at the two switch block sides will be connected. For example, ``W-t`` specifies a connection where the ``t``’th wire in the source set will connect to the ``W-t`` wire in the destination set where ``W`` is the number of wires in the destination set and the formula is implicitly treated as modulo ``W``. Special characters that can be used in a formula are: * ``t`` -- the index of a wire in the source set * ``W`` -- the number of wires in the destination set (which is not necessarily the total number of wires in the channel) The operators that can be used in the formula are: * Addition (``+``) * Subtraction (``-``) * Multiplication (``*``) * Division (``/``) * Brackets ``(`` and ``)`` are allowed and spaces are ignored. Defined under the ```` XML node, one or more ```` entries is used to specify permutation functions that connect different sides of a switch block. .. arch:tag:: :req_param num_conns: Specifies how many connections should be created between the from_type/from_switchpoint set and the to_type/to_switchpoint set. The value of this parameter is an expression which is evaluated when the switch block is constructed. The expression can be a single number or formula using the variables: * ``from`` -- The number of switchblock edges equal to the 'from' set size. This ensures that each element in the 'from' set is connected to an element of the 'to' set. However it may leave some elements of the 'to' set either multiply-connected or disconnected. .. figure:: wireconn_num_conns_type_from.* :width: 100% * ``to`` -- The number of switchblock edges equal to the 'to' set size size. This ensures that each element of the 'to' set is connected to precisely one element of the 'from' set. However it may leave some elements of the 'from' set either multiply-connected or disconnected. .. figure:: wireconn_num_conns_type_to.* :width: 100% Examples: * ``min(from,to)`` -- Creates number of switchblock edges equal to the minimum of the 'from' and 'to' set sizes. This ensures *no* element of the 'from' or 'to' sets is connected to multiple elements in the opposing set. However it may leave some elements in the larger set disconnected. .. figure:: wireconn_num_conns_type_min.* :width: 100% * ``max(from,to)`` -- Creates number of switchblock edges equal to the maximum of the 'from' and 'to' set sizes. This ensures *all* elements of the 'from' or 'to' sets are connected to at least one element in the opposing set. However some elements in the smaller set may be multiply-connected. .. figure:: wireconn_num_conns_type_max.* :width: 100% * ``3*to`` -- Creates number of switchblock edges equal to three times the 'to' set sizes. :req_param from_type: A comma-separated list segment names that defines which segment types will be a source of a connection. The segment names specified must match the names of the segments defined under the ```` XML node. Required if no ```` or ```` nodes are specified within the ````. :req_param to_type: A comma-separated list of segment names that defines which segment types will be the destination of the connections specified. Each segment name must match an entry in the ```` XML node. Required if no ```` or ```` nodes are specified within the ````. :req_param from_switchpoint: A comma-separated list of integers that defines which switchpoints will be a source of a connection. Required if no ```` or ```` nodes are specified within the ````. :req_param to_switchpoint: A comma-separated list of integers that defines which switchpoints will be the destination of the connections specified. Required if no ```` or ```` nodes are specified within the ````. .. note:: In a unidirectional architecture wires can only be driven at their start point so ``to_switchpoint="0"`` is the only legal specification in this case. :opt_param from_order: Specifies the order in which ``from_switchpoint`` s are selected when creating edges. * ``fixed`` -- Switchpoints are selected in the order specified This is useful to specify a preference for connecting to specific switchpoints. For example, .. code-block:: xml specifies L4 wires should be connected first to L16 at switchpoint 0, then at switchpoints 12, 8, and 4. This is primarily useful when we want to ensure that some switchpoints are 'used-up' first. * ``shuffled`` -- Switchpoints are selected in a (randomly) shuffled order This is useful to ensure a diverse set of switchpoints are used. For example, .. code-block:: xml specifies L4 wires should be connected to other L4 wires at any of switchpoints 0, 1, 2, or 3. Shuffling the switchpoints is useful if one of the sets (e.g. from L4's) is much larger than the other (e.g. to L4's), and we wish to ensure a variety of switchpoints from the larger set are used. **Default:** ``shuffled`` :opt_param to_order: Specifies the order in which ``to_switchpoint``s are selected when creating edges. .. note:: See ``from_switchpoint_order`` for value descriptions. :opt_param switch_override: Specifies the name of a switch to be used to override the wire_switch of the segments in the ``to`` set. Can be used to create switch patterns where different switches are used for different types of connections. By using a zero-delay and zero-resistance switch one can also create T and L shaped wire segments. **Default:** If no override is specified, the usual wire_switch that drives the ``to`` wire will be used. :opt_param side: Specifies the sides that connections are gathered from or scattered to. Valid sides are right, left, top and bottom and are represented by characters 'r', 'l', 't' and 'b'. For example, to select connections from right, left and bottom set this attribute to "rlb". Note that this attribute is used only for :ref:`scatter_gather_patterns` and does not do anything for other usages of this tag. .. arch:tag:: :req_param type: The name of a segment specified in the ````. :req_param switchpoint: A comma-separated list of integers that defines switchpoints. .. note:: In a unidirectional architecture wires can only be driven at their start point so ``to_switchpoint="0"`` is the only legal specification in this case. Specifies a subset of *source* wire switchpoints. This tag can be specified multiple times. The surrounding ````'s source set is the union of all contained ```` tags. .. arch:tag:: Specifies a subset of *destination* wire switchpoints. This tag can be specified multiple times. The surrounding ````'s destination set is the union of all contained ```` tags. .. seealso:: ```` for attribute descriptions. As an example, consider the following ```` specification: .. code-block:: xml ... .. arch:tag:: :req_param name: A unique alphanumeric string :req_param type: Directionality of the scatter-gather connection * ``unidir``: Added connections are unidirectional; all the gather connections are combined in a mux that then drives the scatter-gather node which in turn drives the wires specified in the scatter specification. * ``bidir``: The gather and scatter connections are mirrored; the same scatter pattern is implemented at each end of the scatter-gather pattern. This implies the two muxes driving the scatter-gather node can have their outputs tri-state buffered. .. arch:tag:: Contains a ```` tag specifying how the fan-in or gather connections are selected. See ``wireconn`` for the relevant specification. This ```` tag supports an additioinal ``side`` attribute which selects the sides that connections are gathered from (e.g. ``side="rltb"`` means that connections are gathered from the right, left, top, and bottom sides of the switch block). .. arch:tag:: Contains a ```` tag specifying how the fan-out or scatter connections are selected. See ``wireconn`` for the relevant specification. This ```` tag supports an additioinal ``side`` attribute which selects the sides that connections are scattered to (e.g. ``side="rltb"`` means that connections are scattered to the right, left, top, and bottom sides of the switch block). .. arch:tag:: Contains one or more ```` tags specifying how the gather and scatter locations are connected (i.e. defines the used mux and scatter-gather node). .. note:: ```` tags are not instantiations of the pattern and would not result in any changes to the device. Instead, the ```` tag instantiates the pattern and selects one of the ```` tags to be used for the instantiation. .. arch:tag:: :req_param name: A unique alphanumeric string :req_param mux: Name of the multiplexer used to gather connections :req_param seg_type: Name of the segment used to connect the gather and scatter locations (i.e. the type of the scatter-gather node) :opt_param x_offset: Offset of the scatter relative to the gather in the x-axis :opt_param y_offset: Offset of the scatter relative to the gather in the y-axis :opt_param z_offset: Offset of the scatter relative to the gather in the z-axis .. note:: Only one of the offset fields for the sg_link tag should be set. The magnitude of the offset will generally be chosen by the architecture file creator to match the length of the sg_link segment type. .. arch:tag:: Instantiates the scatter-gather pattern with the specified sg_link. :req_param num: Number of scatter-gather instances per matching location (e.g. per switch block) :req_param sg_link_name: Name of the ``sg_link`` used in the instantiation :req_param type: Can be one of the following strings: * ``EVERYWHERE`` – at each switch block of the FPGA * ``PERIMETER`` – at each perimeter switch block (x-directed and/or y-directed channel segments may terminate here) * ``CORNER`` – only at the corner switch blocks (both x and y-directed channels terminate here) * ``FRINGE`` – same as PERIMETER but excludes corners * ``CORE`` – everywhere but the perimeter Sets the location on the FPGA where the connections described by this scatter-gather pattern be instantiated. .. _arch_metadata: Architecture metadata --------------------- Architecture metadata enables tagging of architecture or routing graph information that exists outside of the normal VPR flow (e.g. pack, place, route, etc). For example this could be used to enable bitstream generation by tagging routing edges and pb_type features. The metadata will not be used by the vpr executable, but can be leveraged by new tools using the libvpr library. These new tools can access the metadata on the various VPR internal data structures. To enable tagging of architecture structures with metadata, the ```` tag can be inserted under the following XML tags: * ```` * Any tag under ```` (````, ````, etc). * ```` * Any grid location type (````, ````, ````, ````, ````, ````, ````) .. arch:tag:: Specifies the root of a metadata block. Can have 0 or more ```` Children. .. arch:tag:: :req_param name: Key name of this metadata value. Specifies a value within a metadata block. The name is a key for looking up the value contained within the ```` tag. Keys can be repeated, and will be stored in a vector in order of occurrence. The value of the ```` is the text in the block. Both the ``name`` and ```` value will be stored as a string. XML children are not supported in the ```` tag. Example of a metadata block with 2 keys: .. code-block:: xml Some value Other value! .. _openfpga_arch_syntax: Additional Syntax for Tileable Architecture ------------------------------------------- When tileable architecture is enabled, the following options are available in the architecture file: Layout ~~~~~~ ```` may include additioinal attributes to enable tileable routing resource graph generation .. option:: tileable="" Turn ``on``/ ``off`` the tileable routing resource graph generator. The tileable routing architecture can minimize the number of unique modules in FPGA fabric to be physically implemented. Technical details can be found in :cite:`XTang_FPT_2019`. .. note:: It is strongly recommended to enable the tileable routing architecture when you want to PnR large FPGA fabrics, which can effectively reduce the runtime. .. option:: through_channel="" Allow routing channels to pass through multi-width and multi-height programmable blocks. This is mainly used in heterogeneous FPGAs to increase routability, as illustrated in :numref:`fig_thru_channel`. By default, it is ``false``. .. _fig_thru_channel: .. figure:: thru_channel.png :width: 100% :alt: Impact of through channel Impact on routing architecture when through channel in multi-width and multi-height programmable blocks: (a) disabled; (b) enabled. .. warning:: Do NOT enable ``through_channel`` if you are not using the tileable routing resource graph generator! .. warning:: You cannot use ``spread`` pin location for the ``height > 1`` or ``width >1`` tiles when using the tileable routing resource graph. Otherwise, it will cause undriven pins in your device!!! .. option:: shrink_boundary="" Remove all the routing wires in empty regions. This is mainly used in non-rectangular FPGAs to avoid redundant routing wires in blank area, as illustrated in :numref:`fig_shrink_boundary`. By default, it is ``false``. .. _fig_shrink_boundary: .. figure:: shrink_boundary.png :width: 100% :alt: Impact of shrink boundary Impact on routing architecture when shrink-boundary: (a) disabled; (b) enabled. .. warning:: Do NOT enable ``shrink_boundary`` if you are not using the tileable routing resource graph generator! .. option:: perimeter_cb="" Allow connection blocks to appear around the blocks on the perimeter of the device (mainly I/Os). This is designed to enhance routability of I/Os on perimeter. It is also strongly recommended when a programmable clock network is required to touch clock pins on I/Os. As illustrated in :numref:`fig_perimeter_cb`, routing tracks can access three sides of each I/O when perimeter connection blocks are created. **Default:** ``false`` .. warning:: When enabled, please only place outputs at one side of I/Os. For example, outputs of an I/O on the top side can only occur on the bottom side of the I/O tile. Otherwise, routability loss may be expected, leading to some pins being unreachable. Enable the ``opin2all_sides`` to recover routability loss. .. _fig_perimeter_cb: .. figure:: perimeter_cb.png :width: 100% :alt: Impact of perimeter_cb Impact on routing architecture when perimeter connection blocks are : (a) disabled; (b) enabled. .. warning:: Do NOT enable ``perimeter_cb`` if you are not using the tileable routing resource graph generator! .. option:: opin2all_sides="" Allow each output pin of a programmable block to drive the routing tracks on all the sides of its adjacent switch block (see an illustrative example in :numref:`fig_opin2all_sides`). This can improve the routability of an FPGA fabric with an increase in the sizes of routing multiplexers in each switch block. **Default:** ``false`` .. _fig_opin2all_sides: .. figure:: opin2all_sides.svg :width: 100% :alt: Impact of opin2all_sides Impact on routing architecture when the opin-to-all-sides: (a) disabled; (b) enabled. .. warning:: Do NOT enable ``opin2all_sides`` if you are not using the tileable routing resource graph generator! .. option:: concat_wire="" In each switch block, allow each routing track which ends to drive another routing track on the opposite side, as such a wire can be continued in the same direction (see an illustrative example in :numref:`fig_concat_wire`). In other words, routing wires can be concatenated in the same direction across an FPGA fabric. This can improve the routability of an FPGA fabric with an increase in the sizes of routing multiplexers in each switch block. **Default:** ``false`` .. _fig_concat_wire: .. figure:: concat_wire.svg :width: 100% :alt: Impact of concat_wire Impact on routing architecture when the wire concatenation: (a) disabled; (b) enabled. .. warning:: Do NOT enable ``concat_wire`` if you are not using the tileable routing resource graph generator! .. option:: concat_pass_wire="" In each switch block, allow each routing track which passes to drive another routing track on the opposite side, as such a pass wire can be continued in the same direction (see an illustrative example in :numref:`fig_concat_pass_wire`). This can improve the routability of an FPGA fabric with an increase in the sizes of routing multiplexers in each switch block. **Default:** ``false`` .. _fig_concat_wire: .. figure:: concat_pass_wire.svg :width: 100% :alt: Impact of concat_pass_wire Impact on routing architecture when the pass wire concatenation: (a) disabled; (b) enabled. .. warning:: Do NOT enable ``concat_pass_wire`` if you are not using the tileable routing resource graph generator! A quick example to show tileable routing is enabled, other options, e.g., through channels are disabled: .. code-block:: xml Switch Block ~~~~~~~~~~~~ ```` may include addition syntax to enable different connectivity for pass tracks .. option:: sub_type="" Connecting type for pass tracks in each switch block. The supported connecting patterns are ``subset``, ``universal`` and ``wilton``, being the same as the capability of VPR. If not specified, the pass tracks will have the same connecting patterns as start/end tracks, which are defined in ``type`` .. option:: sub_Fs="" Connectivity parameter for pass tracks in each switch block. Must be a multiple of 3. If not specified, the pass tracks will have the same connectivity as start/end tracks, which are defined in ``fs``. A quick example which defines a switch block - Starting/ending routing tracks are connected in the ``wilton`` pattern - Each starting/ending routing track can drive 3 other starting/ending routing tracks - Passing routing tracks are connected in the ``subset`` pattern - Each passing routing track can drive 6 other starting/ending routing tracks .. code-block:: xml Routing Segments ~~~~~~~~~~~~~~~~ When using tileable architecture, it is strongly recommended to give explicit names for each routing segment in ````. This is used to link ``circuit_model`` to routing segments. A quick example which defines a length-4 uni-directional routing segment called ``L4`` : .. code-block:: xml .. note:: Currently, tileable architecture only supports uni-directional routing architectures. Direct Interconnect ~~~~~~~~~~~~~~~~~~~ This section introduces extensions on the architecture description file about direct connections between programmable blocks. Syntax ~~~~~~ The original direct connections in the directlist section are documented in :ref:`direct_interconnect`. Its description is given below: .. code-block:: xml .. note:: These options are required In the tileable architecture file, you may define additional attributes for each VPR's direct connection: .. code-block:: xml .. note:: these options are optional. However, if ``interconnection_type`` is set to ``inter_column`` or ``inter_row``, then ``x_dir`` and ``y_dir`` are required. .. option:: interconnection_type="" Available types are ``inner_column_or_row`` | ``part_of_cb`` | ``inter_column`` | ``inter_row`` - ``inner_column_or_row`` indicates the direct connections are between tiles in the same column or row. This is the default value. - ``part_of_cb`` indicates the direct connections will drive routing multiplexers in connection blocks. Therefore, it is no longer a strict point-to-point direct connection. - ``inter_column`` indicates the direct connections are between tiles in two columns - ``inter_row`` indicates the direct connections are between tiles in two rows .. note:: The following syntax is only applicable to ``inter_column`` and ``inter_row`` .. option:: x_dir="" Available directionalities are ``positive`` | ``negative``, specifies if the next cell to connect has a bigger or lower ``x`` value. Considering a coordinate system where (0,0) is the origin at the bottom left and ``x`` and ``y`` are positives: - x_dir="positive": - interconnection_type="inter_column": a column will be connected to a column on the ``right``, if it exists. - interconnection_type="inter_row": the most on the ``right`` cell from a row connection will connect the most on the ``left`` cell of next row, if it exists. - x_dir="negative": - interconnection_type="inter_column": a column will be connected to a column on the ``left``, if it exists. - interconnection_type="inter_row": the most on the ``left`` cell from a row connection will connect the most on the ``right`` cell of next row, if it exists. .. option:: y_dir="" Available directionalities are ``positive`` | ``negative``, specifies if the next cell to connect has a bigger or lower x value. Considering a coordinate system where (0,0) is the origin at the bottom left and `x` and `y` are positives: - y_dir="positive": - interconnection_type="inter_column": the ``bottom`` cell of a column will be connected to the next column ``top`` cell, if it exists. - interconnection_type="inter_row": a row will be connected on an ``above`` row, if it exists. - y_dir="negative": - interconnection_type="inter_column": the ``top`` cell of a column will be connected to the next column ``bottom`` cell, if it exists. - interconnection_type="inter_row": a row will be connected on a row ``below``, if it exists. Enhanced Connection Block ~~~~~~~~~~~~~~~~~~~~~~~~~ A direct connection can also drive routing multiplexers of connection blocks. When such connection occurs in a connection block, it is called an enhanced connection block. :numref:`fig_ecb` illustrates the difference between a regular connection block and an enhanced connection block. .. _fig_ecb: .. figure:: ecb.png Enhanced connection block vs. Regular connection block In such scenario, the type ``part_of_cb`` is required. .. warning:: Restrictions may be applied when building the direct connections as part of a connection block. Direct connections can be inside a tile or across two tiles. Currently, across more than two tiles are not supported! :numref:`fig_ecb_allowed_direct_connection` illustrates the region (in red) where any input pin is allowed to be driven by any output pin. .. _fig_ecb_allowed_direct_connection: .. figure:: ecb_allowed_direct_connection.png Allowed connections inside a tile for enhanced connection block (see the highlighted region) :numref:`fig_ecb_allowed_direct_connection_inner_tile_example` shows a few feedback connections which can be built inside connection blocks. Note that feedback connections are fully allowed between any pins on the same side of a programmable block. .. _fig_ecb_allowed_direct_connection_inner_tile_example: .. figure:: ecb_allowed_direct_connection_inner_tile_example.png Example of feedback connections inside a tile for enhanced connection block For instance, a non-tileable VPR architecture defines: .. code-block:: xml :numref:`fig_ecb_allowed_direct_connection_inter_tile_example` shows a few inter-tile connections which can be built inside connection blocks. Note that inter-tile connections are subjected to the restrictions depicted in :numref:`fig_ecb_allowed_direct_connection` .. _fig_ecb_allowed_direct_connection_inter_tile_example: .. figure:: ecb_allowed_direct_connection_inter_tile_example.png Example of connections across two tiles for enhanced connection block :numref:`fig_ecb_forbid_direct_connection_example` illustrates some inner-tile and inter-tile connections which are not allowed. Note that feedback connections across different sides are restricted! .. _fig_ecb_forbid_direct_connection_example: .. figure:: ecb_forbid_direct_connection_example.png Restrictions on building direct connections as part of a connection block Inter-tile Connections ~~~~~~~~~~~~~~~~~~~~~~ For this example, we will study a scan-chain implementation. The description could be: In a non-tileable architecture: .. code-block:: xml In a tileable architecture: .. code-block:: xml :numref:`fig_p2p_exple` is the graphical representation of the above scan-chain description on a 4x4 FPGA. .. _fig_p2p_exple: .. figure:: point2point_example.png An example of scan-chain implementation In this figure, the red arrows represent the initial direct connection. The green arrows represent the point to point connection to connect all the columns of CLB. A point to point connection can be applied in different ways than showed in the example section. To help the designer implement their point to point connection, a truth table with our new parameters is provided below. :numref:`fig_p2p_trtable` provides all possible variable combination and the connection it will generate. .. _fig_p2p_trtable: .. figure:: point2point_truthtable.png Point to point truth table VIB Architecture ~~~~~~~~~~~~~~~~ .. include:: VIB.rst