Popular repositories Loading

1. FlowTune FlowTune Public

   C 188 27

2. Gamora Gamora Public

   Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)

   C 50 7

3. Verilog-to-PyG Verilog-to-PyG Public

   C 25 3

4. Differentiable_Scheduler_ICML24 Differentiable_Scheduler_ICML24 Public

   Differentiable Combinatorial Scheduling at Scale (ICML'24). Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu.

   Python 21 1

5. MapTune MapTune Public

   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 Des…

   Python 20 2

6. BoolE BoolE Public

   Rust 13 1