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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
; Y, r5 v' F4 j. k! J4 u; ~; Z模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
9 k" {* i# R, `1 m3 a4 X
现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
+ ^3 \  F% M4 t* I/ n1 B# e/ {" a
  R5 @, j+ |7 O5 }3 k" t* n现在要实现：
& T: P% U  Z! V- P4 Z+ s2 Dmodule1.ctime=cycletime(1)
module2.ctime=cycletime(2)
...
module20.ctime=cycletime(20)

我希望用程序实现，但是试了很久都没有成功。
3 y. ?5 Y" G# w2 o
具体程序为：
for num=1 to 20
) F8 ]1 J! q4 s& V0 V; R/ f& g      module+num+.ctime=cycletime(num)
endfor

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

simulator

自己解决了。
主要是使用两个函数：
rvarset()和evalreal()
) i, F+ p7 J9 K) B
6 a  g5 y4 F$ g6 h1 J9 l/ N具体语句：
# `$ q4 h% e# x; r6 C7 n: x) Vrvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。