Add Nexys Video examples into the repository

[mithro]

• [ ] Blinky
• [ ] Counter
• [ ] Ibex
• [ ] LiteX?

[mithro]

Blinky is already in fpga-perf-tool and symbiflow-arch-defs?

[mithro]

https://github.com/SymbiFlow/symbiflow-arch-defs/tree/master/xc/xc7/tests/soc/ibex

GitHub

SymbiFlow/symbiflow-arch-defs

FOSS architecture definitions of FPGA hardware useful for doing PnR device generation. - SymbiFlow/symbiflow-arch-defs

[andrewb1999]

@mithro Is there a tar available with a stable a200t rr graph/architecture? I'm interested in getting some other people to use the nexys video with symbiflow, so I would be willing to add some examples here when I have time.

[mithro]

@andrewb1999 - I'm wrong person to ask. Maybe @acomodi / @mkurc-ant / @rw1nkler can answer?

[acomodi]

@andrewb1999 The latest tars produced by symbiflow-arch-defs master do contain the 200T data files (latest)

[tcal-x]

I've built the counter example for the Nexys Video board, but now I'm not sure how to proceed.

On https://symbiflow-examples.readthedocs.io/en/latest/building-examples.html -- does the same OpenOCD config file work with the Nexys Video board? How should JP3 be configured, "SD" or "USB"? What about JP4, "QSPI", "JTAG", "USB/SD"?

We also need additions to the Running example designs page for the Nexys Video board -- it's more confusing since there many more connectors. I guess the connecting via UART can wait until the Ibex/LiteX examples are ready.

Edit: I did figure it out eventually:

• There is a digilent_nexys_video.cfg file to use in place of digilent_arty.cfg in the openocd command
• JP4 should be in the middle "JTAG" position
• Connect the programming cable to J12 ("PROG")