LEC: Learning Driven Data-path Equivalence Checking.
Jiang LongRobert K. BraytonMichael L. CasePublished in: DIFTS@FMCAD (2013)
Keyphrases
- image data
- data collection
- data sets
- data analysis
- synthetic data
- active learning
- complex data
- raw data
- background knowledge
- data points
- knowledge discovery
- input data
- online learning
- data processing
- prior knowledge
- learning process
- high quality
- data sources
- small number
- data model
- learning systems
- experimental data
- noisy data
- database