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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
% i3 k; d2 i. G2 \, s* b( |& K
; E8 B0 S" M- \: O, q0 b' u现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

现在要实现：
5 _6 x9 r0 d3 U7 W+ u  umodule1.ctime=cycletime(1)
$ e- |: ~* B2 |" [( x3 W. ~9 n0 `! tmodule2.ctime=cycletime(2)
- b3 E* q- @! Y$ U...
5 z$ i* t) N) e) c% D: amodule20.ctime=cycletime(20)
$ b9 f! ?; d4 U9 f
我希望用程序实现，但是试了很久都没有成功。
  I# `- {3 k! y* w- f- M5 a8 G4 U
具体程序为：
! y1 K) t; d% R, X, Zfor num=1 to 20
* d% {; e; x2 M8 g7 K* d; A      module+num+.ctime=cycletime(num)
endfor
1 w. t7 u) d* q# B
+ |1 }* ]  V/ a, V6 X问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
1 ?( U. _- [7 H# H. Z6 n- r+ `( `主要是使用两个函数：
9 a1 s. x- m) x/ s, ^+ [rvarset()和evalreal()

, v+ k; j6 n7 h; H具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
# q& D. ~% Q  V4 L
即可。