Used together with:
formal
(1)
imag
(1)
process
(1)
verif
(1)
chip
(1)
Stem
sobel$ (
all stems
)
1 papers:
DAC-1988-NarendranS
#image
#verification
Formal Verification of the Sobel Image Processing Chip (
PN
,
JS
), pp. 211–217.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.