Paul Rigge

### Module location https://github.com/Z3Prover/z3 ### Link to bzlmod issue in the module's repository _No response_ ### Any other context to provide? XLS has some portion of z3 bazelified [here](https://github.com/google/xls/tree/40ff9ce6f759d95e05b89b3194eb74bb8a914b26/dependency_support/z3) ###...

[enhancement] Non-bits-typed parametrics should be supported in procs

3

### What's hard to do? (limit 100 words) Currently, the assumption that proc parametrics are bits-typed seems baked in multiple places. ### Current best alternative workaround (limit 100 words) Use...

Support ram latency =/= 1 in codegen

1

RAM configurations allow latency to be specified and are treated as scheduling constraints, but the codegen pass currently implicitly assumes latency==1. Latency==0 is a special case because of how sends/receives...

### What's hard to do? (limit 100 words) There are some cases where you want to perform a receive based on some element of the received data, for example AXI...