Verified Technology Mapping in an Agda DSL for Circuit Design: Circuit refinement through gate and data concretisation.
João Paulo Pizani FlorWouter SwierstraPublished in: IFL (2022)
Keyphrases
- circuit design
- data sets
- data processing
- data points
- computer systems
- data analysis
- data collection
- data sources
- training data
- database
- synthetic data
- experimental data
- prior knowledge
- data quality
- original data
- small number
- general purpose
- input data
- data mining
- xml documents
- data structure
- raw data
- case study
- wireless sensor networks
- spatial data
- image data
- knowledge discovery
- end users