01:04 <jevinskie[m]> <jevinskie[m]> "It looks like dynamic timing (e..." <- Ok after a bit of a fright about verilator errors and some more model patching the model runs under both verilator and Icarus verilog. :) here is the patch if anyone is interested https://github.com/jevinskie/General-Slow-DDR3-Interface/blob/jev/main/ddr3-model-patch.patch

01:38 <jevinskie[m]> Does anybody have examples of software that intelligently/prettily prints in decimal or hex? Obviously 1000 should be decimal and 0xFFFFF should be hex but what’s a good algorithm or set of heuristics to use? This is in reference to https://github.com/enjoy-digital/litex/pull/1528

03:16 <MoeIcenowy> somlo: I think the code that generates DTS in rocket-chip seems to be out-of-date

04:23 <somlo> in that case we should consider submitting a PR with an update or fix to github.com/chipsalliance/rocket-chip