Formal verification of data-path circuits based on symbolic simulation.
Y. MorihiroT. TonedaPublished in: Asian Test Symposium (2000)
Keyphrases
- data sets
- formal verification
- data processing
- data sources
- data collection
- statistical analysis
- database
- complex data
- data quality
- original data
- raw data
- domain independent
- input data
- data mining techniques
- high speed
- data points
- data analysis
- training data
- reinforcement learning
- shortest path
- high dimensional data
- synthetic data
- experimental data
- model checking
- knowledge discovery
- probability distribution
- end users