GitHub repository: panhongyang0/phyLS
Primary language: C++
Created: 2022-12-14T00:51:37Z
Description: A Logic Synthesis tool based on "Mockturtle: EPFL Logic Synthesis Library " and "ABC: System for Sequential Logic Synthesis and Formal Verification""