Information-driven library-based circuit synthesis | IEEE Conference Publication | IEEE Xplore