z3-加法器实验
补码器加减法,运算方法简介
我们要知道什么是补码的加法,我们为什么要用补码的加法?
补码的加法其实就是将两个补码形式的二进制数字直接相加,处理的时候忽略超出固定位数的进位。补码的加法运算和无符号二进制数的加法操作一样,不需要额外处理负号或减法的逻辑
补码加法的具体操作步骤:
- 将两个补码数位对齐(确保位数一致)
- 诸位相加,处理进位
- 如果结果超出固定的位数,忽略超出部分的进位
例子:
假如我们在一个8位的系统中进行加法计算
- 5+3
- 5的补码:00000101
- 3的补码:00000011
- 00001000(结果位8)
- 5+(-3)
- 5的补码:00000101
- -3的补码:11111101
- 相加:10000010(结果位-2,最高位1表示结果是负数)
那么我们为什么要使用补码的加法?
补码的使用简化了计算机硬件的设计,使有符号的整数运算变得更加高效统一。补码的使用还简化了负数的表示和处理,使计算机更方便地进行各种数值运算。
在了解了补码的加法之后我们就可以尝试设计一位全加器电路了
构造一个一位全加器
首先要知道什么是全加器?
全加器是一种基本的数字电路,用于二进制数的加法运算。它能够同时处理两个二进制数的加法运算。它能够同时处理两个二进制位和一个来自低位的进位输入,并输出该位的和以及进位到高位的值。全加器是构建多位二进制加法器的基本模块。
全加器的功能
全加器有三个输入两个输出:
- 输入:两个被加的二进制位A和B,以及来自前一位的进位输入C_in_
- 输出:该位的和S和向更高位传递的进位输出C_out_
全加器的真值表
A | B | C_in_ | S | C_out_ |
---|---|---|---|---|
0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 0 |
0 | 1 | 0 | 1 | 0 |
0 | 1 | 1 | 0 | 1 |
1 | 0 | 0 | 1 | 0 |
1 | 0 | 1 | 0 | 1 |
1 | 1 | 0 | 0 | 1 |
1 | 1 | 1 | 1 | 1 |
全加器的逻辑表达式
根据真值表,全加器的输入S和输出C可以用逻辑表达式表示:
- 和(sum)S:S = A XOR B XOR C_in_
- 进位(Carry)C_out_:C_out_ = (A * B) + (B * C_in_) + (A * C_in_)
一位全加器的电路实现
如下图所示:
功能封装
八位串行加法器
八位串行加法器是一种可以对两个8位二进制数进行加法运算的电路,串行加法器的工作原理是每次处理一个位,并将进位传递到下一位进行累加。以下是八位串行加法器的详细电路设计和验证。
电路设计
- 全加器:用于对两个二进制位及一个进位进行相加。
- 移位寄存器:用于存储和移位操作,分别存储两个8位数加数和结果
- **D触发器:**用于存储和传递进位
- 时钟:用于同步操作
电路示意图
使用具体数字验证
1. 初始化
- A寄存器:10101010
- B寄存器:01010101
- 进位 𝐶0:0
2. 逐位相加
- 第1次时钟脉冲:
- 取出最低位:A0 = 0, B0 = 1, 𝐶0=0
- 全加器计算:𝑆0=0⊕1⊕0=1
- 进位:𝐶1=(0⋅1)+(1⋅0)+(0⋅0)=0
- 移位:A -> 01010101, B -> 00101010
- 第2次时钟脉冲:
- 取出当前位:A1 = 1, B1 = 0, 𝐶1=0
- 全加器计算:𝑆1=1⊕0⊕0=1
- 进位:𝐶2=(1⋅0)+(0⋅0)+(1⋅0)=0
- 移位:A -> 00101010, B -> 00010101
- 第3次时钟脉冲:
- 取出当前位:A2 = 0, B2 = 1, 𝐶2=0
- 全加器计算:𝑆2=0⊕1⊕0=1
- 进位:𝐶3=(0⋅1)+(1⋅0)+(0⋅0)=0
- 移位:A -> 00010101, B -> 00001010
- 第4次时钟脉冲:
- 取出当前位:A3 = 1, B3 = 0, 𝐶3=0
- 全加器计算:𝑆3=1⊕0⊕0=1
- 进位:𝐶4=(1⋅0)+(0⋅0)+(1⋅0)=0
- 移位:A -> 00001010, B -> 00000101
- 第5次时钟脉冲:
- 取出当前位:A4 = 0, B4 = 1, 𝐶4=0
- 全加器计算:𝑆4=0⊕1⊕0=1
- 进位:𝐶5=(0⋅1)+(1⋅0)+(0⋅0)=0
- 移位:A -> 00000101, B -> 00000010
- 第6次时钟脉冲:
- 取出当前位:A5 = 1, B5 = 0, 𝐶5=0
- 全加器计算:𝑆5=1⊕0⊕0=1
- 进位:𝐶6=(1⋅0)+(0⋅0)+(1⋅0)=0
- 移位:A -> 00000010, B -> 00000001
- 第7次时钟脉冲:
- 取出当前位:A6 = 0, B6 = 1, 𝐶6=0
- 全加器计算:𝑆6=0⊕1⊕0=1
- 进位:𝐶7=(0⋅1)+(1⋅0)+(0⋅0)=0
- 移位:A -> 00000001, B -> 00000000
- 第8次时钟脉冲:
- 取出当前位:A7 = 1, B7 = 0, 𝐶7=0
- 全加器计算:𝑆7=1⊕0⊕0=1
- 进位:𝐶8=(1⋅0)+(0⋅0)+(1⋅0)=0
结果
最终输出结果的各位和为 𝑆7𝑆6𝑆5𝑆4𝑆3𝑆2𝑆1𝑆0=11111111,即十进制的255。进位输出 𝐶8=0,表示没有产生进位。
八位可控加减法器
8位可控加减法器是一种能够对两个8位二进制数进行加法或减法运算的电路。它通过控制信号来决定是执行加法还是减法。减法可以通过将被减数取补码并进行加法来实现。以下是详细的电路设计和使用具体数字进行验证的步骤。
电路设计
- 全加器:用于对两个二进制位及一个进位进行相加。
- 移位寄存器:用于存储和移位操作,分别存储两个八位数和结果。
- D触发器:用于存储和传递进位。
- 时钟:用于同步操作。
- 异或门:用于将减法操作转化为加法操作。
- 控制信号:用于选择加法或减法操作。
电路示意图
使用具体数字验证
加法验证
假设我们要相加的两个8位数是:
- A = 01101101 (十进制的109)
- B = 00111011 (十进制的59)
- 初始化:
- A寄存器:01101101
- B寄存器:00111011
- 进位 _C_0:0
- 控制信号 Add/Sub = 0(加法)
- 逐位相加
- 第1次时钟脉冲:
- 取出最低位:A0 = 1, B0 = 1, 𝐶0=0
- 全加器计算:𝑆0=1⊕1⊕0=0
- 进位:𝐶1=(1⋅1)+(1⋅0)+(0⋅0)=1
- 移位:A -> 00110110, B -> 00011101
- 第2次时钟脉冲:
- 取出当前位:A1 = 0, B1 = 1, 𝐶1=1
- 全加器计算:𝑆1=0⊕1⊕1=0
- 进位:𝐶2=(0⋅1)+(1⋅1)+(0⋅1)=1
- 移位:A -> 00011011, B -> 00001110
- 第3次时钟脉冲:
- 取出当前位:A2 = 1, B2 = 1, 𝐶2=1
- 全加器计算:𝑆2=1⊕1⊕1=1
- 进位:𝐶3=(1⋅1)+(1⋅1)+(1⋅1)=1
- 移位:A -> 00001101, B -> 00000111
- 第4次时钟脉冲:
- 取出当前位:A3 = 1, B3 = 0, 𝐶3=1
- 全加器计算:𝑆3=1⊕0⊕1=0
- 进位:𝐶4=(1⋅0)+(0⋅1)+(1⋅1)=1
- 移位:A -> 00000110, B -> 00000011
- 第5次时钟脉冲:
- 取出当前位:A4 = 0, B4 = 1, 𝐶4=1
- 全加器计算:𝑆4=0⊕1⊕1=0
- 进位:𝐶5=(0⋅1)+(1⋅1)+(0⋅1)=1
- 移位:A -> 00000011, B -> 00000001
- 第6次时钟脉冲:
- 取出当前位:A5 = 1, B5 = 1, 𝐶5=1
- 全加器计算:𝑆5=1⊕1⊕1=1
- 进位:𝐶6=(1⋅1)+(1⋅1)+(1⋅1)=1
- 移位:A -> 00000001, B -> 00000000
- 第7次时钟脉冲:
- 取出当前位:A6 = 0, B6 = 0, 𝐶6=1
- 全加器计算:𝑆6=0⊕0⊕1=1
- 进位:𝐶7=(0⋅0)+(0⋅1)+(0⋅1)=0
- 移位:A -> 00000000, B -> 00000000
- 第8次时钟脉冲:
- 取出当前位:A7 = 0, B7 = 0, 𝐶7=0
- 全加器计算:𝑆7=0⊕0⊕0=0
- 进位:𝐶8=(0⋅0)+(0⋅0)+(0⋅0)=0
结果
最终输出结果的各位和为 𝑆7𝑆6𝑆5𝑆4𝑆3𝑆2𝑆1𝑆0=10101000,即十进制的168。
减法验证
初始化
- A寄存器:01101101
- B寄存器:00111011
- 进位 _C_0:1(由于使用补码减法,初始进位为1)
- 控制信号 Add/Sub = 1(减法)
逐位计算(将B取反再加上A)
- 第1次时钟脉冲:
- 取出最低位:A0 = 1, B0 = 1
- 由于控制信号为1,B0取反:B0’ = 0
- 全加器计算:𝑆0=1⊕0⊕1=0
- 进位:𝐶1=(1⋅0)+(0⋅1)+(1⋅1)=1
- 移位:A -> 00110110, B -> 00011101
- 第2次时钟脉冲:
- 取出当前位:A1 = 0, B1 = 1
- 由于控制信号为1,B1取反:B1’ = 0
- 全加器计算:𝑆1=0⊕0⊕1=1
- 进位:𝐶2=(0⋅0)+(0⋅1)+(0⋅1)=0
- 移位:A -> 00011011, B -> 00001110
- 第3次时钟脉冲:
- 取出当前位:A2 = 1, B2 = 1
- 由于控制信号为1,B2取反:B2’ = 0
- 全加器计算:𝑆2=1⊕0⊕0=1
- 进位:𝐶3=(1⋅0)+(0⋅0)+(1⋅0)=0
- 移位:A -> 00001101, B -> 00000111
- 第4次时钟脉冲:
- 取出当前位:A3 = 1, B3 = 0
- 由于控制信号为1,B3取反:B3’ = 1
- 全加器计算:𝑆3=1⊕1⊕0=0
- 进位:𝐶4=(1⋅1)+(1⋅0)+(1⋅0)=1
- 移位:A -> 00000110, B -> 00000011
- 第5次时钟脉冲:
- 取出当前位:A4 = 0, B4 = 1
- 由于控制信号为1,B4取反:B4’ = 0
- 全加器计算:𝑆4=0⊕0⊕1=1
- 进位:𝐶5=(0⋅0)+(0⋅1)+(0⋅1)=0
- 移位:A -> 00000011, B -> 00000001
- 第6次时钟脉冲:
- 取出当前位:A5 = 1, B5 = 0
- 由于控制信号为1,B5取反:B5’ = 1
- 全加器计算:𝑆5=1⊕1⊕0=0
- 进位:𝐶6=(1⋅1)+(1⋅0)+(0⋅0)=1
- 移位:A -> 00000001, B -> 00000000
- 第7次时钟脉冲:
- 取出当前位:A6 = 0, B6 = 0
- 由于控制信号为1,B6取反:B6’ = 1
- 全加器计算:𝑆6=0⊕1⊕1=0
- 进位:𝐶7=(0⋅1)+(1⋅1)+(0⋅1)=0
- 移位:A -> 00000000, B -> 00000000
- 第8次时钟脉冲:
- 取出当前位:A7 = 0, B7 = 0
- 由于控制信号为1,B7取反:B7’ = 1
- 全加器计算:𝑆7=0⊕1⊕0=1
- 进位:𝐶8=(0⋅1)+(1⋅0)+(0⋅0)=0
结果
最终输出结果的各位和为 𝑆7𝑆6𝑆5𝑆4𝑆3𝑆2𝑆1𝑆0=00110010,即十进制的50。
相关文章:

