Refinement Maps for Efficient Verification of Processor Models.
Panagiotis ManoliosSudarshan K. SrinivasanPublished in: DATE (2005)
Keyphrases
- probabilistic model
- statistical models
- complex systems
- functional verification
- data sets
- artificial intelligence
- knowledge base
- data structure
- information retrieval
- parameter estimation
- database
- process model
- experimental data
- cost effective
- neural network
- computationally expensive
- parallel processing
- mathematical models
- refinement process