Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Create minitests for 7-series DSP #1903

Open
mkurc-ant opened this issue Apr 14, 2022 · 1 comment
Open

Create minitests for 7-series DSP #1903

mkurc-ant opened this issue Apr 14, 2022 · 1 comment

Comments

@mkurc-ant
Copy link
Contributor

There are fuzzers 100-dsp-mskpat and 101-dsp-pips that target Xilinx 7-series DSP tiles. They should already provide solution for all routing and most of DSP configuration bits. There is an open question whether this is sufficient for adding support for DSPs in f4pga toolchain even in plain multiplication mode.

This issue is about creating a number of simple "minitests". A minitest is a simple design that focuses on using a particular primitive in a meaningful way. Its purpose is to obtain a valid binary bitstream from Vendor tools so that it can be disassembled using open source tools. The goal is to verify if all bits / features that are enabled in the bitstream are properly documented by project X-ray. In another words: "are there any unknown bits".

Initially minitests for DSP should use it as pure multiplier. Once they are complete, subsequent ones may eg. use DSP input / output internal registers. All of them should allow to answer the question: "do we know enough bits to support DSP in F4PGA".

There are existing minitests for other FPGA resources already present under the minitest folder. Those can be used as a reference.

@KKtiandao
Copy link

I wanna add minitests about dsp. Is there any suggestions or branches ?

vishwamartur added a commit to vishwamartur/prjxray that referenced this issue Nov 12, 2024
Related to f4pga#1903

Add minitests for DSP verification in the `minitests` folder.

* **DSP Multiplier Minitests**
  - Add `Makefile` for DSP multiplier minitests in `minitests/dsp-multiplier/Makefile`.
  - Add `top.v` file for DSP multiplier minitests in `minitests/dsp-multiplier/top.v`.
  - Define a simple design using DSP as a pure multiplier.

* **DSP IO Registers Minitests**
  - Add `Makefile` for DSP IO registers minitests in `minitests/dsp-io-registers/Makefile`.
  - Add `top.v` file for DSP IO registers minitests in `minitests/dsp-io-registers/top.v`.
  - Define a simple design using DSP input/output internal registers.
vishwamartur added a commit to vishwamartur/prjxray that referenced this issue Nov 12, 2024
Related to f4pga#1903

Add minitests for DSP verification in the `minitests` folder.

* **DSP Multiplier Minitests**
  - Add `Makefile` for DSP multiplier minitests in `minitests/dsp-multiplier/Makefile`.
  - Add `top.v` file for DSP multiplier minitests in `minitests/dsp-multiplier/top.v`.
  - Define a simple design using DSP as a pure multiplier.

* **DSP IO Registers Minitests**
  - Add `Makefile` for DSP IO registers minitests in `minitests/dsp-io-registers/Makefile`.
  - Add `top.v` file for DSP IO registers minitests in `minitests/dsp-io-registers/top.v`.
  - Define a simple design using DSP input/output internal registers.

Signed-off-by: Vishwanath Martur <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants