Verification of scheduling in the presence of loops using uninterpreted symbolic simulation

Keyphrases

• Symbolic Simulation 100%
• High-level Synthesis 66%
• Simulation Techniques 33%
• Synthesis Methods 33%
• Induction Techniques 33%
• Novel Procedure 33%
• Wide Scope 33%
• High-level Specification 33%
• Loop Unrolling 33%
• Equivalence Checking 33%
• Loop Invariants 33%
• Optimization Criterion 33%
• Loop Transformations 33%
• Relatively Complete 33%
• In-house Validation 33%
• Successive Refinement 33%

Computer Science

• Case Study 100%
• High Level Synthesis 100%
• Equivalence Checking 100%
• Verification System 50%
• Loop Unrolling 50%
• Checking Technique 50%
• Optimization Criterion 50%
• Loop Transformation 50%