Tool
Tool
1002 entities#
1 Rosette
7 2 BOCHS
7 3 QuickCheckVEngine
6 4 FISH (Fast Instruction SyntHesis)
6 5 MicroTitan
6 6 RISC-V Rocket Core
6 7 Icarus Verilog
6 8 MINRES The Good Folk (TGF) Series RTL core
6 9 LLM4DV Framework
6 10 SCV Library
6 11 LIBRISCV
6 12 libopcodes
6 13 Kronos
6 14 spike ISA emulator
6 15 Mishegos
6 16 Cadence JasperGold
6 17 PULP ARA
6 18 Sail RISC-V Formal Model
6 19 QuickCheck
6 20 nML
6 21 Embench
6 22 Spike RISC-V ISA Simulator
6 23 SPEC CPU2006
6 24 SBVer
6 25 FISACO
6 26 OneSpin 360 DV RISC-V Verification App
6 27 BlackParrot Core
6 28 Isabelle/HOL
6 29 CondCSP Solver
6 30 Coq
6 31 Ollama
6 32 MiBench
6 33 DiffSpec
6 34 Yices
6 35 OpenRISC1200 (OR1200)
6 36 riscvOVPsimPlus
6 37 JQF
6 38 rtlv/shiva
6 39 Pin
6 40 Sail ISA Specification Language
6 41 EmuFuzzer
6 42 Fuzzware
5 43 RISC-V Opcodes Repository
5 44 RISCOF
5 45 DeepSeek-R1-distill-Qwen-7B
5 46 CheriBSD
5 47 ApproxMC
5 48 Theo
5 49 SystemVerilog Random Sequence Generator
5 50 FirePath
5 51 Renode
5 52 VAMP
5 53 STCS
5 54 STTVC
5 55 Syzkaller
5 56 RISC-V Opcodes
5 57 HAVEN
5 58 MMUSL
5 59 PSO-Fuzz
5 60 ImperasFPM
5 61 Fromajo
5 62 Xiangshan Processor
5 63 X-Gen
5 64 Protocol Buffers (protobufs)
5 65 boolector
5 66 NutShell
5 67 CRT Test Bench
5 68 PyVerilog
5 69 NetSyn
5 70 IBM GenesysPro Constrained Random Test Generator
5 71 BOOM (Berkeley Out-of-Order Machine)
5 72 TPC-H
5 73 Raven
5 74 Synopsys STING
5 75 gem5-MARVEL
5 76 Zynq-Parrot
5 77 Cadence Palladium
5 78 AVPGEN
4 79 GateProp
4 80 StressTest
4 81 sandsifter
4 82 V2PRO co-processor
4 83 armshaker
4 84 LLaMA-3.1-405B
4 85 RISCV-CTG
4 86 riscvISACOV
4 87 SimSoC
4 88 Coq proof assistant
4 89 UVM Testbench
4 90 Piparazzi
4 91 CryptoMiniSAT
4 92 SPARCv8
4 93 MPApplicationVerifier
4 94 RISC-V Random Instruction Generator (RIG)
4 95 STING
4 96 SystemVerilog assertions
4 97 USG (Universal Stimuli Generator)
4 98 ILAng
4 99 UVM (Universal Verification Methodology)
4 100 Universal Hardware Data Model
4