随机化的包能否同时算出CRC校验

各位大神：
大家好！小弟初学UVM不久，现有一问题困惑多时，今天摆出来向大家请教，请知道的大神不吝赐教。
比如，我有一个packet，数据结构是12byte的data，末尾第13byte是前面12byte的CRC校验。
那么我在sequence中随机化这个包的时候，该怎样做才能使随机出来的数据中带有按照前12byte数据所计算出来的crc呢。
是在packet类中写一个crc生成的函数crc_gen()，然后在packet的约束中constrain c_crc{crc=crc_gen()；}么?

post_randomize()

你好，不知能否说的稍微详细一点呢?

需要对random数据进行处理的 ，可以选择pre-randommize和post-randomize ， systemVerilog for verification 这本书里面讲的很详细，推荐lz看看

好的，多谢！