提出了一种在高层次综合的寄存器分配过程中考虑可测性的算法,该算法在将一个调度好的CDFG(Control Data Flow Graph)的变量分配到相应的寄存器的过程中,通过对未能分配复用到输入、输出寄存器的变量进行可测性处理,达到提高设计可测性的目的,同时在进行可测性处理的时候,定义了CDFG的节点的可测性测度方法。
时间约束 Pet ri 网( TCPN )通过引入时间因素, 增强了对网的时间约束的描述能力。但由于
T CPN 网拓扑结构的多样性以及时间约束的复杂性,使得网的可调度性及调度区间的分析十分困难。 针
对常见的如顺序、 并发、 同步、 冲突等拓扑结构, 对变迁的可成功调度与否以及影响调度区间的约束条件
进行了分析和研究,简化了 T CPN 网的可达性与可调度性的分析方法。