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

simulator

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

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

3 d. c% T6 Z/ d/ q  x4 X7 j+ @, Y现在要实现：
% P) ]) j2 ]( V* z+ rmodule1.ctime=cycletime(1)
2 n$ d5 |; R+ amodule2.ctime=cycletime(2)
) a6 w7 ]# g. O/ ~" v& e2 I...
module20.ctime=cycletime(20)

. U( r6 W, R' R! P我希望用程序实现，但是试了很久都没有成功。
# X, Q" A, e3 y/ I* K
; T% v7 E( H" a9 J/ V; Q具体程序为：
- K$ o# `; ^/ z4 l* ffor num=1 to 20
; `; f: m" E1 @) l- p      module+num+.ctime=cycletime(num)
endfor

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

simulator

自己解决了。
主要是使用两个函数：
rvarset()和evalreal()

4 M+ v- \9 }6 L具体语句：
% n; S1 {0 J$ f5 Wrvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。