Automatic memory reductions for RTL model verification.
Panagiotis ManoliosSudarshan K. SrinivasanDaron VroonPublished in: ICCAD (2006)
Keyphrases
- least squares
- statistical model
- evolutionary algorithm
- computational model
- theoretical framework
- mathematical model
- semi automatic
- object model
- data sets
- formal model
- computational models
- neural network model
- sensitivity analysis
- fully automatic
- hierarchical structure
- management system
- probability distribution
- expert systems
- database systems
- high level
- decision making
- information systems