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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
, g9 I5 s1 V& O/ f
- V) C7 N2 M. K6 s' T% G7 J现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
9 G+ V: F5 q- Q/ C
, _$ l6 W6 e# |) m0 \: h现在要实现：
4 a* q" n8 k, X2 R* O9 ~* ~- F( D; umodule1.ctime=cycletime(1)
6 o' \8 i  H- ]module2.ctime=cycletime(2)
2 _9 a  t: i+ k; L' h2 K...
module20.ctime=cycletime(20)

我希望用程序实现，但是试了很久都没有成功。
% P) m8 H- ^( B1 c6 q: U$ W" t
具体程序为：
" q9 b' M6 D. ?5 Rfor num=1 to 20
/ n6 j0 E7 n$ G1 @8 f3 V) U      module+num+.ctime=cycletime(num)
* v: ?; U( o* E  H! w# oendfor
  K5 t8 e! k( ]4 \' @# X, W, j4 K1 `
3 e* L  `4 ~2 k+ _问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
2 e9 l/ [& M/ o3 D: Grvarset()和evalreal()
" s4 W3 b3 B2 c+ o
6 {6 @5 P& g2 u0 w# k! U具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。