A framework for verification of SystemC TLM programs with model slicing: a case study.
Reza HajisheykhiMohammad RoohitavafAli EbnenasirSandeep S. KulkarniPublished in: DAC (2016)
Keyphrases
- probabilistic model
- computational model
- theoretical framework
- mathematical framework
- modeling framework
- conceptual framework
- statistical model
- high level
- context dependent
- bayesian framework
- management system
- cost function
- data model
- formal model
- prior knowledge
- computational framework
- similarity measure
- case study
- parameter estimation
- theoretical foundation
- test bed
- objective function
- generic model