基于FPGA的数字信号处理（5）--Signed的本质和作用

news2024/11/18 23:48:26

前言

Verilog中的signed是一个很多人用不好，或者说不太愿意用的一个语法。因为不熟悉它的机制，所以经常会导致运算结果莫名奇妙地出错。其实了解了signed以后，很多时候用起来还是挺方便的。

signed的使用方法主要有两种，其中一种是定义一个有符号数变量，例如：

reg 		[3:0] us_a;	//定义无符号数us_a

reg signed 	[3:0] s_a;	//定义有符号数s_a

这样定义以后，即使是将同一个值 1111 分别赋值给us_a和s_a，它们所表达的数也不同了，无符号数us_a是 15 ，而有符号数 s_a则是 -1 。但是，这个-1和15是人类或者说工具站在如何解释符号位的角度上解读的，在电路底层，它们的值都是一样的1111。所以signed相当于只是规定了如何来解读一个数的最高有效位。

signed还有一个用法是强制转换，把一个无符号数转换为有符号数类型。例如：

reg [7:0] regA；

regA = $signed(-4);

这两个是signed的一般语法，而它的本质在我看来只有两点：

  1. 当计算不产生溢出的时候，signed只影响如何将2进制数解读为10进制数；
  2. 当计算产生溢出的时候，signed影响的是如何对高位扩展–无符号数高位扩展0，而有符号数则高位扩展符号位。

计算结果不溢出

来看下面的代码：

`timescale 1ns/1ns
module tb_test();

reg 		[3:0] us_a,us_b;	//无符号加数a、加数b
reg signed	[3:0] s_a,s_b;		//有符号加数a、加数b
reg 		[3:0] us_sum;		//无符号和
reg signed	[3:0] s_sum;		//有符号和
	
initial begin
	us_a = 4'b1001;		//9
	us_b = 4'b0001;		//1
	s_a  = 4'b1001;		//-7
	s_b  = 4'b0001;		//3

#10	
	us_sum = us_a + us_b;	//9+1
	s_sum  = us_a + us_b;	//9+1
#10	
	us_sum = us_a + s_b;	//9+1
	s_sum  = us_a + s_b;	//9+1
#10
	us_sum = s_a + us_b;	//-7+1
	s_sum  = s_a + us_b;	//-7+1
#10	
	us_sum = s_a + s_b;		//-7+1
	s_sum  = s_a + s_b;		//-7+1

end	

endmodule

加数a和加数b分别定义成有符号数和无符号数，加数的和也分别定义成有符号数和无符号数，这样一共有2×2×2 =8 种组合。

给a赋值1001（即无符号数 9/有符号数 -7）；给b赋值0001（即无符号数 1/有符号数 1），可以看到他们的计算结果都是一样的1010（即无符号数 10/有符号数 -6）：

30d65ce02d30b406d9486035e9cf7eba_202404281141671_raw=true

这个结果和预期是一致的。两个二进制数的加法，因为和没有溢出，所以不管是定义成有符号的还是无符号的，它们的结果肯定都一样。原因就是前面说的第一点：

当计算不产生溢出的时候，signed只影响如何将2进制数解读为10进制数；

计算结果溢出

现在将上面的代码改一下，把和改成5位，使他们的结果需要强制溢出（扩宽）到5位，如下：

reg 		[4:0] us_sum;		//无符号和
reg signed	[4:0] s_sum;		//有符号和

仿真结果已经和上面不同了：

image-20240403115924965

前面3种计算的结果仍然没变，但是第4种计算（即两个有符号数相加）的结果从0_1010变成了1_1010，也就是说最高位的符号位扩展了一位。有符号数和无符号数的运算有一个规则：

不管运算结果是有符号数还是无符号数，只要右边运算式中有一个是无符号数，那么运算结果就是无符号数。

也就是说

  • 无符号数 + 无符号数 的结果是 无符号数
  • 有符号数 + 无符号数 的结果是 无符号数
  • 有符号数 + 有符号数 的结果是 有符号数

因为前3种运算中都有 无符号数 参与，所以不管 和 是定义成有符号数还是无符号数 ，它们的结果都是 无符号数，所以会在高位拓展0；而第4种运算则是只有 有符号数 参与，所以它们的结果都会在高位扩展符号位（即1）。

再来看一个例子：

`timescale 1ns/1ns
module tb_test();

