1、关于RM的数据来源,一则可以从Transfer中取包,另外可以从逻辑接口处采集而来。 2、关于激励的来源,一则可以从激励源数据文件得之,另外可以通过环境的约束自己产生。 3、关于激励的描述,一则可以直接用时序语言描述,另外可以用定义式的语言进行描述。