Design and verification of SystemC transaction-level models.
Ali HabibiSofiène TaharPublished in: IEEE Trans. Very Large Scale Integr. Syst. (2006)
Keyphrases
- design process
- formal verification
- model selection
- neural network
- formal methods
- levels of abstraction
- experimental data
- higher level
- modelling language
- abstraction levels
- statistical models
- process model
- building blocks
- database
- knowledge based systems
- probabilistic model
- user interface
- artificial neural networks
- multi agent systems
- learning algorithm
- machine learning
- data sets