Dan Gisselquist

See https://github.com/jofrfu/tinyTPU/blob/b8df109e7bf1c358e89dee7fbf9cc0d65786b6fb/src/vhdl/AXI/tinyTPU_v1_0_S00_AXI.vhd#L353-L366 If both AWVALID and AWREADY are true on the same clock, the design should pick one, and come back later to handle the other.

Problem 1: ``` @CLOCK=name ``` doesn't turn into the clock information tree. ``` @CLOCK.RESET=i_reset ``` doesn't set the RESET field in the CLOCK subtag for the given clock.

Clicking save save's the file twice

2

If I create a diagram in wavedrom, online, and then click "Save As", I have to click "save" twice before the dialog goes away, and by that time I've saved...

As mentioned above, the shift amount for WSTRB is too high by a factor of 8x. Dan

Updated AXI-lite RAM to pass a formal verification check

1

These few updates were required to get your AXI-lite design to pass a formal verification check. At issue is the fact that BVALID (or RVALID for that matter) cannot be...

This issue surrounds the `GO_IRQ_STATE` command. This command typically follows a request from the device to perform some action, and then waits for the device to respond to the command...

Routing tables: A proposal

14

While the current routing algorithm used by the eth10g controller is blazing fast, is not very configurable. Worse, it requires a lot of logic to manage. Further, the current routing...