US7260495B2 - System and Method for Test Generation for System Level Verification Using Parallel Algorithms