Abstraction of data path registers for multilevel verification of large circuits.
Yatin Vasant HoskoteJohn MoondanosJacob A. AbrahamDonald S. FussellPublished in: Great Lakes Symposium on VLSI (1994)
Keyphrases
- original data
- data sets
- database
- complex data
- data collection
- experimental data
- sensor data
- raw data
- image data
- data points
- databases
- prior knowledge
- data processing
- data analysis
- statistical analysis
- data quality
- network structure
- data distribution
- historical data
- spatial data
- synthetic data
- high dimensional data
- computer systems
- end users
- training data
- high level
- metadata