首页 > 其他分享 >定点补码乘法器小记

定点补码乘法器小记

时间:2023-08-11 22:23:38浏览次数:47  
标签:32 相加 补码 Booth 华莱士 乘法器 小记

目录

参考链接:

《计算机体系结构基础 第三版》定点补码乘法器

一生一芯学习讲义

一生一芯视频号

硬件模拟软件

软件方式即类似我们手工计算,如计算1101 * 0101

+00001101(乘数最低位1,结果加上被乘数。将乘数右移,被乘数左移)
+00000000(乘数最低位0,结果加0,移位,下同)
+00110100
+00000000
=01000001
硬件模拟软件乘法器

这个乘法器有两个明显的特点:

  1. 对于N位乘法需要N拍
  2. 只能用于计算无符号数乘法,如果要计算补码乘法则必须将两者转为绝对值,运算结束后再根据原始的符号决定正负,转换为对应的相反数或本身。

就第2点来看,补码加法只需要无脑加就能得出结果,然而补码乘法竟然还得根据符号做出这样的转换,显得有点麻烦并且有点不对等了。因此下面引出的解决方案,让补码乘法也能像补码加法那样,“无脑乘”,省去最后做出的转换步骤。

无脑乘

根据补码的定义,可以将乘数转换为如下形式:

image-20230811113141615

乘法即可表示为

image-20230811113241321

可以看到除了第N个部分积\(-[X]_补\times(y_7\times2^7)\)需要加上负号外,其余部分积可套用之前的电路来计算。因此在原来无符号乘法电路的基础上,我们只需要对最后一个部分积进行特判,就能实现补码乘法了,即最终出来的结果不用根据符号再作转换。

无脑乘

所谓前人种树后人乘凉,有了下面的Booth乘法器,这个无脑乘电路又略显逊色了,逊色在于这个特判需要额外的状态机来控制,增加了硬件复杂度,相比之下Booth算法对机器更加友好(统一操作,省去特判)。

Booth乘法器

对电路的改造依然是基于对表达式的转换:下图对乘数B的表示做的一番转换,使其每一个加法项变成统一的形式:\((y_{i-1}-y_{i})\times2^i\),其中\(y_{-1}=0\)

image-20230811114646819

诶,这样一来,对于第\(i\)个部分积就等于\([X]_补\times(y_{i-1}-y_i)\times2^i\),也就是我们每次只需要通过乘数的最后两位确定如何将被乘数加到结果当中:

yi yi-1 操作
0 0 不需要加(+0)
0 1 补码加X(+[X]补)
1 0 补码减X(-[X]补)
1 1 不需要加(+0)

这样我们就统一了部分积的计算规则,省去了特判状态机。然鹅此时N位乘法还是需要N拍,因此可以将式子继续变换:

image-20230811115805086

这个式子的结果也是一目了然了:从之前的每次移位1位,变成移位2位,并且部分积从之前的根据乘数后2位来确定变成根据乘数后3位来确定:

0 0 0 不需要加(+0)
0 0 1 补码加X(+[X]补)
0 1 0 补码加X(+[X]补)
0 1 1 补码加2X(+[X]补左移)
1 0 0 补码减2X(-[X]补左移)
1 0 1 补码减X(-[X]补)
1 1 0 补码减X(-[X]补)
1 1 1 不需要加(+0)

这样N位乘法只需要N/2-1次加法,使用N/2拍完成。类似地可以将式子变换成移位3位、4位等,不过这样需要的硬件就更加复杂,两位乘算法更适合硬件实现,更为实用。

下面介绍Booth两位乘的具体实现细节:假设[X]补的二进制格式写作x7x6x5x4x3x2x1x0,再假设部分积P等于p7p6p5p4p3p2p1p0+c,那么根据上表有:

image-20230811130905107

为了得到\(p_i\)的逻辑表达式,为了便于信号复用这里加入了中间信号\(S\),例如S+x信号在部分积选择为+X时为1,因此有:

\(pi=∼(∼(S_{−X}\&∼x_i)\&∼(S_{−2X}\&∼x_{i−1})\&∼(S_{+X}\&x_i) \& ∼(S_{+2X} \& x_{i−1}))\)

Booth结果选择逻辑

中间信号S又通过乘数Y后三位表示得到,如:\(S_{−x}=∼(∼(y_{i+1}\&y_i\&∼y_{i−1})\&∼{}(y_{i+1} \& ∼y_i \& y_{i−1}))\)

Booth选择信号生成逻辑

将上面两个部件连线得到Booth编码器(《胡伟武的计算机系统结构基础 第三版》中是这样命名这个部件的),其中输出信号\(c=S_{-X}|S_{-2X}\)

