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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
7 U3 k$ W& c7 j* m1 v% G模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
' U# C0 \, C3 }- U; W6 R' h
现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
$ y) S: p6 T; s3 ]$ B
现在要实现：
module1.ctime=cycletime(1)
module2.ctime=cycletime(2)
% R  O- Q1 N2 v! z9 z% a3 d...
3 F7 `0 X5 j: }1 R1 n/ J: s- z! G% gmodule20.ctime=cycletime(20)
! L; m% q2 t! L5 @6 O# L5 s6 ?
我希望用程序实现，但是试了很久都没有成功。
7 M1 [+ d* _. _8 X* O- s8 Z
8 b) t( y# L2 ~4 F  d" ~具体程序为：
2 J: [9 {; k. q9 p; }( efor num=1 to 20
  b8 d: Z! ?& k6 i, f      module+num+.ctime=cycletime(num)
/ z+ D$ Y$ y0 u; k8 h4 Mendfor
8 [+ ^+ n# o+ ^; L5 r
( o2 e. s2 {; M6 e7 E5 {% v6 k问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
: m0 _4 E- O: T" [/ [主要是使用两个函数：
rvarset()和evalreal()

具体语句：
% K* ]; q1 Y. r* y% N9 U1 L: Q) Grvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。