verilog语法-浅谈case casez casex
来源：
责编：
时间：2023-09-04 10:17:00
423观看
导读1、语法说明在rtl仿真中，有四种状态，分别是0、1、x（unknown values）和z（high-impedance values）。 case 结构体中：0，1，X与Z是四种不同的状态，case条件比较时会检测比较双方每个bit是否完全相等。casez 结构体中：把Z当做don’
在rtl仿真中，有四种状态，分别是0、1、x（unknown values）和z（high-impedance values）。case 结构体中：0，1，X与Z是四种不同的状态，case条件比较时会检测比较双方每个bit是否完全相等。casez 结构体中：把Z当做don’t care conditions，case条件比较时，比较双方存在Z值的bit位不参与比较 ，其他比特位相等则视为条件命中casex 结构体中：把Z和X当做don’t care conditions，case条件比较时，比较双方存在Z或者X的bit位不参与比较，其他比特位相等则视为条件命中- 在casex、casez中推荐使用 ？来替换Z和X
- case、casex、casez语句中，如果命中多个case条件，则执行命中的第一个case
epo28资讯网——每日最新资讯28at.com
2、案例解析
epo28资讯网——每日最新资讯28at.com
always@(*) begin case(sel[1:0]) 2'b00: data1 = 3'd0 ; 2'b01: data1 = 3'd1 ; 2'b10: data1 = 3'd2 ; 2'b11: data1 = 3'd3 ; 2'b1z: data1 = 3'd4 ; 2'b1x: data1 = 3'd5 ; default: data1 = 3'd7 ; endcase end always@(*) begin casez(sel[1:0]) 2'b00: data2 = 3'd0 ; 2'b01: data2 = 3'd1 ; 2'b10: data2 = 3'd2 ; 2'b11: data2 = 3'd3 ; 2'b1z: data2 = 3'd4 ; 2'b1x: data2 = 3'd5 ; default: data2 = 3'd7 ; endcase end
always@(*) begin casex(sel[1:0]) 2'b00: data3 = 3'd0 ; 2'b01: data3 = 3'd1 ; 2'b10: data3 = 3'd2 ; 2'b11: data3 = 3'd3 ; 2'b1z: data3 = 3'd4 ; 2'b1x: data3 = 3'd5 ; default: data3 = 3'd7 ; endcase end
always@(*) begin casez(sel[1:0]) 2'b00: data4 = 3'd0 ; 2'b01: data4 = 3'd1 ; 2'b10: data4 = 3'd2 ; 2'b11: data4 = 3'd3 ; 2'b1?: data4 = 3'd4 ; 2'b1x: data4 = 3'd5 ; default: data4 = 3'd7 ; endcase end
always@(*) begin casex(sel[1:0]) 2'b00: data5 = 3'd0 ; 2'b01: data5 = 3'd1 ; 2'b10: data5 = 3'd2 ; 2'b11: data5 = 3'd3 ; 2'b1?: data5 = 3'd4 ; 2'b1x: data5 = 3'd5 ; default: data5 = 3'd7 ; endcase end
- sel[1:0]为1’b1z时，命中了[2'b1z: data2 = 3'd4 ;]，data1被赋值3’d4
- sel[1:0]为1’b1x时，命中了[2'b1x: data2 = 3'd5 ;]，data1被赋值3’d5
casez语句中Z状态会被忽略，不做比较，X依旧进行比较- sel[1:0]为1’b1z时，实际仅比较sel[1]，命中了[2'b10: data2 = 3'd2 ;]和[2'b1z: data2 = 3'd4; ]，根据优先级原则, data2被赋值3’d2
- sel[1:0]为1’b1x时，依旧比较sel[1:0]，命中了[2'b1x: data2 = 3'd5 ;], data2被赋值3’d5
- sel[1:0]为1’b1z时，实际仅比较sel[1]，命中了[2'b10: data2 = 3'd2 ;], data3被赋值3’d2
- sel[1:0]为1’b1x时，实际仅比较sel[1]，命中了[2'b10: data2 = 3'd2 ;], data3被赋值3’d2
- sel[1:0]为1’b1z时，实际仅比较sel[1]，命中了[2'b10: data2 = 3'd2 ;], data4被赋值3’d2
- sel[1:0]为1’b1x时，同时命中了[2'b1?: data4 = 3'd4 ;]和[2'b1x: data4 = 3'd5 ;]，根据优先级原则，data4被赋值3’d4
- sel[1:0]为1’b1z时，实际仅比较sel[1]，命中了[2'b10: data2 = 3'd2 ;]、[2'b1?: data5 = 3'd4 ;]、[2'b1x: data5 = 3'd5 ;]，根据优先级原则，data5被赋值3’d2
- sel[1:0]为1’b1x时，实际仅比较sel[1]，命中了[2'b10: data2 = 3'd2 ;]、[2'b1?: data5 = 3'd4 ;]、[2'b1x: data5 = 3'd5 ;]，根据优先级原则，data5被赋值3’d2
epo28资讯网——每日最新资讯28at.com
3、Do-not-care values 参考说明
epo28资讯网——每日最新资讯28at.com
epo28资讯网——每日最新资讯28at.com
SystemVerilog（IEEE Std 1800-2017）和verilog（IEEE P1364-2005）标准关于casez、casex的描述是一致的：截图如下： epo28资讯网——每日最新资讯28at.com
Endepo28资讯网——每日最新资讯28at.com
![]()
epo28资讯网——每日最新资讯28at.com
epo28资讯网——每日最新资讯28at.com
标签：
-
2023年上半年已经正式过去了，我们也迎来了安兔兔V10版本，在新的骁龙8Gen3和天玑9300发布之前，性能榜的榜单大体会以骁龙8Gen2和天玑9200+为主，至于那颗3.36GHz的骁龙8Gen2领先
-
8月5日消息，云存储服务商Backblaze发布了最新的硬盘故障率报告，年故障率有所上升。Backblaze发布的硬盘季度统计数据，其中包括故障率等重要方面。这些结
-
JavaScript 中有很多API，使用得当，会很方便，省力不少。 你知道它的原理吗? 今天这篇文章，我们将对它们进行一次小总结。现在开始吧。1.forEach()forEach()用于遍历数组接收一参
-
作者 | 刘新翠整理 | 徐杰承本文整理自快狗打车技术总监刘新翠在WOT2023大会上的主题分享，更多精彩内容及现场PPT，请关注51CTO技术栈公众号，发消息【WOT2023PPT】即可直接领取
-
7月7日消息，近日有微博网友@长三角行健者爆料称，据经销商集团反馈，小米汽车目前已经开始了交付中心的筛选工作，要求候选场地至少有120个车位，建筑不能低
-
8月1日消息，郭明錤今天在社交平台发文称，华为正在和江淮汽车合作，开发售价在100万元的问界MPV，预计在2024年第2季度量产，销量目标为上市首年交付5万辆。
-
Tenstorrent是一家由芯片行业资深人士Jim Keller领导的加拿大初创公司，专注于开发人工智能芯片，该公司周三表示，已经从现代汽车集团和三星投资基金等
-
7月27日消息，据外媒报道，从三星电子所发布的财报来看，他们主要利润来源的存储芯片业务在今年二季度仍不乐观，营收同比仍在大幅下滑，所在的设备解决方案
-
北京“科技馆之城”科技教育体验基地登记和认证工作日前启动。首批北京科技教育体验基地拟于2023年全国科普日期间挂牌，后续还将开展常态化登记。 北京科技教育体验基
津公网安备 12010102000574号
