Popular repositories Loading

1. FlowTune FlowTune Public

   C 185 27

2. Gamora Gamora Public

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

   C 55 9

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

   C 30 3

4. e-boost e-boost Public

   Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving

   C++ 24 3

5. 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 22 1

6. 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 22 4