/sci-electronics/

• ../
• bluespec
• circt
• coil64
• dsview
• kactus2
• liblxi
• logic-bin
• lxi-tools
• slang
• svls
• vcd
• verilator
• yosys