activity
20202026
most citedFlowTune: End-to-end Automatic Logic Optimization Exploration via Domain-specific Multi-armed Bandit

28 citations · 39 across the 18 of their papers we have counts for

collaborators
Showing cs.ARShow all

7 papers · 1 filter

cs.AR2024

MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning

Mingju Liu, Daniel Robinson, Yingjie Li +1

Technology mapping involves mapping logical circuits to a library of cells. Traditionally, the full technology library is used, leading to a large search space and potential overhe…

cs.AR2024★ 1 cited

BoolGebra: Attributed Graph-learning for Boolean Algebraic Manipulation

Yingjie Li, Anthony Agnesina, Yanqing Zhang +2

Boolean algebraic manipulation is at the core of logic synthesis in Electronic Design Automation (EDA) design flow. Existing methods struggle to fully exploit optimization opportun…

cs.AR2023

DAG-aware Synthesis Orchestration

Yingjie Li, Mingju Liu, Mark Ren +2

The key methodologies of modern logic synthesis techniques are conducted on multi-level technology-independent representations such as And-Inverter-Graphs (AIGs) of the digital log…

cs.AR2023★ 1 cited

LightRidge: An End-to-end Agile Design Framework for Diffractive Optical Neural Networks

Yingjie Li, Ruiyang Chen, Minhan Lou +3

To lower the barrier to diffractive optical neural networks (DONNs) design, exploration, and deployment, we propose LightRidge, the first end-to-end optical ML compilation framewor…

cs.AR2023

RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs

Jiaqi Yin, Yingjie Li, Daniel Robinson +1

Deep neural networks (DNNs) have substantial computational and memory requirements, and the compilation of its computational graphs has a great impact on the performance of resourc…

cs.AR2023★ 3 cited

Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks

Nan Wu, Yingjie Li, Cong Hao +3

Reasoning high-level abstractions from bit-blasted Boolean networks (BNs) such as gate-level netlists can significantly benefit functional verification, logic minimization, datapat…

cs.AR2022★ 28 cited

FlowTune: End-to-end Automatic Logic Optimization Exploration via Domain-specific Multi-armed Bandit

Walter Lau Neto, Yingjie Li, Pierre-Emmanuel Gaillardon +1

Recent years have seen increasing employment of decision intelligence in electronic design automation (EDA), which aims to reduce the manual efforts and boost the design closure pr…