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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
" [5 o1 x- g% ]1 ?$ z具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8

" f. w6 S9 w0 I/ X0 |# y, D  i1 d现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

现在要实现：
9 }. ?3 c( [# g2 h  |7 I4 Kmodule1.ctime=cycletime(1)
module2.ctime=cycletime(2)
...
module20.ctime=cycletime(20)

我希望用程序实现，但是试了很久都没有成功。

4 `+ W/ r' T- ?2 ^# B! k. _- d具体程序为：
for num=1 to 20
; W2 J/ U( D' G, q2 C" ^: h4 K      module+num+.ctime=cycletime(num)
7 w6 T+ d2 w# yendfor
9 P* Z6 B% r, M' `' q
问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
rvarset()和evalreal()
) V8 P  m% P4 W9 V* @2 [% F
8 C5 [3 s& y& G- |具体语句：
5 U7 L( T# c/ u% Q0 d# ^0 mrvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
8 m' J0 n1 A8 T" i
即可。