Two new techniques for compiled multi-delay logic simulation | IEEE Conference Publication | IEEE Xplore