circuit-synthesis

Star

Here are 4 public repositories matching this topic...

frephs / polimi-RL

Star

Project assigment submission for the course "Prova Finale (progetto di reti logiche)" @ Polimi A.A. 23/24

circuit-synthesis logical-networks

Updated Oct 6, 2025
TeX

Miguel-Alvarado7 / RL-for-Digital-Multipliers

Star

Síntesis de multiplicadores binarios mediante RL tabular: agentes Monte Carlo, Q-learning y SARSA rellenan tablas de productos parciales verificadas en Verilog (Icarus, CPU) o evaluadas como tensores batched en GPU (PyTorch/CUDA).

reinforcement-learning q-learning sarsa digital-design montecarlo tabular-rl circuit-synthesis

Updated Aug 22, 2026
Python

NicolasMasselot / boolean-circuit-discovery

Star

Verified Boolean-circuit research releases and reproducible search methods

cryptography reproducible-research boolean-circuits circuit-synthesis multiplicative-complexity

Updated Aug 3, 2026

NicolasMasselot / research-bet-002-aes29-pipeline-resynthesis

Star

Verified 29-AND AES S-box circuits: 158 XOR/depth 30 and 159 XOR/depth 29

cryptography aes boolean-circuits circuit-synthesis multiplicative-complexity

Updated Aug 3, 2026
Python

Improve this page

Add a description, image, and links to the circuit-synthesis topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the circuit-synthesis topic, visit your repo's landing page and select "manage topics."

Learn more