Honored Contributor
Honored ContributorPartly answering my own question:
Re-configuring the main project to single-uncompressed-image and then re-generating the module makes a modest saving (down from 536LE to 492), reducing the address bus from 15 bits to 12. Changing read-burst-mode from "incrementing" to "wrapping" made a more significant difference - from 492LE to 410LE. This is somewhat surprising as I'd already configured the minimum burst size (2) and had hard-wired avmm_data_burstcount => "01" in the hope that this would cause logic related to burst count to get optimised away. There's loads of minor errors in the documentation, for example the timing diagrams for simple read show the waitreq signal never going active (actually it does) and the one for wrapping burst implausibly shows waitreq going active on the clock before it registers the read request.
