The most popular projects on SystemVerilog LibHunt by number of mentions https://www.libhunt.com/l/systemverilog Verilator open-source SystemVerilog simulator and lint system (14 mentions) Fri, 20 Mar 2026 14:57:15 -0700 https://www.libhunt.com/r/verilator verilator-47120 Baochip 1x Silicon (2 mentions) Mon, 09 Mar 2026 23:57:11 -0700 https://www.libhunt.com/r/baochip-1x baochip-1x-46866 Tamagotchi P1 for Analogue Pocket and MiSTer (5 mentions) Wed, 04 Mar 2026 10:57:13 -0800 https://www.libhunt.com/r/fpga-tamagotchi fpga-tamagotchi-46716 Ocelot: The Berkeley Out-of-Order Machine With V-EXT support (7 mentions) Wed, 21 Jan 2026 11:57:15 -0800 https://www.libhunt.com/r/riscv-ocelot riscv-ocelot-45654 Collection of IP and information on how to develop for openFPGA and Analogue Pocket (3 mentions) Tue, 04 Nov 2025 09:57:13 -0800 https://www.libhunt.com/r/analogue-pocket-utils analogue-pocket-utils-43797 A Verilog synthesis flow for Minecraft redstone circuits (16 mentions) Thu, 30 Oct 2025 12:57:27 -0700 https://www.libhunt.com/r/MinecraftHDL MinecraftHDL-43670 Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy. (23 mentions) Wed, 29 Oct 2025 09:57:14 -0700 https://www.libhunt.com/r/ibex ibex-43645 Tamagotchi P1 for Analogue Pocket and MiSTer (4 mentions) Wed, 29 Oct 2025 07:57:09 -0700 https://www.libhunt.com/r/fpga-tamagotchi fpga-tamagotchi-43636 Proving leftpad correct two-dozen different ways (6 mentions) Tue, 07 Oct 2025 01:57:06 -0700 https://www.libhunt.com/r/lets-prove-leftpad lets-prove-leftpad-43039 Framework providing operating system abstractions and a range of shared networking and memory services for common modern heterogeneous platforms. (2 mentions) Wed, 12 Mar 2025 09:57:30 -0700 https://www.libhunt.com/r/fpgasystems/Coyote Coyote-38118 OpenTitan: Open source silicon root of trust (16 mentions) Mon, 17 Feb 2025 21:57:23 -0800 https://www.libhunt.com/r/opentitan opentitan-37511 Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy. (22 mentions) Sat, 31 Aug 2024 05:57:06 -0700 https://www.libhunt.com/r/ibex ibex-33243 Apple II FPGA Co-Processor (3 mentions) Thu, 15 Aug 2024 09:57:10 -0700 https://www.libhunt.com/r/a2fpga_core a2fpga_core-32854 Proving leftpad correct two-dozen different ways (4 mentions) Wed, 12 Jun 2024 14:57:42 -0700 https://www.libhunt.com/r/lets-prove-leftpad lets-prove-leftpad-31255 Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy. (21 mentions) Tue, 30 Apr 2024 10:57:17 -0700 https://www.libhunt.com/r/ibex ibex-30213 Send video/audio over HDMI on an FPGA (2 mentions) Fri, 01 Mar 2024 09:57:32 -0800 https://www.libhunt.com/r/hdmi hdmi-28956 Macintosh Plus for MiSTer (2 mentions) Wed, 06 Dec 2023 16:57:26 -0800 https://www.libhunt.com/r/MacPlus_MiSTer MacPlus_MiSTer-27485 OpenTitan: Open source silicon root of trust (2 mentions) Mon, 26 Jun 2023 00:57:14 -0700 https://www.libhunt.com/r/opentitan opentitan-24368 ⛔ DEPRECATED ⛔ Lean but mean RISC-V system! (2 mentions) Tue, 09 May 2023 02:57:33 -0700 https://www.libhunt.com/r/pulp-platform/snitch snitch-23132 Tamagotchi P1 for Analogue Pocket and MiSTer (2 mentions) Sun, 30 Apr 2023 19:57:15 -0700 https://www.libhunt.com/r/fpga-tamagotchi fpga-tamagotchi-22931