A Scalable Formal Verification Methodology for Data-Oblivious Hardware.
Lucas DeutschmannJohannes MüllerMohammad Rahmani FadihehDominik StoffelWolfgang KunzPublished in: CoRR (2023)
Keyphrases
- data sets
- image data
- formal verification
- data structure
- database
- data analysis
- data quality
- data collection
- computer systems
- low latency
- computing power
- statistical methods
- data acquisition
- synthetic data
- high dimensional data
- input data
- training data
- real time
- statistical analysis
- low cost
- raw data
- original data
- data sources
- data mining