FM8501: A Verified Microprocessor

Download or read book FM8501: A Verified Microprocessor written by Warren A. Hunt and published by Springer Science & Business Media. This book was released on 1994-05-20 with total page 356 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book, written for a wide readership with some background in the natural sciences, addresses the very old problem of the mind-brain-relationship. The authors, all well-known scientists, approach the subject in different stages. The first part addresses some general principles based on physics, computer science, and theoretical biology. The two following parts deal with the problem at different organizational levels, from the microscopic to the macroscopic. The fourth part addresses the subjective level founded on the findings of psychologists and neurophysiologists.