SC-NeuroCore: Universal Stochastic Computing Framework for Neuromorphic Hardware

Abstract

A high-performance neuromorphic computing framework combining stochastic computing with spiking neural networks. 122 neuron models (1943-2026), Rust SIMD engine (111 models, 41.3 Gbit/s AVX-512, PyO3 bindings), bit-true Verilog RTL co-simulation, FPGA synthesis via IR compiler (SystemVerilog + MLIR/CIRCT), equation-to-Verilog compiler, formal verification (SymbiYosys, 7 modules, 65 properties), NIR bridge (18/18 primitives, interop with Norse/snnTorch/SpikingJelly), quantum hybrid computing (Qiskit + PennyLane), hyper-dimensional computing (HDC/VSA), Petri net simulation, CuPy GPU acceleration, JAX JIT training, MPI distributed simulation, identity continuity substrate, and 125-function spike train analysis toolkit.

Links

Evidence bundles

The following bundles are linked from this publication. Each one carries a studio.*.v1 envelope with claim boundary, evidence kind, and empirical level.