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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
* j3 J- a" _2 f  Z: J- z$ b6 C+ i
现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
4 {' i2 n/ _6 m4 b) H. Q+ E
现在要实现：
& A- a& d9 K7 T5 emodule1.ctime=cycletime(1)
module2.ctime=cycletime(2)
7 g* T  r2 p8 K/ q...
& S1 k1 C4 `7 d5 s' g% mmodule20.ctime=cycletime(20)
; i* s4 B! _" p
我希望用程序实现，但是试了很久都没有成功。
& y; z; X( F; T/ \
( j$ ]& q; I2 k5 w具体程序为：
( X4 q: D( U5 p/ Sfor num=1 to 20
) b, v# z5 I  c. H! [, v0 r  f      module+num+.ctime=cycletime(num)
endfor

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

simulator

自己解决了。
主要是使用两个函数：
rvarset()和evalreal()
, T9 j# }+ r0 \( Y# E
% g; w) {. i/ L8 a具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
9 _$ E% H' a+ d  e* q8 C; i4 f9 F
即可。