Syn2Logic: End-to-End Neuromorphic Design Automation

arXiv:2608.25536 · cs.AR, cs.AI · Submitted 2026-08-26 · Read on arXiv

cs.AR, cs.AI

Submitted: 2026-08-26

Updated: 2026-09-12

Code: https://github.com/t-dillon/tdoku

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Trace — 24× in this paper · explained in 2 episodes
• Accuracy — 23× in this paper · explained in 1 episode
• Fidelity — 8× in this paper · explained in 2 episodes
• Core — 6× in this paper · explained in 2 episodes
• Pruning — 6× in this paper · explained in 4 episodes
• Adaptation — 5× in this paper · explained in 1 episode
• Electronic Design Automation — 5× in this paper
• Leaky Integrate-and-Fire — 5× in this paper
• Benchmark — 4× in this paper · explained in 2 episodes
• Generative AI — 4× in this paper · explained in 2 episodes
• Sparsity — 4× in this paper · explained in 4 episodes
• Combinatorial Optimization — 3× in this paper · explained in 2 episodes
• Fine-Tuning — 3× in this paper · explained in 5 episodes
• Generalization — 3× in this paper · explained in 13 episodes
• Spike-Timing-Dependent Plasticity — 3× in this paper
• Abstraction — 2× in this paper · explained in 1 episode
• Bayesian Confidence Propagation Neural Network — 2× in this paper
• Field-Programmable Gate Array — 2× in this paper
• Neuromorphic Intermediate Representation — 2× in this paper
• Ordinary Differential Equations (ODEs) — 2× in this paper · explained in 2 episodes
• Actor — 1× in this paper · explained in 3 episodes
• Adaptability — 1× in this paper · explained in 1 episode
• Artificial Intelligence (AI) — 1× in this paper · explained in 2 episodes
• Benchmarking — 1× in this paper · explained in 3 episodes
• Computational Biology — 1× in this paper · explained in 2 episodes
• Decoupling — 1× in this paper · explained in 2 episodes
• Domain-Specific Language (DSL) — 1× in this paper · explained in 2 episodes
• Energy Efficiency — 1× in this paper · explained in 3 episodes
• Loss Function — 1× in this paper · explained in 2 episodes
• Quantization — 1× in this paper · explained in 12 episodes
• Unified Framework — 1× in this paper · explained in 5 episodes
• Verification — 1× in this paper · explained in 2 episodes

Sources

• Neuromorphic Simulation of Drosophila Melanogaster Brain Connectome on Loihi 2
• A Survey of Neuromorphic Computing and Neural Networks in Hardware
• The SpiNNaker 2 Processing Element Architecture for Hybrid Digital Neuromorphic Computing
• Julia: A Fast Dynamic Language for Technical Computing
• Spiker+: a framework for the generation of efficient Spiking Neural Networks FPGA accelerators for inference at the edge
• A Fully-Configurable Open-Source Software-Defined Digital Quantized Spiking Neural Core Architecture
• Spiking Neural Network inference on FPGAs with hls4ml
• Efficient Hardware Acceleration of Sparsely Active Convolutional Spiking Neural Networks
• FireFly v2: Advancing Hardware Support for High-Performance Spiking Neural Network with a Spatiotemporal FPGA Accelerator

Related papers

• WitCert: Sound Runtime Risk Observability and Gating for KV-Cache Quantization
• Golden Ruler: A Numeric Format Catalog with Bit-Exact Conformance Vectors for FP8, BF16, MXFP4, and Microscaling Formats
• PoisonCap: Efficient Hierarchical Temporal Safety for CHERI
• Provisioning to Runtime Optimization of a 100 MW-Scale AI Cluster
• Bit-Accurate Modeling of GPU Matrix Multiply-Accumulate Units: Demystifying Numerical Discrepancy and Accuracy
• Optimizing Polynomial Multiplication and Fixed-Weight Sampling for HQC on ARM Cortex-M4