Model based test generation for microprocessor architecture validation

Keyphrases

• Microprocessor 100%
• Model-based Test Generation 100%
• Architecture Verification 100%
• Microprocessor Architecture 100%
• Modeling Environment 80%
• Validation Environment 60%
• Specification Documents 40%
• Functional Validation 20%
• Automatically Generate 20%
• Architectural Model 20%
• Automatic Generation 20%
• Intel 20%
• Inconsistency 20%
• Metamodel 20%
• System Architecture 20%
• Instruction Set Architecture 20%
• Levels of Abstraction 20%
• Code Generator 20%
• Simulation Validation 20%
• Complex Instruction 20%
• Language-independent 20%
• Microcode 20%
• Manual Translation 20%
• Test Case Generator 20%

Computer Science

• Test Generation 100%
• Architecture Validation 100%
• Specification Document 100%
• Microprocessor Chips 100%
• Computer Architecture 50%
• Automatic Generation 50%
• System Architectures 50%
• Code Generator 50%
• Metamodeling 50%
• Complex Instruction 50%
• Modeling Environment 50%