reg signed 	[1:0] s_a ;
reg 		[1:0] us_a;

reg 		[3:0] s_s_a ;
reg 		[3:0] us_us_a;
reg 		[3:0] inv_s_a ;
reg 		[3:0] inv_us_a;

	
initial begin
	s_a  = -1;
	us_a = -1;
	
	s_s_a  = s_a;
	us_us_a = us_a;
	
	inv_s_a  = - s_a;
	inv_us_a = - us_a;
end	

endmodule

仿真结果是这样的：

image-20240403122129280

  • s_a和us_a的赋值都是 -1，实际就是32‘b111···111，位宽只有2位，所以被截断到2’b11。
  • s_s_a是s_a的高位扩展，因为s_a是有符号数，所以高位扩展补符号位1，就从11变成1111；us_us_a是us_a的高位扩展，因为us_a是无符号数，所以高位扩展补0，从从11变成0011。
  • inv_s_a是s_a的数值的相反数，即补码按位取反后再加1，s_a先从11拓展到1111，再取反加1就变成了0001。从十进制的角度看 s_a（11）是 -1，而 inv_s_a是0001（1），符合相反数的关系。
  • inv_us_a是us_a的数值的相反数，即补码按位取反后再加1，us_a先从11拓展到0011，再取反加1就变成了1101。从十进制的角度看 us_a（11）是 3，而 inv_s_a是1101（-3），也符合相反数的关系。

signed的用法

自动扩展位宽

将一个数的位宽扩展，如果不使用signed语法，则首先需要判断其最高位是否为1，如果是则说明是负数，高位需要扩展1；如果不是则说明是正数，那么高位需要扩展0（正数也可直接赋值，因为不使用signed的话工具会自动扩展0），例如：

module test 
(
	input 		[3 : 0]	in,
	output 	reg	[4 : 0]	out
);

