Yu-Maryland

Open-source release for Yu's Lab at University of Maryland, College Park

Pinned Repositories

abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:C0 0 00
Differentiable_Scheduler_ICML24
Differentiable Combinatorial Scheduling at Scale (ICML'24). Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu.
Language:Python181
FlowTune
Language:C189 2 124
Gamora
Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)
Language:C48 3 65
MapTune
MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning Mingju Liu, Daniel Robinson, Yingjie Li, Cunxi Yu IEEE/ACM International Conference On Computer Aided Design (ICCAD'24)
Language:Python16 1 01
RESPECT
RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs (DAC'23)
Language:Python10 1 00
Verilog-to-PyG
Language:C21 1 33

Yu-Maryland/FlowTune
Language:C189 2 124
Yu-Maryland/Gamora
Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)
Language:C48 3 65
Yu-Maryland/Verilog-to-PyG
Language:C21 1 33
Yu-Maryland/Differentiable_Scheduler_ICML24
Differentiable Combinatorial Scheduling at Scale (ICML'24). Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu.
Language:Python181
Yu-Maryland/MapTune
MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning Mingju Liu, Daniel Robinson, Yingjie Li, Cunxi Yu IEEE/ACM International Conference On Computer Aided Design (ICCAD'24)
Language:Python16 1 01
Yu-Maryland/RESPECT
RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs (DAC'23)
Language:Python10 1 00
Yu-Maryland/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:C0 0 00
Yu-Maryland/ENEE759U
Language:C