Yes, but their emulation needs to be performed in lockstep, normally per clock tick or at least externally visible state change, to accurately model their inter

Yes, but their emulation needs to be performed in lockstep, normally per clock tick or at least externally visible state change, to accurately model their interaction with respect to timing. Threading in that case would likely mean several orders of magnitude of performance degradation.