always@(*)
begin
	if(~in)					//in是正数
		out = in;			//直接赋值，等价于高位补0 out = {1'b0,in};
	else					//in是负数
		out = {1'b1,in};	//高位保护1
end

endmodule

如果使用signed就可以直接赋值了，例如：

module test 
(
	input	signed	[3 : 0]	in,
	output	signed	[4 : 0]	out
);

assign out = in;			//直接赋值，等价于自动判断高位补符号位

endmodule

简化运算

考虑两个4bits数的加法，为了防止结果溢出，把和的位宽设定成5bits。假如两个数分别为0101（5）和1100（-4），则二者的和应该为 （5 - 4 = 1），但实际结果为 0101 + 1100 = 10001（-15），二者显然对不上。

在不使用signed的情况下，我们需要做的是把两个加数分别扩展符号位，然后再相加。0101扩展到00101 ，1100扩展到11100，这样二者相加为 01001 + 11100 = 10_0001，因为结果只有5bits，所以会被截断到00001，也就是1，这样结果就能对上了。代码是这样写的：

module test 
(
	input	[3 : 0]	in1,in2,
	output	[4 : 0]	out
);

assign out = {in1[3],in1} + {in2[3],in2};	//手动补充高位的符号位

endmodule

而如果将加数都定义成signed类型，则可以直接相加，综合工具会自动在高位扩展符号位来完成计算：

module test 
(
	input	signed [3 : 0]	in1,in2,
	output	signed [4 : 0]	out
);

assign out = in1 + in2;	//手动补充高位的符号位

endmodule

移位操作

不使用signed的情况下，右移首先需要根据最高位的符号来判断这个数是正数还是负数，正数右移需要高位补0，而负数右移则需要高位补1。

比如 -4 右移一位的结果应该是 -2，即4’b1100 >>1 的结果应该是4’b1110，如果高位补0则成了4‘b0110（6），结果就明显错了。所以代码要这么写：

module test 
(
	input		[3 : 0]	in,
	output	reg	[3 : 0]	out
);

//右移两位
always@(*)
begin
	out = in >> 2;			//首先右移两位，先默认在高位补0，后面再根据判断来修改
	if(in[3])				//in是负数
		out [3:2] = 2'b11;	//高位补的0替换成1
end

endmodule

如果将数据定义成了signed类型，则不需要判断正负，可以直接使用 算术右移预算符 >>> 来做移位。算术右移时，高位补充的是符号位。算术右移需要和signed一起使用，因为无符号数的算术右移补充的是0。代码：

module test 
(
	input	signed [3 : 0]	in,
	output	signed [3 : 0]	out
);

//右移两位
assign out = in >>> 2;	//算术右移高位会自动补符号位

endmodule

比较

在不定义signed的情况下，只要比较中出现了负数，那么比较的结果就不能直接对比了，直接对比很容易出错，比如：

`timescale 1ns/1ns
module tb_test();

reg	[3:0] a,b;

initial begin
	a = 4'd1;	//1
	b = -4'd3;	//-3
	if(a > b)
		$display("a > -3");
	else
		$display("a < -3");
end	

endmodule

这段打印的结果居然是：

a < -3

也就是说 1居然小于 -3 ？结果明显不对。如果不使用signed来定义变量，那么在判断两个数的大小时，首先需要判断符号位，然后才是判断剩余数的大小。这样写出来的代码非常麻烦。如果把两个数都定义成signed类型，那就可以直接对比了：

module test 
(
	input	signed [3:0]	in1,in2,
	output					out
);

//当in1大于in2时输出1；其他时候输出0;不考虑二者相等的情况
assign out = (in1 > in2) ? 1'b1 : 1'b0;

endmodule

测试结果符合预期：

image-20240403172322160

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.coloradmin.cn/o/1637082.html

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

【Windows，亲测有效】手动激活Sublime Text

【Windows，亲测有效】手动激活Sublime Text

前言 Sublime Text 是一款非常好用的文本编辑器&#xff0c;但是免费版时不时会跳弹窗 本方法无毒无害&#xff0c;简单易上手 2023/12/22 更新&#xff1a;实测从 4143 支持到 4169 开始 先确保你用的是官方版本的 Sublime Text&#xff0c;还没下的可以去官方下载&#…
阅读更多...
TiDB系列之：部署TiDB集群常见报错解决方法

TiDB系列之：部署TiDB集群常见报错解决方法

TiDB系列之&#xff1a;部署TiDB集群常见报错解决方法 一、部署TiDB集群二、unsupported filesystem ext3三、soft limit of nofile四、THP is enabled五、numactl not usable六、net.ipv4.tcp_syncookies 1七、service irqbalance not found,八、登陆TiDB数据库 一、部署TiDB…
阅读更多...
【ARM 裸机】NXP 官方 SDK 使用

【ARM 裸机】NXP 官方 SDK 使用

在前几节中&#xff0c;学习了如何编写汇编的 led 驱动、C 语言的 led 驱动、模仿 STM32 进行开发&#xff0c;我们都是自己写外设寄存器的结构体&#xff0c;外设非常的多&#xff0c;写起来费时费力&#xff0c;NXP 针对 I.MX6ULL 编写了一个 SDK 包&#xff0c;这个 SDK 包就…
阅读更多...
C++ | Leetcode C++题解之第59题螺旋矩阵II

C++ | Leetcode C++题解之第59题螺旋矩阵II

题目&#xff1a; 题解&#xff1a; class Solution { public:vector<vector<int>> generateMatrix(int n) {int num 1;vector<vector<int>> matrix(n, vector<int>(n));int left 0, right n - 1, top 0, bottom n - 1;while (left < r…
阅读更多...
【C++】一篇文章带你深入了解stack、queue 和 priority_queue

【C++】一篇文章带你深入了解stack、queue 和 priority_queue

目录 一、stack的介绍和使用1.1 stack的介绍1.2 stack的使用1.2.1.1 [stack对象的构造](https://legacy.cplusplus.com/reference/stack/stack/stack/)1.2.1.2 stack对象的容量操作1.2.1.2.1 [empty()函数](https://legacy.cplusplus.com/reference/stack/stack/empty/)1.2.1.2…
阅读更多...
密度峰值聚类(DPC)算法（Python3实现）

密度峰值聚类(DPC)算法（Python3实现）

一、密度峰值算法简介 1、密度峰值聚类算法 密度峰值聚类&#xff08;Density peaks clustering, DPC&#xff09;算法是由Rodriguez和Laio于2014年提出的一种聚类分析算法。其原始文献名是在在 Science上发表的&#xff0c;论文名称为“Clustering by Fast Search and Find …
阅读更多...
requests库进行接口请求

requests库进行接口请求

请求的常规写法 requests.post() 、requests.get() 从中可以看出&#xff1a; 必填参数&#xff1a; url可缺省参数&#xff1a; data&#xff0c;json等、关键字参数 **kwargs 如下进行了一个post请求的登录&#xff0c;且请求体在body中 知识点1 当为post请求时&#xff1…
阅读更多...
区块链技术：DAPP开发

区块链技术：DAPP开发

随着科技的飞速发展&#xff0c;区块链技术逐渐渗透到各个领域&#xff0c;其中DAPP&#xff08;去中心化应用&#xff09;的发展尤为引人注目。作为一种新型的应用程序&#xff0c;DAPP正在重塑未来商业生态&#xff0c;其潜力无可估量。 一、DAPP的定义和特点 DAPP是指基于…
阅读更多...
Open CASCADE学习|BRepFill_SectionPlacement

Open CASCADE学习|BRepFill_SectionPlacement

BRepFill_SectionPlacement 是一个与计算机辅助设计&#xff08;CAD&#xff09;相关的术语&#xff0c;通常用于指代一个几何对象或操作&#xff0c;它是Open CASCADE Technology&#xff08;OCCT&#xff09;中的一个类。Open CASCADE Technology是一个开源的CAD内核&#xf…
阅读更多...
pytorch中创建maskrcnn模型

pytorch中创建maskrcnn模型

0.模型输入/输出参数参见 链接: pytorch的mask-rcnn的模型参数解释 核心代码 GeneralizedRCNN(这里以mask-rcnn来解释说明) # 通过输入图像获取fpn特征图,注意这里的backbone不是直接的resnet,而是fpn化后的 features self.backbone(images.tensors) # 由于是mask-rcnn,故而…
阅读更多...
css利用transform:skew()属性画一个大屏的背景斜面四边形特效

css利用transform:skew()属性画一个大屏的背景斜面四边形特效

在工作工程中需要写一个如下的大屏背景&#xff0c;是由几个斜面做成的效果 使用css transform function中的skew()方法实现画其中一个斜面&#xff0c;然后调整背景色实现 写一个div <div class"skew_container test-2"><div class"skew_container_it…
阅读更多...
vue 前端读取Excel文件并解析

vue 前端读取Excel文件并解析

前端读取Excel文件并解析 前端如何解释Excel呢 平时项目中对于Excel的导入解析是很常见的功能&#xff0c;一般都是放在后端执行&#xff1b;但是也有特殊的情况&#xff0c;偶尔也有要求说前端执行解析&#xff0c;判空&#xff0c;校验等&#xff0c;最后组装成后端接口想要的…
阅读更多...
GPU 架构与 CUDA 关系 并行计算平台和编程模型 CUDA 线程层次结构 GPU 的算力是如何计算的 算力峰值

GPU 架构与 CUDA 关系 并行计算平台和编程模型 CUDA 线程层次结构 GPU 的算力是如何计算的 算力峰值

GPU 架构与 CUDA 关系 本文主要包含 NVIDIA GPU 硬件的基础概念、CUDA（Compute Unified Device Architecture）并行计算平台和编程模型，详细讲解 CUDA 线程层次结构，最后将讲解 GPU 的算力是如何计算的，这将有助于计算大模型的算力峰值和算力利用率。 GPU 硬件基础概念GP…
阅读更多...
基本STL使用

基本STL使用

一 、关于vector 在STL中有一个称为vector的数据结构&#xff0c;可以用来代替数组。 定义Book特性 private:vector<string> shelf_books;Notic : 类中不能使用类似的定义&#xff1a;vector<sttring> shelf_boos( 10 ); 定义Book方法 public:void setName(str…
阅读更多...
平面模型上提取凸凹多边形------pcl

平面模型上提取凸凹多边形------pcl

平面模型上提取凸凹多边形 pcl::PointCloud<pcl::PointXYZ>::Ptr PclTool::ExtractConvexConcavePolygons(pcl::PointCloud<pcl::PointXYZ>::Ptr cloud) {pcl::PointCloud<pcl::PointXYZ>::Ptr cloud_filtered(new pcl::PointCloud<pcl::PointXYZ>);p…
阅读更多...
概述CoAP协议

概述CoAP协议

目录 概述 1 认识CoAP协议 2 CoAP的消息 2.1 CoAP消息类型 2.2 可靠传输和不可靠传输 2.2.1 可靠传输 2.2.2 不可靠消息 2.3 Request/Response Model 3 CoAP消息的格式 3.1 格式介绍 3.2 协议分析 4 CoAP URL 4.1 coap URI Scheme 4.2 coaps URI Scheme 5 Co…
阅读更多...
Pytorch GPU版本安装

Pytorch GPU版本安装

一、背景 记录一下安装Pytorch GPU版本过程。 由于手残&#xff0c;卸载了电脑上的显卡驱动&#xff0c;现在我连显卡类型是啥都不知道了。 总体思路&#xff1a;安装显卡驱动->安装cuda->安装pytorch库 二、安装显卡驱动 2.1 查看本地显卡型号 通过「DirectX 诊断工具…
阅读更多...
基于模板的图像拼接02

基于模板的图像拼接02

基于模板的图像拼接_图像拼接算法模板匹配-CSDN博客 之前的代码在计算模板位置后&#xff0c;高度方向上的值调整时不对。 if height_dst matchRight_H: matchRight imageRight[max_loc[1] - left_height_begin: height_Right, max_loc[0]:width_Right] elif hei…
阅读更多...
【全网首发】2024五一数学建模ABC题保奖思路（后续会更新）

【全网首发】2024五一数学建模ABC题保奖思路（后续会更新）

一定要点击文末的卡片哦&#xff01; 1&#xff09;常见模型分类 机理分析类&#xff1a;来源于实际问题&#xff0c;需要了解一定的物理机理&#xff0c;转化为优化问题。 运筹优化类&#xff1a;旨在找到使某个目标函数取得最大或最小值的最优解,对于机理要求要求不高&…
阅读更多...
QT之信号和槽

QT之信号和槽

在刚刚了解Qt的时候&#xff0c;为了通过按钮显示 hello world 的时候曾说明过信号与槽&#xff0c;虽然没有细说&#xff0c;不过也算是接触过。 而本文就会细细说明什么是 Qt 的信号与槽。 概念初识 在 linux 学进程相关的内容的时候&#xff0c;曾了解过信号是操作系统控…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023