Search
for Topics
All Reviews
Browse All Reviews
>
Hardware (B)
>
Integrated Circuits (B.7)
>
Design Aids (B.7.2)
> Verify (B.7.2...)
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
1-1 of 1 Reviews about "
Verify (B.7.2...)
":
Date Reviewed
VERIFY: a program for proving correctness of digital hardware designs
Barrow H. Artificial Intelligence 24(1-3): 437-491, 1984. Type: Article
VERIFY is a large PROLOG program which can infer the behavior of a complicated circuit from a structural description and can verify its equivalence with a specified behavioral description. It is founded on a clear mathematical model, a...
Oct 1 1985
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy