从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

相关文章

SpringBoot+RustFS 实现文件切片极速上传的实例代码

《SpringBoot+RustFS实现文件切片极速上传的实例代码》本文介绍利用SpringBoot和RustFS构建高性能文件切片上传系统,实现大文件秒传、断点续传和分片上传等功能,具有一定的参考... 目录一、为什么选择 RustFS + SpringBoot?二、环境准备与部署2.1 安装 RustF

Nginx部署HTTP/3的实现步骤

《Nginx部署HTTP/3的实现步骤》本文介绍了在Nginx中部署HTTP/3的详细步骤,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学... 目录前提条件第一步:安装必要的依赖库第二步:获取并构建 BoringSSL第三步:获取 Nginx

MyBatis Plus实现时间字段自动填充的完整方案

《MyBatisPlus实现时间字段自动填充的完整方案》在日常开发中,我们经常需要记录数据的创建时间和更新时间,传统的做法是在每次插入或更新操作时手动设置这些时间字段,这种方式不仅繁琐,还容易遗漏,... 目录前言解决目标技术栈实现步骤1. 实体类注解配置2. 创建元数据处理器3. 服务层代码优化填充机制详

Python实现Excel批量样式修改器(附完整代码)

《Python实现Excel批量样式修改器(附完整代码)》这篇文章主要为大家详细介绍了如何使用Python实现一个Excel批量样式修改器,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一... 目录前言功能特性核心功能界面特性系统要求安装说明使用指南基本操作流程高级功能技术实现核心技术栈关键函

Java实现字节字符转bcd编码

《Java实现字节字符转bcd编码》BCD是一种将十进制数字编码为二进制的表示方式,常用于数字显示和存储,本文将介绍如何在Java中实现字节字符转BCD码的过程,需要的小伙伴可以了解下... 目录前言BCD码是什么Java实现字节转bcd编码方法补充总结前言BCD码(Binary-Coded Decima

SpringBoot全局域名替换的实现

《SpringBoot全局域名替换的实现》本文主要介绍了SpringBoot全局域名替换的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一... 目录 项目结构⚙️ 配置文件application.yml️ 配置类AppProperties.Ja

Python实现批量CSV转Excel的高性能处理方案

《Python实现批量CSV转Excel的高性能处理方案》在日常办公中,我们经常需要将CSV格式的数据转换为Excel文件,本文将介绍一个基于Python的高性能解决方案,感兴趣的小伙伴可以跟随小编一... 目录一、场景需求二、技术方案三、核心代码四、批量处理方案五、性能优化六、使用示例完整代码七、小结一、

Java实现将HTML文件与字符串转换为图片

《Java实现将HTML文件与字符串转换为图片》在Java开发中,我们经常会遇到将HTML内容转换为图片的需求,本文小编就来和大家详细讲讲如何使用FreeSpire.DocforJava库来实现这一功... 目录前言核心实现:html 转图片完整代码场景 1:转换本地 HTML 文件为图片场景 2:转换 H

C#使用Spire.Doc for .NET实现HTML转Word的高效方案

《C#使用Spire.Docfor.NET实现HTML转Word的高效方案》在Web开发中,HTML内容的生成与处理是高频需求,然而,当用户需要将HTML页面或动态生成的HTML字符串转换为Wor... 目录引言一、html转Word的典型场景与挑战二、用 Spire.Doc 实现 HTML 转 Word1

C#实现一键批量合并PDF文档

《C#实现一键批量合并PDF文档》这篇文章主要为大家详细介绍了如何使用C#实现一键批量合并PDF文档功能,文中的示例代码简洁易懂,感兴趣的小伙伴可以跟随小编一起学习一下... 目录前言效果展示功能实现1、添加文件2、文件分组(书签)3、定义页码范围4、自定义显示5、定义页面尺寸6、PDF批量合并7、其他方法