Definition of timing models for compiler-driven logic simulation | IEEE Conference Publication | IEEE Xplore