`inline-verilog`: Execute Verilog circuits from Haskell

2025-06-09 inline-verilog : Execute Verilog circuits from Haskell Like for most of the past 13 years, early June meant attending ZuriHac . The event was as pleasant and well organized as ever. While talking to Ed Kmett he half-jokingly mentioned that it would be useful to have a Verilog analogue of inline-c , especially to test Verilog circuits against Haskell functions. A few hours later I had…