2．2 Hash赋值 ................................ ................................ ................................ .........…

在SystemVerilog中，Hash赋值指关联数组（associative array）的键-值对赋值操作。关联数组通过哈希表实现，键可以是任何非整数类型（如string、struct、enum等），值可以是任何类型。赋值基本形式为：array[key] = value。例如，string类型的关联数组：int scores[string]; scores["Alice"] = 95;。若键已存在，则覆盖原有值；若键不存在，则动态添加新条目。初始化时可用数组字面量：int ages[string] = '{"Tom":30, "Jerry":25};。使用前通常通过exists()方法检查键是否存在，避免访问不存在的键造成运行时错误（如返回默认值或触发仿真错误）。遍历关联数组需结合first()和next()方法，因为其元素无序。删除元素用delete()方法，支持单个键删除或全部清空。注意：关联数组的键比较基于哈希值，自定义类型的键需保证唯一性。在验证环境中，关联数组常用于存储配置、事务记录或随机约束中的动态数据。性能上，查询和插入操作平均为O(1)，但大量元素时哈希冲突可能影响效率。易错点：混淆动态数组与关联数组的声明（如int array[] vs int array[string]）；错误使用未初始化的键；在多线程（fork...join）中同时修改关联数组可能产生竞争。推荐使用foreach循环遍历数组，但foreach无法直接删除当前元素，需借助队列或额外变量。