Energy-and-performance efficient differential domino logic cell libraries for QDI-model-based asynchronous circuits | IEEE Conference Publication | IEEE Xplore