Optimization for Behavioral/RTL Simulation | IEEE Conference Publication | IEEE Xplore