Wiring Circuits is as easy as 0-1-Omega, or is it... Posted on 2022-05-31idris dependent-types border-patrol tdvcs hdl systemverilog
Types as Interpreters for HDLs to Graphs. Posted on 2022-05-25idris dependent-types border-patrol tdvcs hdl systemverilog