Repositories list

• abc

  Public
  ABC: System for Sequential Logic Synthesis and Formal Verification

  C

  •

  Other

  •596•0•0•0•Updated Nov 30, 2024Nov 30, 2024

• Gamora

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

  C

  •

  Other

  •5•48•4•0•Updated Nov 7, 2024Nov 7, 2024

• Differentiable_Scheduler_ICML24

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

  Python

  •

  MIT License

  •1•18•0•0•Updated Oct 31, 2024Oct 31, 2024

• ENEE759U

  Public
  C

  •0•0•0•0•Updated Oct 30, 2024Oct 30, 2024

• 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 Design (ICCAD'24)

  Python

  •1•16•0•1•Updated Sep 26, 2024Sep 26, 2024

• Verilog-to-PyG

  Public
  C

  •3•21•3•1•Updated Apr 23, 2024Apr 23, 2024

• RESPECT

  Public
  RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs (DAC'23)

  Python

  •0•10•0•0•Updated Apr 13, 2023Apr 13, 2023

• FlowTune

  Public
  C

  •24•203•1•0•Updated Nov 12, 2022Nov 12, 2022