Verilator中队列push_back/push_front语法支持问题解析

在SystemVerilog验证环境中，动态队列(dynamic queue)是常用的数据结构类型。Verilator作为高性能的SystemVerilog仿真器，近期用户反馈其在处理特定队列赋值语法时存在兼容性问题。

问题现象

用户在使用Verilator时发现，当采用如下语法结构时：

jagged_array.push_back('{7});
jagged_array.push_back('{8, 9, 10});
jagged_array.push_front('{0, 1});

仿真器会报出unsupport-warning错误，提示语法不支持。经测试，相同代码在Questa等商业仿真器中可以正常运行。

技术背景

这种语法属于SystemVerilog-2012标准引入的数组字面量简化写法：

1. '{}称为数组赋值模式(array assignment pattern)
2. 允许在方法调用中直接构造匿名数组
3. 特别适用于队列的动态操作

问题分析

Verilator当前版本对该语法的处理存在以下技术难点：

1. 方法调用中的匿名数组解析逻辑不完整
2. push_back/push_front方法的参数类型推导需要增强
3. 数组字面量的上下文相关处理机制待完善

解决方案

开发团队已提交修复补丁(e47208d)，主要改进包括：

1. 扩展语法解析器支持方法调用中的数组字面量
2. 完善类型推导系统处理动态数组参数
3. 优化代码生成环节的队列操作方法

用户建议

对于暂时无法升级的用户，可采用替代写法：

int temp_arr1[1] = '{7};
jagged_array.push_back(temp_arr1);
// 其他操作同理

该问题已在最新版本中修复，建议用户更新至包含该补丁的Verilator版本。队列操作语法的完整支持将显著提升验证代码的简洁性和可读性。