It needs dependent types to encode when signals are valid. I have looked at TL-Verilog, I love the language, I am on the fence with the syntax, which arguably,

It needs dependent types to encode when signals are valid. I have looked at TL-Verilog, I love the language, I am on the fence with the syntax, which arguably, is nearly an inconsequential nit given how far languages and tools need to progress. https://github.com/TL-X-org/TL-V_Projects https://github.com/TL-X-org/TL-V_Projects Wow, a TL-Verilog video! https://www.youtube.com/watch?v=o2epusH-fXI https://www.youtube.com/watch?v=o2epusH-fXI