Verilog学习记录2——Verilog中[ ]的用法和{ }的用法

1.Verilog中[ ]的用法

不管是reg变量还是wire变量,
data1[X:0]data1[X]最高位data1[0]最低位
data2[0:X]data2[0]最高位data2[X]最低位

例如: 两个4位的寄存器变量data1和data2,并对这两个寄存器变量赋值4‘b1100

wire [3:0] data1;
wire [0:3] data2;
wire [3:0] data;

assign data = 4‘b1100;
assign data1 = data;
assign data2 = data;

这时

data1[3]=1, data1[2]=1, data1[1]=0, data1[0]=0;
data2[0]=1, data2[1]=1, data2[2]=0, data2[3]=0;
对于data1而言,data1[3]是最高位
对于data2而言,data2[0]是最高位

2.Verilog中数据的截取

Verillog支持指定 bit 位后固定位宽的向量域选择访问。

[bit + : width] : 从起始 bit 位开始递增,位宽为 width。
[bit - : width] : 从起始 bit 位开始递减,位宽为 width。
//下面 2 种赋值是等效的
A = data1[31-: 8] ;
A = data1[31:24] ;

//下面 2 种赋值是等效的
B = data1[0+ : 8] ;
B = data1[0:7] ;

3.Verilog中{ }的用法

3.1 拼接{ }
{a, b[3:0], c, 3'b100}

等同于

{a, b[3],b[2], b[1],b[0],c, 1'b1,1'b0,1'b0}

其中最左边是最高位,最右边是最低位


3.2 复制 {{ }}
{8 {a[1]}}

等同于

{a[1],a[1],a[1],a[1],a[1],a[1],a[1],a[1]}

其中8表示要把a[1]重复8次,并不是要拼接的内容,所以就不用指定位长了。比如a[1]=1,上面的描述就对应了一个长度为8,每一位都是1的二进制串。

多展示几个例子:
{ 3 { a } }=={a,a,a}
{a, {3{b, c}}} =={a, b, c, b, c, b, c}
{{4{1'b0}},wr_addr[8:0]} = {4'b0000,wr_addr[8:0]};
### Verilog 断言语句使用教程 #### 一、并发断言概述 并发断言能够声明随时间发生的行为,并利用语言的多层特性来构建复杂的序列属性[^1]。这些断言主要用于验证设计的功能正确性行为一致性。 #### 二、基本语法结构 在Verilog中,断言通常由`assert property`语句构成。Property定义了一组条件,在仿真过程中会被持续监测以确保其始终成立。如果违反,则会触发相应的错误报告机制。 #### 三、简单示例 下面是一个简单的例子展示了如何在一个同步FIFO接口上应用读写指针不相等这一性质: ```verilog property fifo_not_full; @(posedge clk) disable iff (!reset_n) !(wr_ptr == rd_ptr); endproperty : fifo_not_full // 应用该属性作为断言 always_ff @(posedge clk or negedge reset_n) begin if(!reset_n) ; else assert property (fifo_not_full) else $fatal(0, "FIFO is full!"); end ``` 此代码片段通过监控写入指针(`wr_ptr`)与读取指针(`rd_ptr`)之间的关系来防止FIFO溢出情况的发生。当检测到两者相等时即意味着队列已满,此时将调用`$fatal()`函数终止模拟并打印警告信息。 #### 四、高级功能——Sequence组合 为了描述更复杂的时间相关事件模式,可以采用Sequences来进行表达。例如,要表示某个信号必须保持高电平至少两个周期之后再变为低电平的过程可以用如下方式实现: ```verilog sequence sig_high_for_two_cycle_then_low; (sig && !##1 sig)[->2]; endsquence : sig_high_for_two_cycle_then_low ``` 这里定义了一个名为`sighighfortwocyclethenlow` 的 Sequence ,它规定目标信号(sig)需连续维持激活状态达两个时钟周期以上才能转为非活动态。
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值