A technique for test coverage closure using goldmine

Keyphrases

• Assertion Generation 33%
• Binary Decision Diagram 33%
• Coverage Closure 100%
• Decision Tree 66%
• Formal Verification 66%
• Incremental Decision Tree 33%
• Input Stimuli 33%
• Learning Algorithm 33%
• Level Design 33%
• Monotonic Increase 33%
• OpenRISC 33%
• Register Transfer Level 33%
• Sequential Design 33%
• Simulation Coverage 33%
• Simulation Traces 66%
• SpaceWire 33%
• Test Coverage 100%
• Trace Data 33%
• Tree Selection 33%
• Tree-based Learning 33%

Computer Science

• Algorithm Converges 33%
• binary decision diagram 33%
• Coverage Test 100%
• Data Mining 33%
• Decision Trees 100%
• Experimental Result 33%
• Final Decision 33%
• Formal Verification 66%
• Learning Algorithm 33%
• Register-Transfer Level 33%