Equivalence Verification of Arithmetic Data Paths With Multiple Word-Length Operands.
Naveed AliShoab A. KhanNaveed Sarfraz KhattakPublished in: FCS (2007)
Keyphrases
- data sets
- raw data
- data collection
- prior knowledge
- statistical analysis
- data analysis
- database
- input data
- data distribution
- experimental data
- spatial data
- image data
- high quality
- information systems
- training data
- multiple types
- historical data
- data quality
- databases
- temporal information
- machine learning
- application domains
- end users
- sensor data
- missing data
- synthetic data
- data structure
- relational databases
- small number