tsfpga.vivado package

Submodules

tsfpga.vivado.build_result module

class tsfpga.vivado.build_result.BuildResult(name: str)

Bases: object

name

The name of the build.

Type:

str

success

True if the build and all pre- and post hooks succeeded.

Type:

bool

synthesis_size

A dictionary with the utilization of primitives for the synthesized design. Will be None if synthesis failed or did not run.

Type:

dict

implementation_size

A dictionary with the utilization of primitives for the implemented design. Will be None if implementation failed or did not run.

Type:

dict

logic_level_distribution

A table with logic level distribution as reported by Vivado. Will be None for non-netlist builds. Will be None if synthesis failed or did not run.

Type:

str

__init__(name: str)
Parameters:

name – The name of the build.

property maximum_logic_level: None | int

The maximum level in the the BuildResult.logic_level_distribution. Will be None for non-netlist builds. Will be None if synthesis failed or did not run.

Returns:

The maximum logic level.

report() str | None

Return a report of the build result. Includes all metrics and information that has been extracted from the Vivado reports.

size_summary() str | None

Return a string with a formatted message of the size.

Returns:

A human-readable message of the latest size. None if no size is set.

tsfpga.vivado.build_result_checker module

class tsfpga.vivado.build_result_checker.BuildResultChecker(limit: Limit)

Bases: ABC

Base class for build result checkers that check a certain build result value against a limit.

Overload in subclass and implement the check method according to the resource you want to check.

__init__(limit: Limit)
Parameters:

limit – The limit that the specified resource shall be checked against.

abstract check(build_result: BuildResult) bool
Parameters:

build_result – Build result that shall be checked. Should come from a successful build.

Returns:

True if check passed, false otherwise.

class tsfpga.vivado.build_result_checker.DspBlocks(limit: Limit)

Bases: SizeChecker

In Vivado pre-2020.1 the resource was called “DSP48 Blocks” in the utilization report. After that it is called “DSP Blocks”. This class checks for both.

check(build_result: BuildResult) bool

Same as super class, but checks for the legacy name as well as the current name.

name: str = 'DSP Blocks'
class tsfpga.vivado.build_result_checker.EqualTo(value: int)

Bases: Limit

Limit to be used with a checker to see that a figure is equal to the specified value.

check(result_value: int | float) bool
class tsfpga.vivado.build_result_checker.Ffs(limit: Limit)

Bases: SizeChecker

name: str = 'FFs'
class tsfpga.vivado.build_result_checker.GreaterThan(value: int)

Bases: Limit

Limit to be used with a checker to see that a figure is greater than the specified value.

check(result_value: int | float) bool
class tsfpga.vivado.build_result_checker.LessThan(value: int)

Bases: Limit

Limit to be used with a checker to see that a figure is less than the specified value.

check(result_value: int | float) bool
class tsfpga.vivado.build_result_checker.Limit(value: int)

Bases: ABC

Base class for limit checks. Inherit and implement the check in subclass.

__init__(value: int) None
Parameters:

value – The result value shall be compared with this number.

abstract check(result_value: int | float) bool
class tsfpga.vivado.build_result_checker.LogicLuts(limit: Limit)

Bases: SizeChecker

name: str = 'Logic LUTs'
class tsfpga.vivado.build_result_checker.LutRams(limit: Limit)

Bases: SizeChecker

name: str = 'LUTRAMs'
class tsfpga.vivado.build_result_checker.MaximumLogicLevel(limit: Limit)

Bases: BuildResultChecker

Check the maximum logic level of a build result against a limit.

check(build_result: BuildResult) bool
Parameters:

build_result – Build result that shall be checked. Should come from a successful build.

Returns:

True if check passed, false otherwise.

name = 'Maximum logic level'
class tsfpga.vivado.build_result_checker.Ramb(limit: Limit)

Bases: SizeChecker

Combined checker for RAMB36 and RAMB18 count. Each RAMB18 counts as half a RAMB36.

check(build_result: BuildResult) bool

Similar to super class, but takes out two result values.

name: str = 'RAMB'
class tsfpga.vivado.build_result_checker.Ramb18(limit: Limit)

Bases: SizeChecker

name: str = 'RAMB18'
class tsfpga.vivado.build_result_checker.Ramb36(limit: Limit)

Bases: SizeChecker

name: str = 'RAMB36'
class tsfpga.vivado.build_result_checker.SizeChecker(limit: Limit)

Bases: BuildResultChecker

