Tool
Tool
1046 entities#
1 Choco Solver
2 2 ChatGPT-4.1
2 3 GitHub Copilot
2 4 MCP-Solver
2 5 e500 Processor Model (FSM)
2 6 model checker
2 7 TCA
2 8 ACTS
2 9 PET
2 10 ChocoPy
2 11 Gson
2 12 Apache Tomcat
2 13 template arbitrator unit
2 14 Progol
2 15 Cadence JasperGold FPV
2 16 Ultra96v2
2 17 EDA Playground
2 18 Googletest
2 19 regtool
2 20 numactl
2 21 GCC
2 22 GPT
2 23 RoBERTa
2 24 UVM Env Configurator
2 25 AutoBench
2 26 ConfiBench
2 27 Xilinx Vivado
2 28 Fault Injection Manager
2 29 Fault Emulation Engine
2 30 Xilinx UltraScale+ MPSoC ZCU102
2 31 RISC-V disassembler
2 32 SpecFuzz
2 33 pytest
2 34 Verisium Debug
2 35 CSRBox
2 36 template library
2 37 reggen
2 38 Isabelle
2 39 GNU assembler
2 40 DERIVE system
2 41 x86 test suites
2 42 VLIW test suites
2 43 sharpSAT
2 44 CodeLlama-7B-Instruct
2 45 CodeLlama-13B-Instruct
2 46 RISC-V instruction stream generator
2 47 PEAKTOP Toolchain
2 48 Trimaran Compiler
2 49 RISC-V CPU Core (ultraembedded/riscv)
2 50 System-C testbench
2 51 PK
2 52 Synopsys PrimeTime PX
2 53 GPT-4-turbo
2 54 Whisper ISS
2 55 SISL
2 56 Tenstorrent Vector Test Suite
2 57 EmbenchTM
2 58 UnityChipForXiangShan
2 59 Phi
2 60 Llama
2 61 Questa RTL Simulator
2 62 Valtrix STING
2 63 RISC-V Torture Test
2 64 Commercial RTL Simulator
2 65 SeC
2 66 CVC4 SMT solver
2 67 Fortress library
2 68 AMD Virtex UltraScale+ VU19P FPGA
2 69 StateMover
2 70 ChipScope
2 71 GPT-4
2 72 Chip-Chat
2 73 ChipGPT
2 74 Genesys Pro (GPro)
2 75 Mambo Full System Simulator
2 76 Architecture Explorer
2 77 Eclipse IDE
2 78 ImperasTS-VECT
1 79 Vitis HLS
1 80 Shakti AAPG (Automated Assembly Program Generator)
1 81 Siemens QuestaVerify
1 82 nuXmv
1 83 SimpliFI
1 84 SAMVA
1 85 Shgo
1 86 SeaHorn
1 87 Jasper Formal Verification
1 88 ISim
1 89 HDL Verifier
1 90 LLBMC
1 91 CVC4
1 92 RACE Solver
1 93 Google riscv-dv / COREV-DV
1 94 CVC3
1 95 Unison
1 96 python-constraint
1 97 GPT-Engineer
1 98 SATzilla
1 99 execution engine
1 100 Protégé
1