Skip to content

Formal Verification of the Sobel Image Processing Chip.

Paliath Narendran, Jonathan Stillman

VenueA*DAC
Year1988
ProceedingsDAC

Browse the full DAC paper archive.