Check a build result size value against a limit.

Overload and set the correct name, according to the names in the vendor utilization report.

Note that since this is to be used by netlist builds it checks the synthesized size, not the implemented one, even if available.

check(build_result: BuildResult) bool
Parameters:

build_result – Build result that shall be checked. Should come from a successful build.

Returns:

True if check passed, false otherwise.

name: str
class tsfpga.vivado.build_result_checker.Srls(limit: Limit)

Bases: SizeChecker

name: str = 'SRLs'
class tsfpga.vivado.build_result_checker.TotalLuts(limit: Limit)

Bases: SizeChecker

name: str = 'Total LUTs'
class tsfpga.vivado.build_result_checker.Uram(limit: Limit)

Bases: SizeChecker

name: str = 'URAM'

tsfpga.vivado.common module

tsfpga.vivado.common.get_git_sha_slv(git_directory: Path) tuple[str, str]

Get the current git SHA encoded as 32-character binary strings. Suitable for setting as std_logic_vector generics to a Vivado build, where they can be assigned to software-accessible registers to keep track of what revision an FPGA was built from.

Will return the left-most 16 characters of the git SHA, encoded into two 32-character binary strings.

Parameters:

directory – The directory where git commands will be run.

Returns:

First object in tuple is the left-most eight characters of the git SHA encoded as a 32-character binary string. Second object is the next eight characters from the git SHA.

tsfpga.vivado.common.get_vivado_path(vivado_path: Path | None = None) Path

Wrapper to get a path to Vivado executable.

Parameters:

vivado_path – Path to vivado executable. Leave as None to use whatever is available in the system PATH.

tsfpga.vivado.common.get_vivado_version(vivado_path: Path | None = None) str

Get the version number of the Vivado installation.

Parameters:

vivado_path – Path to vivado executable. Leave as None to use whatever is available in the system PATH.

Returns:

The version, e.g. "2021.2".

tsfpga.vivado.common.run_vivado_gui(vivado_path: Path | None, project_file: Path) bool

Setting cwd ensures that any .log or .jou files produced are placed in the same directory as the project.

Parameters:
  • vivado_path – Path to Vivado executable. Leave as None to use whatever is available in the system PATH.

  • project_file – Path to a project .xpr file.

Returns:

True if everything went well.

tsfpga.vivado.common.run_vivado_tcl(vivado_path: Path | None, tcl_file: Path, no_log_file: bool = False) bool

Setting cwd ensures that any .log or .jou files produced are placed in the same directory as the TCL file that produced them.

Parameters:
  • vivado_path – Path to Vivado executable. Can set to None to use whatever version is in PATH.

  • tcl_file – Path to TCL file.

  • no_log_file – Optionally set Vivado flags to not create log and journal files.

Returns:

True if everything went well.

tsfpga.vivado.common.to_tcl_path(path: Path) str

Return a path string in a format suitable for TCL.

tsfpga.vivado.generics module

class tsfpga.vivado.generics.BitVectorGenericValue(value: str)

Bases: object

Use this type for generic values of type std_logic_vector.

__init__(value: str) None
Parameters:

value – A string of variable length containing only “1” or “0”.

property length: int

The number of bits in the vector.

class tsfpga.vivado.generics.StringGenericValue(value: str)

Bases: object

Use this type for generic values of type string.

__init__(value: str) None
Parameters:

value – A string of variable length with any content.

tsfpga.vivado.generics.get_vivado_tcl_generic_value(value: bool | int | float | StringGenericValue | BitVectorGenericValue) str

Convert generic values of different types to the format recognized by Vivado TCL: https://www.xilinx.com/support/answers/52217.html

Parameters:

value – A generic value of native Python type..

Returns:

The value formatted as TCL.

tsfpga.vivado.hierarchical_utilization_parser module

class tsfpga.vivado.hierarchical_utilization_parser.HierarchicalUtilizationParser

Bases: object

Used for parsing the report_utilization -hierarchical report generated by Vivado.

static get_size(report: str) dict[str, int]

Takes a hierarchical utilization report as a string and returns the top level size for the specified run.

Parameters:

report (str) – A string containing the entire Vivado hierarchical utilization report.

tsfpga.vivado.ip_cores module

class tsfpga.vivado.ip_cores.VivadoIpCores(modules: ModuleList, output_path: Path, part_name: str, vivado_project_class: type[VivadoProject] | None = None)

Bases: object

Handle a list of IP core sources. Has a mechanism to detect whether a regenerate of IP files is needed.

