Logic optimization and synthesis: Trends and directions in industry | IEEE Conference Publication | IEEE Xplore