Tool
Tool
1002 entities#
1 SpecFuzz
2 2 PCCoder
2 3 Synopsys VC Formal
2 4 Synopsys Formality
2 5 Capstone disassembler
2 6 Verisium Debug
2 7 template library
2 8 ScaleRTL-32B
2 9 Ibex Simple System
2 10 LISA Machine Description Language
2 11 reggen
2 12 Riviera-PRO
2 13 Cadence Incisive/Xcelium
2 14 Commercial RTL Simulator
2 15 Verilog
2 16 BTORMC
2 17 YOSYS-BMC
2 18 Isabelle
2 19 Intel Processor Trace
2 20 Off-chip Coverage Analyzer (OCA)
2 21 On-chip Data Capturing (ODC) unit
2 22 DAPO
2 23 FIVER
2 24 sv2v
2 25 GNU assembler
2 26 Profuzz
2 27 SeC
2 28 DERIVE system
2 29 Keystone
2 30 ISAAC
2 31 L3 Specification Language
2 32 sailcov
2 33 POWER7
2 34 OTBN toolchain
2 35 sharpSAT
2 36 GNU Prolog
2 37 pysmt
2 38 Trimaran Compiler
2 39 OpenVera
2 40 SQLite3
2 41 AV-Comparator
2 42 RISC-V CPU Core (ultraembedded/riscv)
2 43 Fuzzilicon
2 44 System-C testbench
2 45 Choco Solver
2 46 PK
2 47 ChatGPT
2 48 OpenOCD
2 49 ChatGPT-4.1
2 50 GitHub Copilot
2 51 MCP-Solver
2 52 CVC4 SMT solver
2 53 e500 Processor Model (FSM)
2 54 Synopsys PrimeTime PX
2 55 gen-binaries.py
2 56 VCS Constraint Profiler
2 57 otbn-rig
2 58 UVM-SystemC
2 59 Architecture Explorer
2 60 EmbenchTM
2 61 hwtypes
2 62 Fortress library
2 63 GPT-4-turbo
2 64 MESCAL Architecture Description Language (MADL)
2 65 JaCoP
2 66 Whisper ISS
2 67 SIGFuzz
2 68 model checker
2 69 QEMU-CHERI
2 70 BaseJump STL
2 71 GraphCov
2 72 BugsBunny
2 73 QuickCheck Verification Engine
2 74 Linux perf tool
2 75 Embench Benchmark Suite
2 76 nrfjprog
2 77 TCA
2 78 ACTS
2 79 PET
2 80 Jenkins
2 81 Questa
2 82 Honggfuzz
2 83 Chip-Chat
2 84 ChipGPT
2 85 Swimmer-RISCV
2 86 Tenstorrent Vector Test Suite
2 87 refdif
2 88 ChocoPy
2 89 Gson
2 90 AMD Virtex UltraScale+ VU19P FPGA
2 91 Apache Tomcat
2 92 Genesys Pro (GPro)
2 93 Imperas OVPsim
2 94 Synopsys Verdi Coverage
2 95 RTL simulator
2 96 template arbitrator unit
2 97 VAMOS microkernel
2 98 BART
2 99 UISFuzz
2 100 SQLite
2