High throughput AXI full master.

[Dmitriy Ivashin]

Not really an issue, just wondering if you already working/planning to make one and formally verify it so I won't duplicate the work.
Looking for high throughput AXI master with simple user interface similar to used in demofull.v
Thanks!

[Dan Gisselquist]

There are already several high throughput masters within this repository. There's the AXI-lite to AXI bridge, the WB to AXI bridge, the AXI crossbar and it's AXI-lite sister, the AXI stream to AXI (mm) bridge, and then again the AXI (mm) to AXI stream bridge. All of these cores are fully formally verified. The properties necessary to verify them are available to my Patreon sponsors on request.

What more would you be looking for?