Software in a hardware view: New models for HW-dependent software in SoC verification and test.
Carlos VillarragaBernard SchmidtBinghao BaoRakesh RamanChristian BartschThomas FehmelDominik StoffelWolfgang KunzPublished in: ITC (2014)
Keyphrases
- computer systems
- embedded systems
- software systems
- software development
- hardware and software
- software maintenance
- software implementation
- probabilistic model
- low cost
- source code
- software projects
- hardware designs
- hardware design
- test cases
- neural network
- statistical models
- formal methods
- real time
- hardware platforms
- architectural models
- industry standard
- test data generation
- high end
- user interface
- software testing
- test suite
- high speed
- software tools
- personal computer
- model checking