Witness如何将字符串转化为数组并赋值

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
3 l" Q6 ?" H' n& W. M; L+ o: o
现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

现在要实现：
7 r+ C$ E6 [# m6 I1 n0 Zmodule1.ctime=cycletime(1)
module2.ctime=cycletime(2)
9 ^/ D& E  U5 ~7 Z2 o4 u...
7 S; W' D! [4 B! O% Nmodule20.ctime=cycletime(20)
2 Z) L$ L5 U; D6 d% I
我希望用程序实现，但是试了很久都没有成功。
/ }5 j8 A0 w5 Q& I- i
具体程序为：
% _$ N4 u  y- V2 G% ^0 M/ g* Gfor num=1 to 20
% e) k3 F" V1 M( _2 p/ f$ W      module+num+.ctime=cycletime(num)
endfor

问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
rvarset()和evalreal()

具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。