__init__(modules: ModuleList, output_path: Path, part_name: str, vivado_project_class: type[VivadoProject] | None = None) None
Parameters:
  • modules – IP cores from these modules will be included.

  • output_path – The Vivado project will be placed here.

  • part_name – Vivado part name to be used for the project.

  • vivado_project_class – The Vivado project class that will be used for the IP core project. Is safe to leave at default in most cases.

property compile_order_file: Path

Path to the generated compile order file.

Type:

pathlib.Path

create_vivado_project() None

Create IP core Vivado project.

create_vivado_project_if_needed() bool

Create IP core Vivado project if anything has changed since last time this was run. If

  • List of TCL files that create IP cores,

  • and contents of these files,

is the same then it will not create. But if anything is added or removed from the list, or the contents of a TCL file is changed, there will be a recreation.

Returns:

True if Vivado project was created. False otherwise.

project_name = 'vivado_ip_project'
property vivado_project_file: Path

Path to the Vivado project file.

Type:

pathlib.Path

tsfpga.vivado.logic_level_distribution_parser module

class tsfpga.vivado.logic_level_distribution_parser.LogicLevelDistributionParser

Bases: object

Used for parsing the report_design_analysis -logic_level_distribution report generated by Vivado.

This code is very hard coded for how the report and table is formatted. See the unit tests for examples of this formatting.

static get_maximum_logic_level(table: str) int

Returns the maximum logic level in the table.

Parameters:

table – The table as returned by get_table().

Returns:

The maximum logic level.

static get_table(report: str) str

Takes a report as a string and returns the table.

Parameters:

report – A string containing the entire Vivado report_design_analysis -logic_level_distribution report.

tsfpga.vivado.project module

class tsfpga.vivado.project.VivadoIpCoreProject(**kwargs: Any)

Bases: VivadoProject

A Vivado project that is only used to generate simulation models of IP cores.

__init__(**kwargs: Any) None
Parameters:

kwargs – Arguments as accepted by VivadoProject.__init__().

build(**kwargs: Any)

Not implemented.

ip_cores_only = True
class tsfpga.vivado.project.VivadoNetlistProject(analyze_synthesis_timing: bool = False, build_result_checkers: list[SizeChecker | MaximumLogicLevel] | None = None, **kwargs: Any)

Bases: VivadoProject

Used for handling Vivado build of a module without top level pinning.

__init__(analyze_synthesis_timing: bool = False, build_result_checkers: list[SizeChecker | MaximumLogicLevel] | None = None, **kwargs: Any) None
Parameters:
  • analyze_synthesis_timing – Enable analysis of the synthesized design’s timing. This will make the build flow open the design, and check for unhandled clock crossings and pulse width violations. Enabling it will add significant build time (can be as much as +40%). Also, in order for clock crossing check to work, the clocks have to be created using a constraint file.

  • build_result_checkers – Checkers that will be executed after a successful build. Is used to automatically check that e.g. resource utilization is not greater than expected.

  • kwargs – Further arguments accepted by VivadoProject.__init__().

build(**kwargs: Any) BuildResult

Build the project.

Parameters:

kwargs – All arguments as accepted by VivadoProject.build().

class tsfpga.vivado.project.VivadoProject(name: str, modules: ModuleList, part: str, top: str | None = None, generics: dict[str, Any] | None = None, constraints: list[Constraint] | None = None, tcl_sources: list[Path] | None = None, build_step_hooks: list[BuildStepTclHook] | None = None, vivado_path: Path | None = None, default_run_index: int = 1, impl_explore: bool = False, defined_at: Path | None = None, **other_arguments: Any)

Bases: object

Used for handling a Xilinx Vivado HDL project

__init__(name: str, modules: ModuleList, part: str, top: str | None = None, generics: dict[str, Any] | None = None, constraints: list[Constraint] | None = None, tcl_sources: list[Path] | None = None, build_step_hooks: list[BuildStepTclHook] | None = None, vivado_path: Path | None = None, default_run_index: int = 1, impl_explore: bool = False, defined_at: Path | None = None, **other_arguments: Any)

Class constructor. Performs a shallow copy of the mutable arguments, so that the user can e.g. append items to their list after creating an object.

