从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

相关文章

Docker镜像修改hosts及dockerfile修改hosts文件的实现方式

《Docker镜像修改hosts及dockerfile修改hosts文件的实现方式》:本文主要介绍Docker镜像修改hosts及dockerfile修改hosts文件的实现方式,具有很好的参考价... 目录docker镜像修改hosts及dockerfile修改hosts文件准备 dockerfile 文

Python基础文件操作方法超详细讲解(详解版)

《Python基础文件操作方法超详细讲解(详解版)》文件就是操作系统为用户或应用程序提供的一个读写硬盘的虚拟单位,文件的核心操作就是读和写,:本文主要介绍Python基础文件操作方法超详细讲解的相... 目录一、文件操作1. 文件打开与关闭1.1 打开文件1.2 关闭文件2. 访问模式及说明二、文件读写1.

基于SpringBoot+Mybatis实现Mysql分表

《基于SpringBoot+Mybatis实现Mysql分表》这篇文章主要为大家详细介绍了基于SpringBoot+Mybatis实现Mysql分表的相关知识,文中的示例代码讲解详细,感兴趣的小伙伴可... 目录基本思路定义注解创建ThreadLocal创建拦截器业务处理基本思路1.根据创建时间字段按年进

SpringBoot3实现Gzip压缩优化的技术指南

《SpringBoot3实现Gzip压缩优化的技术指南》随着Web应用的用户量和数据量增加,网络带宽和页面加载速度逐渐成为瓶颈,为了减少数据传输量,提高用户体验,我们可以使用Gzip压缩HTTP响应,... 目录1、简述2、配置2.1 添加依赖2.2 配置 Gzip 压缩3、服务端应用4、前端应用4.1 N

SpringBoot实现数据库读写分离的3种方法小结

《SpringBoot实现数据库读写分离的3种方法小结》为了提高系统的读写性能和可用性,读写分离是一种经典的数据库架构模式,在SpringBoot应用中,有多种方式可以实现数据库读写分离,本文将介绍三... 目录一、数据库读写分离概述二、方案一:基于AbstractRoutingDataSource实现动态

Python FastAPI+Celery+RabbitMQ实现分布式图片水印处理系统

《PythonFastAPI+Celery+RabbitMQ实现分布式图片水印处理系统》这篇文章主要为大家详细介绍了PythonFastAPI如何结合Celery以及RabbitMQ实现简单的分布式... 实现思路FastAPI 服务器Celery 任务队列RabbitMQ 作为消息代理定时任务处理完整

Java枚举类实现Key-Value映射的多种实现方式

《Java枚举类实现Key-Value映射的多种实现方式》在Java开发中,枚举(Enum)是一种特殊的类,本文将详细介绍Java枚举类实现key-value映射的多种方式,有需要的小伙伴可以根据需要... 目录前言一、基础实现方式1.1 为枚举添加属性和构造方法二、http://www.cppcns.co

使用Python实现快速搭建本地HTTP服务器

《使用Python实现快速搭建本地HTTP服务器》:本文主要介绍如何使用Python快速搭建本地HTTP服务器,轻松实现一键HTTP文件共享,同时结合二维码技术,让访问更简单,感兴趣的小伙伴可以了... 目录1. 概述2. 快速搭建 HTTP 文件共享服务2.1 核心思路2.2 代码实现2.3 代码解读3.

MySQL双主搭建+keepalived高可用的实现

《MySQL双主搭建+keepalived高可用的实现》本文主要介绍了MySQL双主搭建+keepalived高可用的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,... 目录一、测试环境准备二、主从搭建1.创建复制用户2.创建复制关系3.开启复制,确认复制是否成功4.同

Java实现文件图片的预览和下载功能

《Java实现文件图片的预览和下载功能》这篇文章主要为大家详细介绍了如何使用Java实现文件图片的预览和下载功能,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... Java实现文件(图片)的预览和下载 @ApiOperation("访问文件") @GetMapping("