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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
* P* w! y/ [2 t1 w6 _
, p( C& g& |4 |! h( h; L现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

现在要实现：
% |. u* U% [  E6 r- ]2 Omodule1.ctime=cycletime(1)
! ?7 V% }6 @$ M# |module2.ctime=cycletime(2)
...
module20.ctime=cycletime(20)

6 ~  ~" f% H* C- `8 j) p我希望用程序实现，但是试了很久都没有成功。
. y1 J; F! T. D3 y; D
% I3 _# k( J8 F' F" {* E具体程序为：
" v. T9 k1 W) {7 S+ }3 u: qfor num=1 to 20
      module+num+.ctime=cycletime(num)
endfor

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

simulator

自己解决了。
主要是使用两个函数：
rvarset()和evalreal()
1 T( _; y( s" }) e, B
, G' A* S3 E7 `- V+ F- F+ F具体语句：
/ y$ V% T# ?8 prvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

7 ~0 l9 D; J; Q  l" a, {: \即可。