Skip to content

Repository files navigation

An ice40 Beagleg backend replacing a PRU with an FPGA.

Send bitstream

To send the generated bitstream to the usb-connected FPGA use: dfu-util -D beagle-spi.dfu.

TODOs

[ ] Spi Protocol

Master initializes the comm. First byte is a command:

COMMANDS:

  • NOOP: Receive back the number of free slots we have in fifo.
  • STATUS: return as next 4 bytes the status
  • FILL_FIFO: The next transaction put all the data in fifo (until channel select is up again)

Formal verification

To run symbiosis, use sby -f fifo.sby

Planning-related research papers

About

"Definitely-not-beagle"-g spi backend.

Resources

Stars

2 stars

Watchers

3 watching

Forks

Releases

Packages

Contributors

Languages