从0到1构建计算机(2/12)--与非门实现CPU的数理基础

2024-01-19 21:48

本文主要是介绍从0到1构建计算机(2/12)--与非门实现CPU的数理基础,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

CPU和布尔函数

CPU本质上是一个函数计算器:

  • 信号通过输入管脚输入,对应着函数的入参
  • CPU的内部电路是函数的黑盒实现
  • 信号通过输出管脚输出,对应着函数的出参

大家有没有思考过现代计算机为什么是基于二进制的🤔?事实上,在计算机的发展历程中确实出现过其他进制的计算机,例如10进制,3进制(现在计算机也是一步步演化过来了,其某些核心设计思想甚至来源于织布机,有兴趣的同学可以翻翻计算机发展史,有助于加深对计算机原理的理解)。我认为现代计算机基于二进制的原因主要有两个:一方面是基于二进制,在物理实现上会更加容易,例如电路设计更加简单,0和1的表示也更加稳定(高低电平);另一方面,既然CPU是函数的实现,那么就需要有完备的数学理论做支撑,其中布尔代数正好完美契合了现代计算机只能执行非常简单的算数逻辑运算集但却能够以超高速方式运行的特点。英国数学家布尔在1854年创立了布尔代数学科,布尔代数本身十分简单,但却为百年之后出现的二进制计算机提供了重要的数学方法和理论基础。

布尔函数

**布尔函数:**布尔函数处理布尔数值(它的输入输出都是二进制数值)。布尔函数在数字计算机的芯片设计中扮演基础角色,也在密码学中扮演关键角色。

布尔函数的两种表示方法:

1.**真值表:**枚举出函数所有输入变量的组合,然后写出每一种组合对应的函数输出值。
真值表
2.**布尔表达式:**使用布尔操作符(And,Or,Not等)表达,上面的真值表可以用此表达式表示:

f(x, y, z) = (x And y) Or (Not(x) And z)

布尔函数和门

**门(gate)**是用来实现布尔函数的物理设备,例如与门,或门,非门,与非门等。门是基本的电子元器件,复杂的门电路就构成了CPU

门有输入管脚和输出管脚,对应着布尔函数的入参和出参;门电路的具体实现方式则对应着布尔函数的运算规则。复杂的布尔函数就对应的复杂的门电路

布尔函数是门电路的数学表达,门电路是布尔函数的物理实现。一个复杂的CPU物理实现对应着一个复杂的布尔函数设计,可以说CPU的实现是建立在布尔函数之上的。

用与非门实现CPU的数理基础

布尔函数的一些数学结论:

  1. 任何一个布尔函数,无论多复杂,都可以只用三种布尔操作符And,Or,Not完全表达。
  2. And,Or,Not运算都可以只用Nand(与非)一种运算来代替实现,或者只用Nor(或非)一种运算来代替实现。
  3. 由1、2可得:仅使用Nand运算,就能够构建任何布尔函数。

以上证明方法可以自行Google

有了上面的数理基础做支撑,我们可以得出结论:一旦我们在物理上实现了Nand(与非门),我们就能够实现任何门电路,进而实现一个CPU。

用软件实现硬件

今天,硬件设计者们也不再亲手制作硬件了,而是用软件来实现设计:通过编写硬件描述语言(HDL)来描述芯片结构,并能通过测试用例来验证设计。

好了,下面就让我们用Nand来实现一个CPU吧~

这篇关于从0到1构建计算机(2/12)--与非门实现CPU的数理基础的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/623801

相关文章

python使用watchdog实现文件资源监控

《python使用watchdog实现文件资源监控》watchdog支持跨平台文件资源监控,可以检测指定文件夹下文件及文件夹变动,下面我们来看看Python如何使用watchdog实现文件资源监控吧... python文件监控库watchdogs简介随着Python在各种应用领域中的广泛使用,其生态环境也

el-select下拉选择缓存的实现

《el-select下拉选择缓存的实现》本文主要介绍了在使用el-select实现下拉选择缓存时遇到的问题及解决方案,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的... 目录项目场景:问题描述解决方案:项目场景:从左侧列表中选取字段填入右侧下拉多选框,用户可以对右侧

Python中构建终端应用界面利器Blessed模块的使用

《Python中构建终端应用界面利器Blessed模块的使用》Blessed库作为一个轻量级且功能强大的解决方案,开始在开发者中赢得口碑,今天,我们就一起来探索一下它是如何让终端UI开发变得轻松而高... 目录一、安装与配置:简单、快速、无障碍二、基本功能:从彩色文本到动态交互1. 显示基本内容2. 创建链

Python pyinstaller实现图形化打包工具

《Pythonpyinstaller实现图形化打包工具》:本文主要介绍一个使用PythonPYQT5制作的关于pyinstaller打包工具,代替传统的cmd黑窗口模式打包页面,实现更快捷方便的... 目录1.简介2.运行效果3.相关源码1.简介一个使用python PYQT5制作的关于pyinstall

使用Python实现大文件切片上传及断点续传的方法

《使用Python实现大文件切片上传及断点续传的方法》本文介绍了使用Python实现大文件切片上传及断点续传的方法,包括功能模块划分(获取上传文件接口状态、临时文件夹状态信息、切片上传、切片合并)、整... 目录概要整体架构流程技术细节获取上传文件状态接口获取临时文件夹状态信息接口切片上传功能文件合并功能小

Golang使用etcd构建分布式锁的示例分享

《Golang使用etcd构建分布式锁的示例分享》在本教程中,我们将学习如何使用Go和etcd构建分布式锁系统,分布式锁系统对于管理对分布式系统中共享资源的并发访问至关重要,它有助于维护一致性,防止竞... 目录引言环境准备新建Go项目实现加锁和解锁功能测试分布式锁重构实现失败重试总结引言我们将使用Go作

python实现自动登录12306自动抢票功能

《python实现自动登录12306自动抢票功能》随着互联网技术的发展,越来越多的人选择通过网络平台购票,特别是在中国,12306作为官方火车票预订平台,承担了巨大的访问量,对于热门线路或者节假日出行... 目录一、遇到的问题?二、改进三、进阶–展望总结一、遇到的问题?1.url-正确的表头:就是首先ur

C#实现文件读写到SQLite数据库

《C#实现文件读写到SQLite数据库》这篇文章主要为大家详细介绍了使用C#将文件读写到SQLite数据库的几种方法,文中的示例代码讲解详细,感兴趣的小伙伴可以参考一下... 目录1. 使用 BLOB 存储文件2. 存储文件路径3. 分块存储文件《文件读写到SQLite数据库China编程的方法》博客中,介绍了文

Redis主从复制实现原理分析

《Redis主从复制实现原理分析》Redis主从复制通过Sync和CommandPropagate阶段实现数据同步,2.8版本后引入Psync指令,根据复制偏移量进行全量或部分同步,优化了数据传输效率... 目录Redis主DodMIK从复制实现原理实现原理Psync: 2.8版本后总结Redis主从复制实

JAVA利用顺序表实现“杨辉三角”的思路及代码示例

《JAVA利用顺序表实现“杨辉三角”的思路及代码示例》杨辉三角形是中国古代数学的杰出研究成果之一,是我国北宋数学家贾宪于1050年首先发现并使用的,:本文主要介绍JAVA利用顺序表实现杨辉三角的思... 目录一:“杨辉三角”题目链接二:题解代码:三:题解思路:总结一:“杨辉三角”题目链接题目链接:点击这里