Model-based ideal testing of hardware description language (HDL) programs.
Onur KilinççekerErcument TurkFevzi BelliMoharram ChallengerPublished in: Softw. Syst. Model. (2022)
Keyphrases
- hardware description language
- hardware design
- integrated circuit
- hardware designs
- symbolic execution
- programmable logic
- field programmable gate array
- hardware implementation
- design methodology
- software testing
- data sets
- automatic programming
- computer programs
- test data
- data driven
- information systems
- machine learning