Formal Verification of the Sobel Image Processing Chip.
Paliath NarendranJonathan StillmanPublished in: DAC (1988)
Keyphrases
- formal verification
- image processing
- edge detection
- functional verification
- model checking
- model checker
- low cost
- image enhancement
- machine vision
- bounded model checking
- automated verification
- symbolic model checking
- edge detector
- program slicing
- signal processing
- image processing algorithms
- image segmentation
- color images
- denoising
- high density
- multiscale
- computer graphics
- high speed
- pattern recognition
- programmable logic
- image analysis
- mathematical morphology
- single chip
- rough sets