Conference ProceedingsOPEN ACCESS

Extending formal reasoning with support for hardware diagrams

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1995) 901 298-303
DOI: 10.1007/3-540-59047-1_57
1Citations
Citations of this article
8Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

Diagrams have been left as an informal tool in hardware reasoning, thus rendering them unacceptable representations within formal reasoning systems. We demonstrate some advantages of formally supporting diagrams in hardware verification systems via a simple example from the verification of a single-pulser.

Cite

CITATION STYLE

APA

Fisler, K. (1995). Extending formal reasoning with support for hardware diagrams. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 901, pp. 298–303). Springer Verlag. https://doi.org/10.1007/3-540-59047-1_57

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free