An efficient system-level to RTL verification framework for computation-intensive applications

Keyphrases

• System Level 100%
• Mathematica 100%
• Efficient System 100%
• Verification Framework 100%
• RTL Verification 100%
• Compute-intensive Applications 100%
• Order of Magnitude 50%
• Word-level 50%
• Formal Verification 50%
• Level Description 50%
• Property Verification 50%
• Register Transfer Level 50%
• Efficient Verification 50%

Computer Science

• Intensive Application 100%
• Level Description 50%
• Formal Verification 50%
• Level Technique 50%
• Register-Transfer-Level Implementation 50%