Verifying SystemC using an intermediate verification language and symbolic simulation.
Hoang Minh LeDaniel GroßeVladimir HerdtRolf DrechslerPublished in: DAC (2013)
Keyphrases
- formal specification language
- model checking
- formal methods
- intermediate level
- temporal logic
- verification method
- language learning
- simulation model
- machine learning
- expert systems
- face verification
- high level
- english language
- neural network
- mathematical model
- artificial neural networks
- database
- multi agent
- specification language
- case study