z3-加法器实验
补码器加减法,运算方法简介 我们要知道什么是补码的加法,我们为什么要用补码的加法? 补码的加法其实就是将两个补码形式的二进制数字直接相加,处理的时候忽略超出固定位数的进位。补码的加法运算和无符号二进制数的加法操作一样&…...

解决git克隆项目出现fatal无法访问git clone https://github.com/lvgl/lvgl.git
Windows 11系统 报错 $ git clone https://github.com/lvgl/lvgl.git Cloning into lvgl... fatal: unable to access https://github.com/lvgl/lvgl.git/: Failed to connect to github.com port 443 after 21141 ms: Couldnt connect to server 解决方法 git运行这两段代码…...
Vue中引入组件需要哪三步
在Vue中引入组件通常需要以下三步: 导入组件:首先,你需要在父组件中导入你想要使用的子组件。这通常是通过ES6的import语法完成的。 注册组件:接下来,你需要在父组件中注册这个子组件。这可以通过components选项完成&…...

到底该用英文括号还是中文括号?
这篇博客写的还挺详细的,不错。...
一个普通双非女生的秋招之路
大家好,我是小布丁。 先简单地做个自我介绍: 我今年本科毕业于某双非院校(属于那种没什么人听说过的小学校),学的是计算机专业,英语四级水平(没办法,六级确实没过)。我本…...
一个模型用了几层神经网络怎么算?
有权重参数的层算作一层,没有权重参数的就是参数不更新,不能称之为一层 有权重:卷积层、全连接层 没有权重的层:激活函数层、池化层 即数卷积层和全连接层的个数,就是这个模型用了几层神经网络。...
python获取cookie的方式
通过js获取cookie,避免反复登录操作。 经验证在JD上没有用,cookie应该无痕或者加密了,只能用单浏览器不关的模式来实现,但是代码留着,其他网站可能有用。 def cookie_set():driver webdriver.Chrome(optionschrome_…...

Nginx-狂神说
Nginx概述 公司产品出现瓶颈? 我们公司项目刚刚上线的时候,并发量小,用户使用的少,所以在低并发的情况下,一个jar包启动应用就够了,然后内部tomcat返回内容给用户。 但是慢慢的,使用我们平台…...

Python筑基之旅-运算符
目录 一、运算符 1、了解定义 2、理解意义 2-1、基本数据处理 2-2、条件判断 2-3、逻辑操作 2-4、赋值和更新 2-5、位操作 2-6、提高代码可读性 2-7、解决实际问题 2-8、学习其他编程语言的基础 3、探索方法 3-1、理解概念 3-2、练习基本运算 3-3、掌握优先级 …...

【Text2SQL】Spider 数据集
论文:Spider: A Large-Scale Human-Labeled Dataset for Complex and Cross-Domain Semantic Parsing and Text-to-SQL Task ⭐⭐⭐⭐⭐ EMNLP 2018, arXiv:1809.08887 Dataset: spider GitHub: github.com/taoyds/spider 一、论文速读 本文提出了 Text2SQL 方向的…...

语雀——云知识库/笔记
对于日常进行学习/创作或是记录学习、工作内容与心得的群体来说,能够及时同步的云笔记应用有着广泛的应用场景。近期,我也探索了许多款不同的软件应用,今天来分享一款很有特点的应用——语雀。 语雀,为每一个人提供优秀的文档和知…...
Java学习:电影查询简单系统
1.创建一个movice的对象来存放电影 里面设置构造器(有参和无参) package com.movie;public class movice {//创建一个movice的对象存放电影private int id;private String name;private double price;private double score;private String diector;pri…...
在Mac电脑下怎么部署QAnything?
在Mac电脑下部署QAnything,可以选择使用纯Python环境进行部署,这种方式不依赖GPU,适合在Mac等笔记本电脑上运行。以下是基于QAnything的纯Python环境安装教程的步骤[18]: 安装要求 Python 3.10(建议使用Anaconda3来管…...

单条16g和双条8g哪个好
单条16g和双条8g各有优劣,具体选择要根据个人需求和电脑配置来决定。 以下是一些参考信息: •单条16g内存的价格比双条8g内存的价格低,而且16g的内存容量大,一条内存十分的方便。 •两条8g内存可以组成双通道,电脑运行速度要快一些。 •对于普通使用电脑的人群与热衷于…...
Microsoft VBA Excel 去重小工具
问题简述 在本工作表中,A1:B3单元格样式如下,通过名称管理器B列的单元格被命名为"LinkFile"、“SheetName”、“InputArea”,请实现以下功能:读取Excel文件中的数据,去除重复的数据,并记录每个数…...

数据库管理-第194期 网络加速RDMA初探(20240526)
数据库管理194期 2024-05-26 数据库管理-第194期 网络加速RDMA初探(20240526)1 概念2 发展3 使用总结 数据库管理-第194期 网络加速RDMA初探(20240526) 作者:胖头鱼的鱼缸(尹海文) Oracle ACE A…...
C++小游戏 合集
生化危机 #include<conio.h> #include<string.h> #include<stdio.h> #include<stdlib.h> #include<windows.h> #include<time.h> #include<direct.h> int n,round,gold0; bool f1,f2,f3,deadfalse,PC_64Bit; char str[4]; struct n…...
【Python爬虫篇】Selenium在获取网页数据方面的使用及采集中国大学课程评论数据
1 selenium概述 1.什么是selenium? (1)Selenium是一个用于Web应用程序测试的工具。 (2)Selenium 测试直接运行在浏览器中,就像真正的用户在操作一样。 (3)支持通过各种driver&#…...

【JavaScript】文件下载
文件下载的消息格式 服务器只要在响应头中加入 Content-Disposition: attachment; filename"kxx" 即可触发浏览器的下载功能其中: attachment 表示附件,浏览器看到此字段,触发下载行为(不同的浏览器下载行为有所区别&…...

利用Python去除PDF水印
摘要 本文介绍了如何使用 Python 中的 PyMuPDF 和 OpenCV 库来从 PDF 文件中移除水印,并将每个页面保存为图像文件的方法。我们将深入探讨代码背后的工作原理,并提供一个简单的使用示例。 导言 简介:水印在许多 PDF 文件中都很常见&#x…...
Vim 调用外部命令学习笔记
Vim 外部命令集成完全指南 文章目录 Vim 外部命令集成完全指南核心概念理解命令语法解析语法对比 常用外部命令详解文本排序与去重文本筛选与搜索高级 grep 搜索技巧文本替换与编辑字符处理高级文本处理编程语言处理其他实用命令 范围操作示例指定行范围处理复合命令示例 实用技…...

深入浅出Asp.Net Core MVC应用开发系列-AspNetCore中的日志记录
ASP.NET Core 是一个跨平台的开源框架,用于在 Windows、macOS 或 Linux 上生成基于云的新式 Web 应用。 ASP.NET Core 中的日志记录 .NET 通过 ILogger API 支持高性能结构化日志记录,以帮助监视应用程序行为和诊断问题。 可以通过配置不同的记录提供程…...

51c自动驾驶~合集58
我自己的原文哦~ https://blog.51cto.com/whaosoft/13967107 #CCA-Attention 全局池化局部保留,CCA-Attention为LLM长文本建模带来突破性进展 琶洲实验室、华南理工大学联合推出关键上下文感知注意力机制(CCA-Attention),…...

Spark 之 入门讲解详细版(1)
1、简介 1.1 Spark简介 Spark是加州大学伯克利分校AMP实验室(Algorithms, Machines, and People Lab)开发通用内存并行计算框架。Spark在2013年6月进入Apache成为孵化项目,8个月后成为Apache顶级项目,速度之快足见过人之处&…...

Xshell远程连接Kali(默认 | 私钥)Note版
前言:xshell远程连接,私钥连接和常规默认连接 任务一 开启ssh服务 service ssh status //查看ssh服务状态 service ssh start //开启ssh服务 update-rc.d ssh enable //开启自启动ssh服务 任务二 修改配置文件 vi /etc/ssh/ssh_config //第一…...

JavaScript 中的 ES|QL:利用 Apache Arrow 工具
作者:来自 Elastic Jeffrey Rengifo 学习如何将 ES|QL 与 JavaScript 的 Apache Arrow 客户端工具一起使用。 想获得 Elastic 认证吗?了解下一期 Elasticsearch Engineer 培训的时间吧! Elasticsearch 拥有众多新功能,助你为自己…...

Day131 | 灵神 | 回溯算法 | 子集型 子集
Day131 | 灵神 | 回溯算法 | 子集型 子集 78.子集 78. 子集 - 力扣(LeetCode) 思路: 笔者写过很多次这道题了,不想写题解了,大家看灵神讲解吧 回溯算法套路①子集型回溯【基础算法精讲 14】_哔哩哔哩_bilibili 完…...

从深圳崛起的“机器之眼”:赴港乐动机器人的万亿赛道赶考路
进入2025年以来,尽管围绕人形机器人、具身智能等机器人赛道的质疑声不断,但全球市场热度依然高涨,入局者持续增加。 以国内市场为例,天眼查专业版数据显示,截至5月底,我国现存在业、存续状态的机器人相关企…...

dedecms 织梦自定义表单留言增加ajax验证码功能
增加ajax功能模块,用户不点击提交按钮,只要输入框失去焦点,就会提前提示验证码是否正确。 一,模板上增加验证码 <input name"vdcode"id"vdcode" placeholder"请输入验证码" type"text&quo…...

ESP32 I2S音频总线学习笔记(四): INMP441采集音频并实时播放
简介 前面两期文章我们介绍了I2S的读取和写入,一个是通过INMP441麦克风模块采集音频,一个是通过PCM5102A模块播放音频,那如果我们将两者结合起来,将麦克风采集到的音频通过PCM5102A播放,是不是就可以做一个扩音器了呢…...