Automatic data path abstraction for verification of large scale designs.
Viresh ParuthiNazanin MansouriRanga VemuriPublished in: ICCD (1998)
Keyphrases
- synthetic data
- data processing
- data sets
- data collection
- high level
- high quality
- experimental data
- database
- statistical analysis
- end users
- probability distribution
- original data
- data distribution
- data acquisition
- raw data
- input data
- image data
- knowledge discovery
- data objects
- data quality
- complex data
- data analysis
- small scale
- temporal data
- semi automatic
- spatial data
- sensor data
- missing data
- databases
- decision trees
- data points
- data sources
- mobile robot
- prior knowledge
- data streams
- training data