求教set_vector_define怎么使用

墨水章鱼

最近在做一些动态电路的liberal，因为是动态电路，在CK第一个上升沿需要进行预充电，因此我想在CK第二个上升沿进行测量。

经过查找资料，我需要使用set_vector_define将第一个上升沿的电路状态做成一个vector给第二个上升沿使用。
我想知道set_vector_define具体怎么使用，或者我能在什么资料上找到使用方法。