An Iteratively-refined Dataset for High-Level Synthesis Functional Verification through LLM-Aided Bug Injection

Keyphrases

• High-level Synthesis 100%
• Functional Verification 100%
• Large Language Models 100%
• Model Aided 100%
• Bug Injection 100%
• Non-ideality 50%
• Pragma 33%
• Logic Bugs 33%
• Hardware Design 16%
• Parameter Tuning 16%
• Turbo 16%
• Brute Force 16%
• Injection Technique 16%
• Synthesis Design 16%
• Injection Rate 16%
• Synergize 16%
• New Dataset 16%
• Benchmark Suite 16%
• Code-based 16%
• Hardware Verification 16%
• Solution Quality 16%
• Contextual Learning 16%
• Compiler Directives 16%
• Verification Challenges 16%
• Injection Ratio 16%
• GPT-4 16%
• Chain-of-Thought 16%
• Chrysalis 16%
• Retrieval-augmented Generation 16%

Computer Science

• High Level Synthesis 100%
• Functional Verification 100%
• Large Language Model 100%
• Open Source 33%
• Hardware Design 16%
• Injection Rate 16%
• Solution Quality 16%
• Compiler Directive 16%
• Generative Pre-Trained Transformer 4 16%
• Information Retrieval 16%