Booth部分积生成逻辑

最后通过连接乘数、被乘数、加法器等部件构成两位Booth乘法器

使用移位加实现Booth乘法

其中被乘数、结果、加法器与部分积生成器的宽度都为2N位。

华莱士树

对于现代处理器来说,完成64位乘法需要32周期依然太慢,并且不支持流水操作。如果将上面每拍处理一次部分积的算法改造成,使用32个Booth编码器同时生成所有部分积,并用类二叉树的方式将部分积相加,第一拍执行16个加法、第二拍8个加法....通过这样大规模增加硬件的方法确实可以轻松流水,延迟也控制在一定的范围内,但是硬件开销实在太大。

华莱士树算法可以大幅降低多个数相加的硬件开销和延迟。

华莱士树算法在于全加器(FA)的巧妙利用,首先看下一位全加器:

一位全加器示例

根据定义有A+B+C=S+(C<<1),注意等号前面的C是低位进位,后面的C是本位向高位的进位,不是同一个C。核心之处就在于将三个数A,B,C的加法转换了两个数S,C的加法,当然,C要进行一位移位。因此一个FA实现了三个一位数的加法,注意这里所谓的“加法”得到的不是最终结果,而是得到两个N位的加数,也就是说经过华莱士算法之后,还需要一个正经的加法器(RCA、CLA等)。若没有其他说明,下面说的“加法”解释同上。

3个4位数的加法,则可用使用四个FA实现

使用全加器实现3个4位数相加

即:

\(\{A_3A_2A_1A_0\}+\{B_3B_2B_1B_0\}+\{D_3D_2D_1D_0\}=\{S_3S_2S_1S_0\}+\{C_2C_1C_00\}\)

仅考虑保留位宽4,因此\(C_3\)直接丢弃。

4个4位数加法实现

使用全加器实现4个4位数相加

