VerilogReader: LLM-Aided Hardware Test Generation.
Ruiyang MaYuxin YangZiqian LiuJiaxi ZhangMin LiJunhua HuangGuojie LuoPublished in: CoRR (2024)
Keyphrases
- test generation
- test cases
- symbolic execution
- hardware and software
- test sequences
- low cost
- real time
- software testing
- design automation
- static analysis
- quality assurance
- computer systems
- hardware implementation
- image processing
- mutation testing
- regression testing
- test data generation
- real world
- software systems
- software engineering
- high quality
- information systems
- code coverage