@lowerbound
Guojie Luo no introduction.
Logic optimization and technology mapping tool.
A prototype technology mapper for dual-output LUTs.