37 skills found · Page 1 of 2
NYU-MLDA / OpenABCOpenABC-D is a large-scale labeled dataset generated by synthesizing open source hardware IPs. This dataset can be used for various graph level prediction problems in chip design.
yardstiq / Quantum Benchmarksbenchmarking quantum circuit emulators for your daily research usage
zehao-dong / CktGNNOpen Circuit Benchmark OCB and source code for CktGNN (https://openreview.net/forum?id=NE2911Kq1sp).
AvestimehrResearchGroup / AICircuitThe implementation of AICircuit: A Multi-Level Dataset and Benchmark for AI-Driven Analog Integrated Circuit Design
santoshsmalagi / BenchmarksA collection of ISCAS,ITC,TAU and other Benchmark Circuits for EDA tool evaluation.
Sladuca / Sha256 Prover ComparisonSome very rough benchmarks between sha256 circuits in different proving systems
ArlineQ / Arline BenchmarksArline Benchmarks platform allows to benchmark various algorithms for quantum circuit mapping/compression against each other on a list of predefined hardware types and target circuit classes
jpsety / Verilog Benchmark CircuitsEPFL and ISCAS85 combinational benchmark circuits in generic gate verilog
njross / OptimizerBenchmark quantum circuits before and after optimization.
cowardsa / DatapathBenchA collection of datapath circuit design and verification benchmarks
scale-lab / BACSBenchmarks for Approximate Circuit Synthesis
rajdeep87 / Verilog CANSI-C benchmarks generated from Verilog RTL circuits with safety assertions. Used for Formal Property Verification.
Quantinuum / Tket BenchmarkingScripts and circuits for benchmarking tket
FlyingPumba / InterpBenchA benchmark for mechanistic discovery of circuits in Transformers
bluesceada / Iscas89 Hl VerilogRe-host of ISCAS89 sequential benchmark circuits in higher level verilog (without "DFF")
Shigoto-dev19 / Ec Elgamal CircomElGamal encryption/decryption Circom2 circuits on the Baby Jubjub curve with TypeScript integration for input handling, testing, and benchmarking.
proxima-one / Keccak Circuit BenchmarksBenchmarks of all public available SNARK/STARK keccak circuits
cda-tum / Mnt BenchMNT Bench - An MNT tool for Benchmarking FCN circuits
philippaltmann / QCDQuantum Circuit Designer: A gymnasium-based set of environments for benchmarking reinforcement learning for quantum circuit design.
cure-lab / MMCircuitEvalA comprehensive multimodal circuit-focused benchmark for evaluating large language models (LLMs)
