Architecture for a non-deterministic simulation machine | IEEE Conference Publication | IEEE Xplore