Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study.
Harald RueßPublished in: FMCAD (1996)
Keyphrases
- high speed
- formal verification
- low power
- three dimensional
- model checking
- real time
- theorem proving
- high speed networks
- floating point
- case study
- test bed
- multi dimensional
- frame rate
- hierarchical structures
- arithmetic operations
- coarse to fine
- fingerprint verification
- timed automata
- integrity constraints
- multiresolution
- clustering algorithm
- website
- learning algorithm
- neural network