Building on research funded as part of the European Union's parMERASA project, Rapita Systems has developed multicore friendly code coverage capability which it has incorporated into version 3.3 of its Verification Suite (RVS).
More information can be found here