Skip to content
Change the repository type filter

All

    Repositories list

    • Gamora

      Public
      Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)
      C
      Other
      54740Updated Nov 7, 2024Nov 7, 2024
    • Differentiable Combinatorial Scheduling at Scale (ICML'24). Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu.
      Python
      MIT License
      11700Updated Oct 31, 2024Oct 31, 2024
    • ENEE759U

      Public
      C
      0000Updated 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
      11501Updated Sep 26, 2024Sep 26, 2024
    • C
      32031Updated Apr 23, 2024Apr 23, 2024
    • abc

      Public
      ABC: System for Sequential Logic Synthesis and Formal Verification
      C
      Other
      592000Updated Apr 16, 2024Apr 16, 2024
    • RESPECT

      Public
      RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs (DAC'23)
      Python
      01000Updated Apr 13, 2023Apr 13, 2023
    • FlowTune

      Public
      C
      2318710Updated Nov 12, 2022Nov 12, 2022