Integration of data mining and static analysis for hardware design verification

Keyphrases

• Data Integration 100%
• Data Mining Analysis 100%
• Data Mining Techniques 66%
• Design Verification 100%
• Domain-specific Information 100%
• Formal Verification 33%
• Hardware Design 100%
• Likely Invariants 33%
• Machine Learning 33%
• Register Transfer Level 33%
• Running Simulation 33%
• Simulation Data 66%
• Simulation Traces 33%
• State Space 33%
• Static Analysis 100%
• Variables of Interest 33%

Computer Science

• Data Mining 100%
• Data Mining Algorithm 100%
• Data Simulation 100%
• Design Verification 100%
• Formal Verification 50%
• Hardware Design 100%
• Invariant 50%
• Learning System 50%
• Machine Learning 50%
• Register-Transfer Level 50%
• State Space 50%
• Static Program Analysis 100%