Publications (6)
Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis
Julien de Castelnau, Mingfei Yu, Giovanni De Micheli
Fully Homomorphic Encryption (FHE) is a promising privacy-preserving technology enabling secure computation over encrypted data. A major limitation of current FHE schemes is their…
Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization
Shubham Rai, Walter Lau Neto, Yukio Miyasaka +37
Logic synthesis is a fundamental step in hardware design whose goal is to find structural representations of Boolean functions while minimizing delay and area. If the function is c…
Unleashing the Power of T1-cells in SFQ Arithmetic Circuits
Rassul Bairamkulov, Mingfei Yu, Giovanni De Micheli
Rapid single-flux quantum (RSFQ), a leading cryogenic superconductive electronics (SCE) technology, offers extremely low power dissipation and high speed. However, implementing RSF…
Quantum Circuit Synthesis Using an Exact T Library
Hanyu Wang, Mingfei Yu, Xinrui Wu +1
In fault-tolerant quantum circuit synthesis, T gates supplied via magic states dominate space-time cost, while Clifford gates incur negligible overhead. Conventional flows minimize…
TRAM: Training Approximate Multiplier Structures for Low-Power AI Accelerators
Chang Meng, Hanyu Wang, Yuyang Ye +3
Reducing power consumption in AI accelerators is increasingly important. Approximate computing can reduce power consumption while keeping the accuracy loss small. Since multipliers…
Parallel Scheduling Self-attention Mechanism: Generalization and Optimization
Mingfei Yu, Masahiro Fujita
Over the past few years, self-attention is shining in the field of deep learning, especially in the domain of natural language processing(NLP). Its impressive effectiveness, along…