Automated firmware testing using firmware-hardware interaction patterns

Computer Science

• Hardware Thread 75%
• Level Transaction 50%
• SystemC 50%
• Service Function 25%
• Equivalent Test 25%

Keyphrases

• Firmware Testing 100%
• Hardware Thread 16%
• Transaction Level Model 11%
• Software Test Generation 5%
• Hardware Model 5%
• Path Coverage 5%
• Concolic 5%
• Service Function 5%
• Co-simulation 5%