Formal verification of digital systems by automatic reduction of data paths.
Enrico MaciiBernard PlessierFabio SomenziPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1997)
Keyphrases
- data sets
- formal verification
- data collection
- original data
- raw data
- data analysis
- data sources
- computer systems
- data points
- data structure
- data quality
- synthetic data
- database
- statistical analysis
- data processing
- image data
- data reduction
- model checking
- data acquisition
- xml documents
- data mining techniques
- knowledge discovery
- digital data