verilog语法-浅谈case casez casex
来源：
责编：
时间：2023-09-04 10:17:00
348观看
导读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
bXc28资讯网——每日最新资讯28at.com
2、案例解析
bXc28资讯网——每日最新资讯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
bXc28资讯网——每日最新资讯28at.com
3、Do-not-care values 参考说明
bXc28资讯网——每日最新资讯28at.com
bXc28资讯网——每日最新资讯28at.com
SystemVerilog（IEEE Std 1800-2017）和verilog（IEEE P1364-2005）标准关于casez、casex的描述是一致的：截图如下： bXc28资讯网——每日最新资讯28at.com
EndbXc28资讯网——每日最新资讯28at.com
![]()
bXc28资讯网——每日最新资讯28at.com
bXc28资讯网——每日最新资讯28at.com
标签：
-
8月3日消息，今天下午博主数码闲聊站带来了华为Mate60的第三方手机壳图，可以让我们在真机发布之前看看这款华为全新旗舰的大致轮廓。从曝光的图片看，Mate 60背后摄像头面积依然
-
6月份有一个618，虽然这是京东周年庆的日子，但别的电商也都不约而同的跟进了，反正促销没坏处，厂商和用户都能满意。618期间一些产品也出现了历史低价，那么各个价位段的产品性价比
-
8月5日消息，从小米商城了解到，Redmi MAX 100英寸巨屏电视日前迎来官方优惠，到手价12999元，比发布价便宜了7000元，在大屏电视市场开卷。据了解，Redmi MAX 100
-
在日常工作中，安全人员可能会涉及各种各样的安全任务，包括但不限于：开发某些安全工具的插件，满足自己特定的安全需求；自定义github搜索工具，快速查找所需的安全资料、漏洞poc、exp
-
作者:刘旷近年来随着数字经济的高速发展，各式各样的SaaS应用服务更是层出不穷，但本质上SaaS大多局限于单一业务流层面，对用户核心关切的增长问题等则没有提供更好的解法。在Saa
-
7月28日，全球数字娱乐领域最具知名度与影响力的年度盛会中国国际数码互动娱乐展览会（简称ChinaJoy）在上海新国际博览中心盛大开幕。作为全球领先的科
-
这段时间以来，关于华为新旗舰的爆料日渐密集。据此前多方爆料，今年华为将开始恢复一年双旗舰战略，除上半年推出的P60系列外，往年下半年的Mate系列也将
-
Tenstorrent是一家由芯片行业资深人士Jim Keller领导的加拿大初创公司，专注于开发人工智能芯片，该公司周三表示，已经从现代汽车集团和三星投资基金等
-
iQOO将在7月4日19:00举行新品发布会，推出杭州亚运会电竞赛事官方用机iQOO 11S。
津公网安备 12010102000574号
