SystemVerilog—怎样使用队列实现FIFO和LIFO？

SystemVerilog队列通过​​操作方法组合的主动选择​​实现FIFO或LIFO行为，其本质是​​动态数组配合灵活的索引管理​​。

FIFO模式：push_back()（末尾插入）和pop_front()（头部删除）组合，严格遵循先进先出规则。 LIFO模式：push_front()（头部插入）和pop_back()（末尾删除）组合，实现后进先出行为

---

​​一、FIFO模式实现示例​​

​​1. 代码实现​​

module fifo_example;
    int fifo_queue[$] = {1, 2, 3};  // 初始队列：1 → 2 → 3（FIFO顺序）

    initial begin
        fifo_queue.push_back(4);     // 末尾插入4 → [1,2,3,4]
        $display("FIFO弹出: %0d", fifo_queue.pop_front());  // 弹出头部元素1 → 剩余[2,3,4]
        fifo_queue.push_back(5);     // 末尾插入5 → [2,3,4,5]
        $display("FIFO弹出: %0d", fifo_queue.pop_front());  // 弹出头部元素2 → 剩余[3,4,5]
    end
endmodule

​​2. 输出结果​​

FIFO弹出: 1
FIFO弹出: 2

​​逻辑说明​​：

• push_back()始终在队列末尾追加数据，pop_front()严格按插入顺序从头部移除最早元素。
• 操作后的队列顺序始终遵循先进先出规则，与硬件FIFO行为一致。

---

​​二、LIFO模式实现示例​​

​​1. 代码实现​​

module lifo_example;
    int lifo_queue[$] = {1, 2, 3};  // 初始队列：1 → 2 → 3（物理存储顺序）

    initial begin
        lifo_queue.push_front(0);    // 头部插入0 → [0,1,2,3]
        $display("LIFO弹出: %0d", lifo_queue.pop_back());   // 弹出末尾元素3 → 剩余[0,1,2]
        lifo_queue.push_front(-1);   // 头部插入-1 → [-1,0,1,2]
        $display("LIFO弹出: %0d", lifo_queue.pop_back());   // 弹出末尾元素2 → 剩余[-1,0,1]
    end
endmodule

​​2. 输出结果​​

LIFO弹出: 3
LIFO弹出: 2

​​逻辑说明​​：

• push_front()在队列头部插入新数据，pop_back()从末尾移除最后插入的元素。
• 最终数据操作顺序表现为后进先出，与栈（LIFO）行为一致

---

​​三、操作组合的底层机制对比​​

​​操作组合​​	​​行为模式​​	​​数据流向​​	​​等效硬件结构​​	​​应用场景​​
push_back() + pop_front()	FIFO	头部出队，尾部入队	同步FIFO（环形缓冲区）	数据缓冲、流水线传输
push_front() + pop_back()	LIFO	头部插入，尾部移除	硬件栈（如程序调用栈）	递归调用、撤销操作

---

​​四、关键设计特性​​

1. ​​动态索引管理​​：
   • 队列通过$符号自动跟踪末尾位置，插入/删除操作触发内部索引动态调整
2. ​​原子操作保障​​：
   • push_back()和pop_front()等操作具有原子性，无需用户手动维护指针或计数器
3. ​​类型安全与灵活性​​：
   • 队列支持泛型数据存储（如int、string），而硬件FIFO通常限定固定位宽

---

​​五、边界条件与异常处理​​

• ​​空队列弹出​​：若对空队列执行pop_front()或pop_back()，仿真器会报错（
• ​​有界队列溢出​​：若声明有界队列（如bit q[$:255]），插入超限会触发错误

​

SystemVerilog队列通过​​操作方法组合​​动态切换FIFO/LIFO模式，其本质是用户对索引操作规则的主动约束。这种设计既保留了动态数组的灵活性，又通过标准化的方法接口实现了与硬件存储结构等效的行为模型。开发者需根据场景需求规范操作组合，避免混合使用不同模式的方法导致逻辑混乱。