Parameters:
  • name – Project name.

  • modules – Modules that shall be included in the project.

  • part – Part identification.

  • top – Name of top level entity. If left out, the top level name will be inferred from the name.

  • generics

    A dict with generics values (name: value). Use this parameter for “static” generics that do not change between multiple builds of this project. These will be set in the project when it is created.

    Compare to the build-time generic argument in build().

    The generic value shall be of type

    • bool (suitable for VHDL type boolean and std_logic),

    • int (suitable for VHDL type integer, natural, etc.),

    • float (suitable for VHDL type real),

    • BitVectorGenericValue (suitable for VHDL type std_logic_vector, unsigned, etc.), or

    • StringGenericValue (suitable for VHDL type string).

  • constraints – Constraints that will be applied to the project.

  • tcl_sources – A list of TCL files. Use for e.g. block design, pinning, settings, etc.

  • build_step_hooks – Build step hooks that will be applied to the project.

  • vivado_path – A path to the Vivado executable. If omitted, the default location from the system PATH will be used.

  • default_run_index – Default run index (synth_X and impl_X) that is set in the project. Can also use the argument to build() to specify at build-time.

  • defined_at – Optional path to the file where you defined this project. To get a useful build_fpga.py --list message. Is useful when you have many projects set up.

  • other_arguments

    Optional further arguments. Will not be used by tsfpga, but will instead be passed on to

    along with further arguments supplied at build-time to create() and build().

    Note

    This is a “kwargs” style argument. You can pass any number of named arguments.

build(project_path: Path, output_path: Path | None = None, run_index: int | None = None, generics: dict[str, Any] | None = None, synth_only: bool = False, from_impl: bool = False, num_threads: int = 12, **pre_and_post_build_parameters: Any) BuildResult

Build a Vivado project

Parameters:
  • project_path – A path containing a Vivado project.

  • output_path – Results (bit file, …) will be placed here.

  • run_index – Select Vivado run (synth_X and impl_X) to build with.

  • generics

    A dict with generics values (dict(name: value)). Use for run-time generics, i.e. values that can change between each build of this project.

    Compare to the create-time generics argument in __init__().

    The generic value types follow the same rules as for __init__().

  • synth_only – Run synthesis and then stop.

  • from_impl – Run the impl steps and onward on an existing synthesized design.

  • num_threads – Number of parallel threads to use during run.

  • pre_and_post_build_parameters

    Optional further arguments. Will not be used by tsfpga, but will instead be sent to

    along with further other_arguments supplied to __init__().

    Note

    This is a “kwargs” style argument. You can pass any number of named arguments.

Returns:

Result object with build information.

create(project_path: Path, ip_cache_path: Path | None = None, **other_arguments: Any) bool

Create a Vivado project

Parameters:
Returns:

True if everything went well.

open(project_path: Path) bool

Open the project in Vivado GUI.

Parameters:

project_path – A path containing a Vivado project.

Returns:

True if everything went well.

post_build(**kwargs: Any) bool

Override this function in a subclass if you wish to do something useful with it. Will be called from build() right after the call to Vivado.

An example use case for this function is to encrypt the bit file, or generate any other material that shall be included in FPGA release artifacts.

Note

This default method does nothing. Shall be overridden by project that utilize this mechanism.

Parameters:

kwargs – Will have all the build() parameters in it. Including additional parameters from the user. Will also include build_result with implemented/synthesized size, which can be used for asserting the expected resource utilization.

Returns:

True if everything went well.

pre_build(**kwargs: Any) bool

Override this function in a subclass if you wish to do something useful with it. Will be called from build() right before the call to Vivado.

Parameters:

kwargs – Will have all the build() parameters in it. Including additional parameters from the user.

Returns:

True if everything went well.

pre_create(**kwargs: Any) bool

Override this function in a subclass if you wish to do something useful with it. Will be called from create() right before the call to Vivado.

An example use case for this function is when TCL source scripts for the Vivado project have to be auto generated. This could e.g. be scripts that set IP repo paths based on the Vivado system PATH.

Note

This default method does nothing. Shall be overridden by project that utilize this mechanism.

Parameters:

kwargs – Will have all the create() parameters in it, as well as everything in the other_arguments argument to VivadoProject.__init__().

Returns:

True if everything went well.

project_file(project_path: Path) Path
Parameters:

project_path – A path containing a Vivado project.

Returns:

The project file of this project, in the given folder

tsfpga.vivado.project.copy_and_combine_dicts(dict_first: dict[str, Any] | None, dict_second: dict[str, Any] | None) dict[str, Any]

Will prefer values in the second dict, in case the same key occurs in both. Will return an empty dictionary if both are None.

