Dongsheng Zuo

1. E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis
   2024/03/21 by Chen Chen, Chen, Chen, Guangyu Hu +9 · 6 citations
   Computer Science · #Model-Driven Software Engineering Techniques #Logic, programming, and type systems #Formal Methods in Verification
2. UFO-MAC: A Unified Framework for Optimization of High-Performance Multipliers and Multiply-Accumulators
   2024/08/13 by Dongsheng Zuo, Jiadong Zhu, Zuo, Dongsheng +5 · 2 citations
   Computer Science · Engineering · #Advancements in Semiconductor Devices and Circuit Design #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Low-power high-performance VLSI design #Parallel Computing and Optimization Techniques