Formal Hardware Verification based on Signal Correlation Properties.
Nikhil KikkeriPeter-Michael SeidelPublished in: ICCD (2004)
Keyphrases
- image processing
- desirable properties
- formal analysis
- signal processing
- hardware designs
- formal language
- hardware and software
- low cost
- real time
- formal methods
- computer systems
- structural properties
- formal model
- correlation coefficient
- non stationary
- computing systems
- data acquisition
- compressive sensing
- measured data
- hardware design
- hardware architecture
- data sets
- vlsi implementation
- auto correlation