Verification of Physical Chip Layouts Using GDSII Design Data.
Aayush SinglaBernhard LippmannHelmut GraebPublished in: IVSW (2019)
Keyphrases
- data sets
- knowledge discovery
- data analysis
- data quality
- data processing
- training data
- high quality
- data structure
- data sources
- image data
- single chip
- data integrity
- original data
- statistical analysis
- data collection
- low cost
- computer systems
- synthetic data
- sensor data
- data distribution
- model checking
- probability distribution
- high density
- data transfer
- prior knowledge
- formal verification
- database