Design for Verification in System-level Models and RTL.
Anmol MathurVenkat KrishnaswamyPublished in: DAC (2007)
Keyphrases
- levels of abstraction
- engineering design
- neural network
- functional verification
- modelling language
- abstraction levels
- formal methods
- design tools
- building blocks
- design process
- model checking
- computer aided
- computational models
- metamodel
- higher level
- probabilistic model
- expert systems
- bayesian networks
- formal verification
- case study
- database