Open-source high-performance RISC-V processor
Logic optimization and technology mapping tool.
The AIG benchmark for EDA ELITE CONTEST, Problem 2.
From Boolean function to ESOP, then transform the ESOP to Quantum circuit.
AiMap: Learning to Improve Technology Mapping for ASICs via Delay Prediction
iFPGA mapper for technology mapping in logic synthesis.