Basic concepts of timing-oriented design automation for high-performance mainframe computers | IEEE Conference Publication | IEEE Xplore