/sci-electronics/

• ../
• bluespec
• circt
• dsview
• kactus2
• liblxi
• logic-bin
• lxi-tools
• open_pdks
• skywater-pdk
• slang
• svls
• verible
• verilator