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

simulator

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

现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

现在要实现：
7 v; k( P) R$ u4 @module1.ctime=cycletime(1)
& T9 B! S" x, G# c" umodule2.ctime=cycletime(2)
1 Z- [* j7 V; w( I) L...
! Y- W6 g7 r6 d  Q: D4 fmodule20.ctime=cycletime(20)
  y5 c3 U3 q% H
我希望用程序实现，但是试了很久都没有成功。

具体程序为：
* b/ |+ z- _9 V4 n# jfor num=1 to 20
5 }8 L& |! T# d# I9 P      module+num+.ctime=cycletime(num)
endfor

$ Q2 D/ J* \2 x5 p2 C  X$ I/ ]  @问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
rvarset()和evalreal()
2 x" f5 o7 }& ~8 C" J6 ~
具体语句：
1 Z( B: b& S# g! Crvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
& d  s) m* {) D+ l: R2 h
% B. o( n) ?. ]即可。