Formal verification of the Sobel image processing chip

Authors:
Paliath Narendran;Jonathan Stillman
Affiliations:
-;-
Venue:
Current trends in hardware verification and automated theorem proving
Year:
1989

Citing 0
Cited 2

A Specifier's Introduction to Formal Methods

Computer
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract