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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
1 a. w/ u0 K- R% ~" I具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8

, V. T" ~( [! C1 t现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
9 t  v; \- o, r7 T
现在要实现：
module1.ctime=cycletime(1)
9 w3 v- [: k. v" g8 ^4 Xmodule2.ctime=cycletime(2)
...
module20.ctime=cycletime(20)

$ n# V- U- T/ N1 ~% j我希望用程序实现，但是试了很久都没有成功。
3 r+ N9 Z0 o* I
( b5 L, n( T3 X! u  w* d具体程序为：
) p  G% Q- v. G" `! S, I' hfor num=1 to 20
      module+num+.ctime=cycletime(num)
endfor
  k6 P0 t% v& q  U( Q$ G3 J" f
问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
, w) G# H' l( T主要是使用两个函数：
rvarset()和evalreal()
' M) F4 C# g- t/ N
' m/ \" i3 p; k0 M7 b- i* {具体语句：
: X3 ~3 {4 Q. m) W1 F; a  I8 Mrvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
. @  o0 n2 U0 L1 t) h1 h5 w8 Y
2 E1 y  W" H5 M9 x1 P0 h. n5 e6 t即可。