Coded time-symbolic simulation using shared binary decision diagram | IEEE Conference Publication | IEEE Xplore