Specman中gen keeping和deep_copy复制transaction的区别是什么？

Specman两种事务复制实现的区别 #

涉及代码片段 #

首先明确问题中的相关代码：

结构体定义

struct new_item_s like item_s {
    %my_trans_s: t_trans_s;
};

两种实现方法

// 方法1：gen约束生成
add_method_port_1 (added_item: item_s) is {
    var new_item: new_item_s;
    gen new_item keeping { 
        it.my_trans_s == added_item.as_a(t_trans_s); 
    };  
};

// 方法2：深拷贝赋值
add_method_port_2 (added_item: item_s) is {
    var new_item : new_item_s = deep_copy(added_item.as_a(t_trans_s));
};

核心差异点 #

• 字段赋值逻辑不同
  • add_method_port_1仅约束new_item的my_trans_s字段与输入参数的t_trans_s值匹配，new_item_s继承自item_s的其余字段、以及new_item_s自定义的其他非约束字段均会触发默认随机生成，不会继承输入added_item的对应字段值。
  • add_method_port_2通过deep_copy对输入的t_trans_s对象做全量递归拷贝，所有字段值完全和原对象一致，不会生成额外随机值。
• 引用关联不同
  • add_method_port_1中若t_trans_s为结构体类型，默认的==约束是引用匹配，即new_item.my_trans_s与输入的added_item对应字段指向同一块内存，修改其中一个会同步影响另一个。
  • add_method_port_2的deep_copy会生成完全独立的新对象，和原输入对象无内存关联，修改新对象不会对原对象产生任何影响。
• 约束校验规则不同
  • add_method_port_1的gen操作会自动触发new_item_s及其父类item_s中定义的所有内置keep约束，若内置约束与显式写的my_trans_s匹配规则冲突，会直接报随机求解失败错误。
  • add_method_port_2的deep_copy是纯内存拷贝操作，不会执行任何约束校验，哪怕拷贝后的对象不符合结构体的内置约束也不会报错。
• 类型兼容性要求不同
  • add_method_port_1生成的是原生new_item_s类型实例，完全符合结构体类型定义，无额外类型转换要求。
  • add_method_port_2的写法存在隐性类型要求：deep_copy返回的是t_trans_s类型对象，直接赋值给new_item_s类型变量需要满足t_trans_s是new_item_s的父类，否则会触发类型转换错误；同时拷贝后的对象仅会保留t_trans_s定义的字段，new_item_s独有的字段不会被初始化。
• 性能开销不同
  • add_method_port_1需要走Specman随机求解器流程，约束复杂场景下性能开销远高于深拷贝。
  • add_method_port_2仅做内存拷贝，无求解器开销，性能更高。

内容的提问来源于stack exchange，提问作者Andrija Bujosevic