Mining hardware assertions with guidance from static analysis

Keyphrases

• Assertion Generation 20%
• Combinational 20%
• Data Combination 20%
• Data Mining Analysis 20%
• Data Mining Engine 20%
• Data Mining Techniques 20%
• Decision Tree 20%
• Dynamic Behavior 20%
• Formal Verification 20%
• Generated Data 20%
• High Coverage 20%
• Human Effort 20%
• Input Stimuli 20%
• Level Design 40%
• Mining Hardware 100%
• Random Inputs 20%
• Register Transfer Level 100%
• Regression Test Suite 20%
• Static Analysis 100%
• Stimulus Space 20%
• Supervised Learning Algorithms 20%
• System Invariant 20%
• Tree-based 20%

Computer Science

• Data Mining 40%
• Data Mining Algorithm 20%
• Decision Trees 20%
• Dynamic Behavior 20%
• Formal Verification 20%
• Invariant System 20%
• Learning Algorithm 20%
• Register-Transfer Level 100%
• Regression Test 20%
• Static Program Analysis 100%
• Supervised Learning 20%
• Writing Assertion 20%