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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
: N' s$ Q1 h; |, @5 x; F
现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
  S$ S0 A2 Z3 V* [& _: q& Y
) {9 M0 [" N3 `' a9 y现在要实现：
" L9 V  P1 o1 Q9 E0 V. w3 qmodule1.ctime=cycletime(1)
4 ^: @- a& K( G% Kmodule2.ctime=cycletime(2)
...
. q& r7 K- e, o1 fmodule20.ctime=cycletime(20)
8 o! \9 o% @; `' {4 o8 C; A: D9 w
我希望用程序实现，但是试了很久都没有成功。

具体程序为：
for num=1 to 20
' e$ y3 j; J1 ~7 h1 N/ T0 I      module+num+.ctime=cycletime(num)
endfor

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

simulator

自己解决了。
, c5 z$ L+ C1 W# T( C) o9 c2 e8 ^主要是使用两个函数：
8 Y; E2 E  S4 U$ v' Wrvarset()和evalreal()
" d) ?. J! ?0 l% O( [6 T
0 k: K7 Q( \, X, k3 o3 u具体语句：
$ @- |" P! w. Q5 x4 V, nrvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
1 q6 |9 Z/ S, d; X$ @2 K
即可。