google/xls

Describe the bug This is related to #4160 and #4161. I don't actually know what the root cause is. If you write the following code: pub fn array_rotl_fixed<K: u32, ELEMENT_SZ: u32, ARRAY_SZ: u32> (x: bits[ELEMENT_SZ][ARRAY_SZ]) -> bits[ELEMENT_SZ][ARRAY_SZ] { const K = K %…

Currently, we're using some somewhat old versions of Yosys and iverilog compiled via bazel_rules_hdl; possibly also as the scripts in there refer to @com_icarus_iverilog and @at_clifford_yosys. Both of thesea are on BCR, and it would probably be good to use these to reduce…

What's hard to do? (limit 100 words) Currently you can really do things like: type Index<N: u32> = uN[std::clog2(u32) + u32:1]; or struct SomeDataChunk<N: u32> { type Index = uN[std::clog2(u32) + u32:1], data: u32[N], index_start: Index, index_end: Index, } Current best…