Hardware verification: Techniques, methodology and solutions

Computer Science

• Architectural Level 50%
• Architectural Model 50%
• Equivalence Checking 50%
• Error Checking 50%
• Formal Verification 50%
• Functional Design 50%
• Functional Specification 100%
• Human Intervention 50%
• Modeling Framework 50%
• Multi-Core Architectures 50%
• Physical Implementation 50%
• Register-Transfer Level 100%
• Theorem Proving 50%
• Validation Technique 50%

Keyphrases

• Practical Impact 50%
• Property Checking 50%
• Scalable Solutions 50%
• Specific Effort 50%