Logic optimization and technology mapping tool.
iFPGA mapper for technology mapping in logic synthesis.