Accelerating assertion assessment using GPUs

Keyphrases

• Assertion-based Verification 100%
• Design Errors 50%
• Test Case Generation 50%
• Parallelization 50%
• Simulation Procedure 50%
• Mutation Testing 50%
• Test Sequence 50%
• Design Correctness 50%
• Testing-based Verification 50%

Computer Science

• Graphics Processing Unit 100%
• Test Generation 50%
• Parallelism 50%
• Fundamental Question 50%
• Correctness 50%