Automatic Generation of High-Coverage Tests for RTL Designs using Software Techniques and Tools.
Yu ZhangWenlong FengMengxing HuangPublished in: CoRR (2016)
Keyphrases
- software tools
- test suite
- design tools
- software packages
- software developers
- software components
- free software
- set of test cases
- software development
- program understanding
- test cases
- analysis tool
- software engineers
- computational tools
- software maintenance
- automatically generate
- software engineering
- software platform
- software systems
- hardware platforms
- software environment
- companion web site
- search based software testing
- commercial software
- educational software
- graphical user interfaces
- computer aided software engineering
- wide range
- design patterns
- formal methods
- software testing
- end users
- source code
- architectural models
- programming environments
- computer systems
- development effort
- web services
- case study
- decision support
- development process
- software repositories
- heterogeneous systems
- design principles
- software design
- technical issues
- software evolution
- software reuse