tsfpga.vivado.simlib module

class tsfpga.vivado.simlib.VivadoSimlib

Bases: object

Factory class for getting a Vivado simlib API.

static init(output_path: Path, vunit_proj: VUnit, vivado_path: Path | None = None) VivadoSimlibCommon

Get a Vivado simlib API suitable for your current simulator. Uses VUnit mechanism for detecting the simulator currently in use.

Will return a VivadoSimlibCommon subclass object.

Parameters:
  • output_path – The compiled simlib will be placed here.

  • vunit_proj – The VUnit project that is used to run simulation.

  • vivado_path – Path to Vivado executable. If left out, the default from system PATH will be used.

tsfpga.vivado.simlib_commercial module

class tsfpga.vivado.simlib_commercial.VivadoSimlibCommercial(vivado_path: Path | None, output_path: Path, vunit_proj: Any, simulator_interface: Any)

Bases: VivadoSimlibCommon

Handle Vivado simlib with a commercial simulator.

__init__(vivado_path: Path | None, output_path: Path, vunit_proj: Any, simulator_interface: Any)
Parameters:
  • output_path – The compiled simlib will be placed here.

  • vunit_proj – The VUnit project that is used to run simulation.

  • simulator_interface – A VUnit SimulatorInterface object.

  • vivado_path – Path to Vivado executable.

library_names: list[str] = ['unisim', 'secureip', 'unimacro', 'unifast', 'xpm']

tsfpga.vivado.simlib_common module

class tsfpga.vivado.simlib_common.VivadoSimlibCommon(vivado_path: Path | None, output_path: Path)

Bases: ABC

Class for handling Vivado simlib used for simulation. Keeps track of when a (re)compile is needed.

This is a base class that defines an interface and some common methods. See subclasses for details: VivadoSimlibGhdl, VivadoSimlibCommercial.

__init__(vivado_path: Path | None, output_path: Path) None

Call from subclass. Please do not instantiate this class directly.

add_to_vunit_project() None

Add the compiled simlib to your VUnit project.

property artifact_name: str

The name of the folder where simlib is or will be compiled. Follows a format vivado-simlib-WW.XX.YY.ZZ suitable for storage and versioning in Artifactory.

compile() None

Compile simlib.

compile_if_needed() bool

Compile if needed (if compile_is_needed condition is not fulfilled).

property compile_is_needed: bool

If there is compiled simlib available that matches

  • Operating system

  • Vivado version

  • Simulator version

then there should not be a recompile.

Note

Subclass implementations might add further conditions.

Returns:

True if compiled simlib is not available. False otherwise.

from_archive(archive: Path) None

Unpack compiled simlib from an existing archive.

Parameters:

archive – Path to a zip archive with previously compiled simlib.

library_names: list[str]
to_archive() Path

Compress compiled simlib to an archive.

Returns:

Path to the archive.

tsfpga.vivado.simlib_ghdl module

class tsfpga.vivado.simlib_ghdl.VivadoSimlibGhdl(vivado_path: Path | None, output_path: Path, vunit_proj: Any, simulator_interface: Any)

Bases: VivadoSimlibCommon

Handle Vivado simlib with GHDL.

__init__(vivado_path: Path | None, output_path: Path, vunit_proj: Any, simulator_interface: Any) None
Parameters:
  • output_path – The compiled simlib will be placed here.

  • vunit_proj – The VUnit project that is used to run simulation.

  • simulator_interface – A VUnit SimulatorInterface class.

  • vivado_path – Path to Vivado executable.

library_names: list[str] = ['unisim', 'secureip', 'unimacro', 'unifast']

tsfpga.vivado.tcl module

class tsfpga.vivado.tcl.VivadoTcl(name: str)

Bases: object

Class with methods for translating a set of sources into Vivado TCL

__init__(name: str) None
build(project_file: Path, output_path: Path, num_threads: int, run_index: int, generics: dict[str, Any] | None = None, synth_only: bool = False, from_impl: bool = False, impl_explore: bool = False, analyze_synthesis_timing: bool = True) str
create(project_folder: Path, modules: ModuleList, part: str, top: str, run_index: int, generics: dict[str, str] | None = None, constraints: list[Constraint] | None = None, tcl_sources: list[Path] | None = None, build_step_hooks: list[BuildStepTclHook] | None = None, ip_cache_path: Path | None = None, disable_io_buffers: bool = True, ip_cores_only: bool = False, other_arguments: dict[str, Any] | None = None) str