Tool
Tool
1002 entities#
1 RiscyOO
4 2 Vera
4 3 Rocket Chip SoC Generator
4 4 CV32E40P
4 5 VAMP (Verified Architecture Microprocessor)
4 6 InstrGen
4 7 HWFuzz
4 8 MPVer
4 9 BRVer
4 10 Google Closure Compiler
4 11 UVM (Universal Verification Methodology)
4 12 MINRES The Good Core (TGC)
4 13 Genesys-x86
4 14 ifuzz
4 15 MediaBench
4 16 clingo
4 17 ILAng
4 18 DESSERT
4 19 metaSMT
4 20 Neural Program Optimization
4 21 CAM-based Group Coverage Engine (CCE)
4 22 InstrGen (Instruction Generator)
4 23 μGP
4 24 Instruction-Injector
4 25 Rocket Chip Generator
4 26 CV32E40P (RI5CY)
4 27 Specman-Elite
4 28 Lem
4 29 SpinalFuzz
4 30 FPGA
4 31 Codasip Studio
4 32 ChiselTest
4 33 BA51-H
4 34 DeepTrans
4 35 Fairfuzz
4 36 CellDFT
4 37 RISCV-CTG
4 38 PPIGen
4 39 AFLGo
4 40 sandsifter
4 41 Simics
4 42 Chiffre
4 43 CTESK
4 44 Aldec Riviera-PRO
3 45 HOL4
3 46 Synopsys VCS Constraint Solver
3 47 Claude-4.0-Sonnet
3 48 RISC-V core
3 49 Sail Language
3 50 STM7 micro-controller
3 51 OneSpin IPC Verification Tool
3 52 Ans
3 53 StableBaselines3
3 54 ImperasFC
3 55 HAPS
3 56 GPT-3.5-turbo-0613
3 57 Emulation ROM Side Loading
3 58 ZeBu
3 59 Perl
3 60 LibAFL
3 61 TaPaSCo
3 62 Tandem Generator
3 63 SMV
3 64 Ghidra
3 65 ImperasTS
3 66 PowerPC Processor
3 67 ILAtor
3 68 ImperasSC
3 69 RVGEN2.py
3 70 EnCorpus
3 71 DAFL
3 72 FormalFuzzer
3 73 Magma
3 74 Surelog
3 75 whisper
3 76 Ordered Binary Decision Diagrams (OBDDs)
3 77 Vivado
3 78 Mentor Questa
3 79 SVA Testbench
3 80 AutoSVA
3 81 GDB
3 82 Jackson
3 83 PyH2P
3 84 ISA Disassembler
3 85 libbfd
3 86 Xilinx Vivado HLS
3 87 SV/UVM Testbench
3 88 RISC-V Sail Model
3 89 MIPS Processor Model (FSM)
3 90 FaultRTLIL
3 91 LangChain
3 92 PONO
3 93 RISCV-ISAC
3 94 MA2TG
3 95 FIRRTL
3 96 CUDD
3 97 IntroSpectre
3 98 DeepSeek-R1
3 99 TEESec
3 100 LLM-based Input Generator
3