Vivado providers.

Providers

VivadoIPBlockInfo
VivadoInterfaceInfo
VivadoPlacementCheckpointInfo
VivadoRoutingCheckpointInfo
VivadoSynthCheckpointInfo

VivadoIPBlockInfo

load("@rules_vivado//vivado:providers.bzl", "VivadoIPBlockInfo")

VivadoIPBlockInfo(is_interface, library, module_top, repo, vendor, version)

Info for a vivado ip block

FIELDS

Name	Description
is_interface	bool: True if this is an interface definition (repo-only, not instantiated via create_ip).
library	string: The library that the ip block belongs to.
module_top	string: The name of the ip block top module.
repo	list[File]: Directories containing the ip block (and any transitive ip block deps).
vendor	string: The vendor of the ip block.
version	string: The ip block version.

VivadoInterfaceInfo

load("@rules_vivado//vivado:providers.bzl", "VivadoInterfaceInfo")

VivadoInterfaceInfo(abstraction_definition, bus_definition, library, name, setup_tcl, vendor,
                    version)

Info for a Vivado IP-XACT interface definition

FIELDS

Name	Description
abstraction_definition	File: The abstraction definition XML file.
bus_definition	File: The bus definition XML file.
library	string: The library VLNV component.
name	string: The interface name.
setup_tcl	File: The TCL setup file for IP packaging.
vendor	string: The vendor VLNV component.
version	string: The version VLNV component.

VivadoPlacementCheckpointInfo

load("@rules_vivado//vivado:providers.bzl", "VivadoPlacementCheckpointInfo")

VivadoPlacementCheckpointInfo(checkpoint)

Contains information at output of placement.

FIELDS

Name	Description
checkpoint	File: a Vivado placement checkpoint (.dcp).

VivadoRoutingCheckpointInfo

load("@rules_vivado//vivado:providers.bzl", "VivadoRoutingCheckpointInfo")

VivadoRoutingCheckpointInfo(checkpoint)

Contains information at output of routing.

FIELDS

Name	Description
checkpoint	File: a Vivado post-route checkpoint (.dcp).

VivadoSynthCheckpointInfo

load("@rules_vivado//vivado:providers.bzl", "VivadoSynthCheckpointInfo")

VivadoSynthCheckpointInfo(checkpoint)

Contains information at output of synthesis.

FIELDS

Name	Description
checkpoint	File: a Vivado synthesis checkpoint (.dcp).