Design for Verification of SystemC Transaction Level Models.
Ali HabibiSofiène TaharPublished in: DATE (2005)
Keyphrases
- probabilistic model
- case study
- software architecture
- statistical models
- knowledge based systems
- statistical model
- design process
- functional verification
- design considerations
- design decisions
- concurrency control
- model checking
- database
- parameter estimation
- building blocks
- data mining
- experimental data
- user interface
- artificial intelligence
- learning algorithm
- genetic algorithm
- classification models
- machine learning
- knowledge level
- abstraction levels
- modeling tool
- data sets