Bitstream-phase rule: vivado_write_bitstream.
Rules
vivado_write_bitstream
load("@rules_vivado//vivado:bitstream.bzl", "vivado_write_bitstream")
vivado_write_bitstream(name, checkpoint, threads, with_xsa, write_bitstream_template)
Write a Vivado bitstream (.bit) from a routed checkpoint, optionally including a .xsa.
ATTRIBUTES
| Name | Description | Type | Mandatory | Default |
|---|---|---|---|---|
| name | A unique name for this target. | Name | required | |
| checkpoint | Routed checkpoint. | Label | required | |
| threads | Threads to pass to vivado which defines the amount of parallelism. | Integer | optional | 8 |
| with_xsa | Generate xsa too | Boolean | optional | False |
| write_bitstream_template | The write bitstream tcl template | Label | optional | "@rules_vivado//vivado/private:write_bitstream.tcl.template" |