Conference: | Verification Futures 2025 (click here to see full programme) |
Speaker: | Georg Meinhardt |
Presentation Title: | Rethinking AI Inference through Differentiable Logic Gate Networks (difflogic) |
Abstract: | Efficient AI inference is critical for edge computing and real-time systems. However, current hardware inference solutions such as binarized neural networks or quantization-based methods still rely heavily on resource-intensive operations like matrix multiplications and frequent memory access, limiting their latency, throughput, and power efficiency. In this presentation, we provide an introduction to differentiable logic gate networks (difflogic), a new neural network (AI) architecture designed specifically to address these limitations. Logic gate networks are neural network architectures using only fundamental digital circuit elements such as AND, OR, and XOR gates—completely eliminating matrix multiplications, integer arithmetic, and RAM-based weight storage. Previously, logic gate-based models required combinatorial optimization techniques for training, which limited their scalability and practical deployment. By employing differentiable relaxation techniques, logic gate networks can now be trained effectively using standard gradient descent methods. Using differentiable relaxations and end-to-end gradient-based learning leads to advances in latency, throughput, and power efficiency:
(Results from published ASIC-emulation on FPGA; compared against exising solutions such as AMD Xilinx FINN) Attendees will gain insights into the core principles behind difflogic, practical techniques for training and optimizing logic gate networks, and performance comparisons against traditional neural networks and other inference methods |
Speaker Bio: | Georg Meinhardt is Founding Engineer at DiffLogic Inc, the team behind differentiable logic gate networks. A mathematician (Oxford) turned hardware‑AI specialist, he bridges algorithm design and chip implementation, pushing sub‑10 ns neural inference on FPGAs. |
Key Points: |
|