Formal Verification of the Sobel Image Processing Chip
- 1 January 1989
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Hardware Verification in the Interactive VHDL WorkstationPublished by Springer Nature ,1988
- RRL: A rewrite rule laboratoryPublished by Springer Nature ,1986
- An equational approach to theorem proving in first-order predicate calculusACM SIGSOFT Software Engineering Notes, 1985
- Verify: A program for proving correctness of digital hardware designsArtificial Intelligence, 1984
- A Practical Decision Procedure for Arithmetic with Function SymbolsJournal of the ACM, 1979