High-level delay estimation for technology-independent logic equations | IEEE Conference Publication | IEEE Xplore