Verilog FPGAs? Yosys ICs? PLAs? toolchains? testbench(es)? bitstream gateware mux # Terms for electronics GALs? BGA DIP SSOP QF[PN] nixpkgs? NixOS keypair whitelabel systemd