 Aplus was acquired by Magma Design Automation in 2003, which is now part of Synopsys.Cong’s research also made significant impact on high-level synthesis (HLS) for integrated circuits.The decade-long research in 2000s by his group led to another UCLA spin-off, AutoESL Design Automation (2006-2011), co-founded by Cong.