Created by: crides
parallelized simulation and verification. will have clean ups to do. pr now for org purposes