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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
3 B& L6 K7 G8 k0 e8 E具体问题如下：
/ N! k: F# ~; c) L模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8

5 [& ^4 o% v7 ~) d/ k, C现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

现在要实现：
+ @! E* I2 }1 m2 Q4 {module1.ctime=cycletime(1)
module2.ctime=cycletime(2)
4 K) n+ ~" c% ^1 o; _! i: s$ ?...
module20.ctime=cycletime(20)
2 R* ^* g$ W( H& x( u/ b% @, x- g
6 S; h' }( n/ b3 W: _- j6 ]我希望用程序实现，但是试了很久都没有成功。

具体程序为：
. d+ I& V) t. ~) k; e. W3 gfor num=1 to 20
      module+num+.ctime=cycletime(num)
% P, A' ~: e9 B! hendfor
# p" A+ b) j+ ?8 s$ X' C
' t& J4 o+ S( |7 Z问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
rvarset()和evalreal()
& W$ I; n# \5 `; ~2 I" a
具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

  x  M8 H, f0 [# X4 x- I即可。