A multiple-valued logic approach to the design and verification of hardware circuits

Journal of Applied Logic 15:69-93 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2016.01.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Computer Science and Multiple Valued Logic: Theory and Applications.David C. Rine - 1977
Proceedings of the 1974 International Symposium on Multiple-Valued Logic Morgantown, West Virginia, May 29, 30, 31, 1974.Ieee Computer Society & United States - 1974 - Ieeecs.
Logic Design for Array-Based Circuits: A Structured Design Methodology.Donnamaie E. White - 2012 - Academic Press.
Multiple-Valued Logic Design: an Introduction.G. Epstein - 1993 - CRC Press.
Logic Design Principles: With Emphasis on Testable Semicustom Circuits.Edward J. McCluskey - 1986 - Prentice-Hall.
A Systematic Approach to Digital Logic Design.Frederic J. Mowle - 1976 - Addison-Wesley.
Design of Logic Systems.Douglas Lewin - 1985 - Van Nostrand Reinhold Company.
Digital System Design with LSI Bit-slice Logic.Glenford J. Myers - 1980 - Wiley.
Logic Design with Integrated Circuits.William E. Wickes - 1968 - Wiley.
Logic Design and Switching Theory.Saburo Muroga - 1997 - Wiley.
Logic Design Projects Using Standard Integrated Circuits.John F. Wakerly - 1976 - Wiley.
Design of Computers and Other Complex Digital Devices.Sunggu Lee - 2000 - Pearson Education.
Switching Circuits and Logical Design.Samuel Hawks Caldwell - 1960 - Wiley.
On Rine's view of Boolean algebras.George Epstein - 1981 - Bulletin of the Section of Logic 10 (2):91-92.
Logic Circuits and Microcomputer Systems.Claude A. Wiatrowski & Charles H. House - 1981 - McGraw-Hill College.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,097,540)

6 months
4 (#573,918)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
Fuzzy Sets.Lofti A. Zadeh - 1965 - Information and Control 8 (1):338--53.

Add more references