Formal verification of the sobel image processing chip (1988)

by Paliath Narendran, Jonathan Stillman
Venue:In DAC