I have a design that uses a large number of kernels. As the number of kernels has increased the emulation time has grown to a point where it has become unusable. I have a 12 core machine with 64GB of RAM. All 12 cores are pegged at 100%. The emulation does seem to be working but the time to completion is unusably long. Has anyone else encountered this and are there any known workarounds?