Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/chipsalliance/f4pga-xc-fasm2bels
Library to convert a FASM file into BELs importable into Vivado.
https://github.com/chipsalliance/f4pga-xc-fasm2bels
artix-7 bitstream fasm symbiflow tcl verilog vivado
Last synced: about 1 month ago
JSON representation
Library to convert a FASM file into BELs importable into Vivado.
- Host: GitHub
- URL: https://github.com/chipsalliance/f4pga-xc-fasm2bels
- Owner: chipsalliance
- License: apache-2.0
- Created: 2020-05-20T14:03:14.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2023-09-25T08:07:17.000Z (over 1 year ago)
- Last Synced: 2024-11-01T02:35:44.988Z (3 months ago)
- Topics: artix-7, bitstream, fasm, symbiflow, tcl, verilog, vivado
- Language: Verilog
- Homepage:
- Size: 1.34 MB
- Stars: 11
- Watchers: 11
- Forks: 12
- Open Issues: 12
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
FASM 2 BELs
-----------
fasm2bels is a tool designed to take a FASM file into Vivado.
It does this by generating a file describing the BEL connections (techmapped
Verilog) and TCL commands for Vivado which lock the BEL placements.
This makes it possible to perform simulation and analysis of a FASM file inside
Vivado.
In the absence of bugs, it is expected that after consuming the BEL
connections and TCL constraints Vivado will produce a bitstream identical to
the bitstream the FASM file would generate.
Installing
----------
After cloning this repo, run the following commands:
- `make env` - this should work with many versions of python3 and above.
- `make build`
Running tests
-------------
There are a set of tests to prevent regression and verify that all the functionalities
of fasm2bels correctly work.
Before running the test, export the following environmental variables to have a properly
working interchange files generation step:
```
export CAPNP_PATH=$(pwd)/third_party/capnproto-java/compiler/src/main/schema/
export INTERCHANGE_SCHEMA_PATH=$(pwd)/third_party/fpga-interchange-schema/interchange
```
Once the environment is ready, run the python tests:
- `make test-py` - It takes a few minutes to run all the tests (22).
An `OK` should appear at the bottom of the terminal run if successful.
Invoking
--------
`python3 -mfasm2bels `
Required arguments are:
- `--connection_database` - Path to connection database for part
- `--db_root` - Path to prjxray database for part
- `--part` - FPGA part
- `--fasm_file` - Path to FASM file to process
- verilog - Path to verilog file to write
- tcl - Path to TCL file to write
The first time you run it you will not have a connection database for the part. Provide a name for this parameter such as `./basys3.db` and the program will generate the database the first time you run. On subsequent runs you can then specify that filename and avoid re-building the database each time.
Here is an example run of the process:
```
python3 -mfasm2bels --connection_database mydb \
--db_root ~/prjxray/database/artix7 \
--part xc7a35tcpg236-1 \
--fasm_file file_name.fasm \
file_name.v file_name.tcl
```
Once the verilog and TCL is generated, it should be importable to Vivado with
a script roughly like:
```
create_project -force -part {part} design design
read_verilog {bit_v}
synth_design -top {top}
source {bit_tcl}
set_property IS_ENABLED 0 [get_drc_checks {{LUTLP-1}}]
place_design
route_design
```
Timing constraints should be provided as needed, along with other property
modifications as needed for the design. These properties are not embedded in
the bitstream, so must be supplied external.
Examples:
- `set_property CFGBVS VCCO [current_design]`
- `set_property CONFIG_VOLTAGE 3.3 [current_design]`
BELs / Sites supported
----------------------
- SLICEL (all)
- SLICEM (all)
- RAMB18/RAMB36 (BRAM only, no FIFO support)
- IOB (limited IOSTANDARDs)
- IOI
- IDELAY
- IDDR/ISERDES
- ODDR/OSERDES
- CLK\_HROW\_\*
- CLK\_BUFG\_\*
- PLLs
- PSS
Future work
-----------
- MMCMs
- BUFR/BUFMR and other clock buffers
- DSP