同样地,如果仅保留4位,则直接丢弃\(C_3\)和\(C3'\)。其中图中圈起来的部分即构成了一个4数相加的1位华莱士树,因此上图可以看为将4个4个1位数的华莱士树相连。

回到最初的问题,通过设置N/2个Booth编码器我们可以同时得到N/2个2N位的部分积,下一步通过设置2N个N/2数相加的1位华莱士树对这些部分积进行相加。例如N=16,经过Booth算法后输出8个宽度为32的部分积,即需要设置32个8数相加的1位华莱士树。类似4数相加的1位华莱士树,给出8数相加的1位华莱士树结构:

8个数相加的一位华莱士树

上图来自《计算及体系结构基础 第三版》,我一开始是疑惑为什么要这样构建这个华莱士树的,并且看了下面书中所谓“错误的华莱士树结构”之后,更加迷惑

两种错误的8个数相加的一位华莱士树

明明这两个结构也能出正确的结果,不同之处只是相比正确的华莱士树进位位少了一位。而书上指出这两个结构错的地方甚至都不一样。哎,只能先忽略所谓的错误,接着往下看。

到这里,我们已经拥有了Booth编码器与华莱士树结构,可以连线构造这个16位乘法器了!首先乘法器分为三层:

  1. 第一层是8个Booth编码器,分别输出8个部分积\(P_{0~7}\)与对应的\(c_{0~7}\)(不知道的建议回头重看Booth乘法器部分)
  2. 第二层是32个8数相加的1位华莱士树,相当于第\(i\)个华莱士树处理部分积的\(i\)位,部分积是32位,因此对应32个华莱士树,共8个部分积因此需要8数相加的1位华莱士树。根据华莱士树的定义,这层输出两个32位的加数S和(C<<1)
  3. 第三层将上层的两个加数用加法器进行相加得出结果
16位乘法器示意图

在第一层和第二层之间的switch用于收集8个Booth核心生成的8个32位数,进行类似矩阵转置的操作,重新组织为32组、8个一位数相加的格式作为华莱士树的输入,起到适配器的作用。

另外,8个Booth编码器输出的8个c从switch的右边原封不动输出,其中6个c从最右边的华莱士树作为进位输入,1个c输入32位加法器,剩下一个则替换{C30,C29...,C0,0}中的最低位0,即加法器左边的输入为{C30,C29...,C0,c}。诶,到这里我们发现,如果使用的是上面两个“错误的华莱士树”,那么只有5个进位输出,剩下一个c将“无家可归”

不过zyh和wp大佬指出,在优化的华莱士当中并不用考虑这个进位位数的情况,因此我又去看了下优化的华莱士,并放到下个小节讨论

现在可以知道两个错误的华莱士树错误的共同之处在于进位位的位数。另外之前提到两个错误的华莱士树的错误也有不同之处,关键地方在于延迟。关于这点在书中似乎并没有细说。

image-20230811215003860

图来自zyh大佬,图中红色数字为部件单位延迟,即经过一次FA延迟+1,可以看到由于左边的华莱士树将低位进位C0与0延迟的原始输出相加,使得输出结果延迟为2,并一路导致最终输出的延迟为5,相比右边的华莱士树与“正确的华莱士树”只有4的延迟,虽然输出并没有错误,但因为延迟问题导致这种结构注定是要被抛弃的,因此是错误的!

优化的华莱士树

标签:32,相加,补码,Booth,华莱士,乘法器,小记
From: https://www.cnblogs.com/nosae/p/17624046.html

相关文章

  • 「Log」2023.8.11 小记
    间幕\(1\)从今天开始记小记。七点到校了,先小摆一会,然后整理博客。听MITiS的电音,开始写题。\(\color{blueviolet}{P1829\[国家集训队]\Crash的数字表格\/\JZPTAB}\)莫反练习题,式子并不难推,两个整除分块解决。八点整打完,开始调。忘记初始化了。筛质数pri[++pcnt]=tr......
  • 原码,反码,补码
    原码:它在计算机中的二进制数反码:正数的反码是其本身,负数的反码是在其原码的基础上,符号位不变,其余各个位取反。符号位表示这个数字是正数还是负数补码正数的补码就是它本身,负数就是符号位不变,其余的全部取反再加一。lowbit函数方法1:x&(x^(x-1))方法2:x&-x作用:找到二......
  • spring boot自定义类中 @Autowired注入失败问题小记
    springboot自定义类中@Autowired注入失败问题小记第一种方法:@PostConstruct,大多数人使用的方式,不过对于我的问题没有用第二种方法:实现ApplicationRunner接口,在run方法执行后进行初始化第三种方法:实现ApplicationContextAware接口,直接到spring容器拿bean代码如下shiroConf......
  • 多项式小记
    先粘个\(\rmNTT\)和\(\rmFFT\)的板子。inlinevoidtimes(LL*f,LL*g,intn,intlim){ intkn=initr(n);NTT(f,kn,1);NTT(g,kn,1); for(inti=0;i<kn;i++)f[i]=f[i]*g[i]%Mod; NTT(f,kn,-1);NTT(g,kn,-1); clr(f,lim,kn);}分治\(NTT/FFT\)大概就是维护下面......
  • utools插件生活小记今日提交发布「审核中,预计下周二通过」
     简介生活小记是一款集日常记事,待办,小工具等功能于一身,努力打造小而美的笔记类插件,希望大家会喜欢!功能:生活记事,可直接粘贴图片(小于2mb),列表可以导出笔记为html文件简单记录待办事项小工具:目前上了时间间隔、时间推算两个规划1、后续会完善现有功能,达到好用、易用2、......
  • Mssql手工注入执行命令小记
    文章写于2021-04-08,首发于https://www.anquanke.com/post/id/237031#h2-6前言本次渗透通过某处SQL注入点进行源码分析,并手工利用xp_cmdshell进行了命令执行。初现在某个晴朗夏日午后,闲来无事想测试,这不,马上就掏出xray扫描到了一个sql注入漏洞,不得不说xray真的挺好用的。该项目......
  • python爬虫学习小记——lxml板块
    python爬虫学习小记——lxml板块lxml是python的一个解析库,支持HTML和XML的解析,支持XPath解析方式,而且解析效率非常高。XPath,全称XML Path Language,即XML路径语言,它是一门在XML文档中查找信息的语言,它最初是用来搜寻XML文档的,但是它同样适用于HTML文档的搜索。XPath的选择功能......
  • python爬虫学习小记——request模块
    要学习爬虫我们首先要了解requests这个模块Pythonrequests模块Pythonrequests是一个常用的HTTP请求库,可以方便地向网站发送HTTP请求,并获取响应结果。requests模块比 urllib 模块更简洁。使用requests发送HTTP请求需要先导入requests模块:importrequests......
  • php特性小记
    关于php与url解码的发生情况                                在PHP中,对用户的输入进行URL解码通常在以下情况下发生:1.处理GET或POST请求参数:当用户通过GET或POST方法向服务器发送数......
  • command_block 的《线性基小记》注
    目录1.前置知识2.OI中的线性基张成空间判定问题Ⅰ&Ⅱ实数域线性基k小子集异或和线性基合并带删除线性基总结command_block的《线性基小记》原文1.前置知识线性有关/无关:知乎中有对线性相关与线性无关比较具象化的解释。可以发现,线性基就是一种线性无关构成的线性相关的集合......