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