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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
* Q3 W  B( I, M# z$ K
现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

现在要实现：
module1.ctime=cycletime(1)
module2.ctime=cycletime(2)
% E; R5 z0 T2 q...
module20.ctime=cycletime(20)
0 m! \4 R0 R; C3 [  j7 s
我希望用程序实现，但是试了很久都没有成功。

具体程序为：
for num=1 to 20
3 E+ j3 O) h6 ^  x& F/ Q; K2 `4 e- c* x      module+num+.ctime=cycletime(num)
0 w( W( g, C4 i4 kendfor

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

simulator

自己解决了。
3 z( S- A4 {& F1 y3 k主要是使用两个函数：
rvarset()和evalreal()
$ B# s! h2 g& r! H5 n* i" d+ H
具体语句：
0 N( I% E0 @8 ?+ f1 f8 ervarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

) \2 ^5 }& U% e即可。