[发明专利]用于元件利用的状态分组

权利要求书

1.一种计算机实施的方法，其用于从源代码产生经配置以编程并行机的映像，所述方法包含：

将源代码转换成包含多个互连状态的自动机；

将所述自动机转换成网表，所述网表包含对应于所述自动机的状态的实例，其中所述实例对应于所述并行机的硬件元件，其中将所述自动机转换成网表包括基于所述并行机的物理设计来对状态一起分组；及

将所述网表转换成所述映像。

2.根据权利要求1所述的方法，其中所述实例包括对应于状态机元件SME硬件元件的SME实例及对应于包含一群SME的硬件元件的SME群组实例，且其中分组包括将状态分组到SME群组实例中。

3.根据权利要求2所述的方法，其中所述物理设计包括包含一群SME的所述硬件元件的物理设计。

4.根据权利要求3所述的方法，其中所述物理设计包括对包含一群SME的所述硬件元件中的所述SME的输入或输出限制中的一者。

5.根据权利要求4所述的方法，其中所述物理设计包括包含一群SME的所述硬件元件中的所述SME共享输出的限制。

6.根据权利要求2所述的方法，其中SME群组实例包括含有两个SME实例的成对群组GOT实例，且其中所述物理设计包括每一GOT中的所述SME耦合到共同输出。

7.根据权利要求6所述的方法，其中将所述自动机转换成网表包含：

确定所述状态中的哪些可一起分组在GOT实例中；及

基于所述确定使所述状态成对。

8.根据权利要求7所述的方法，其中当第一状态或第二状态均非所述自动机的最终状态，且所述第一状态及所述第二状态中的一者不驱动不同于所述第一状态或所述第二状态的任何状态时，所述第一状态及所述第二状态可在GOT实例中一起成对。

9.根据权利要求7所述的方法，其中当第一状态或第二状态均非所述自动机的最终状态，且所述第一状态及所述第二状态均驱动相同的外部状态时，所述第一状态及所述第二状态可在GOT实例中一起成对。

10.根据权利要求7所述的方法，其中当第一状态及第二状态中的一者为所述自动机的最终状态，且所述第一状态及所述第二状态中的另一者不驱动任何外部状态时，所述第一状态及所述第二状态可在GOT实例中一起成对。

11.根据权利要求7所述的方法，其中当第一状态及第二状态均为所述自动机的最终状态，且所述第一状态及所述第二状态均驱动相同的外部状态时，所述第一状态及所述第二状态可在GOT实例中一起成对。

12.根据权利要求7所述的方法，其中确定所述状态中的哪些可一起分组在GOT实例中包含：使用图论来确定所述状态中的哪些可一起分组在GOT实例中。

13.根据权利要求12所述的方法，其中使用图论来确定所述状态中的哪些可一起分组在GOT实例中包含：使用图论识别最大匹配来确定所述状态中的哪些可一起分组在GOT实例中。

14.根据权利要求1所述的方法，其进一步包含：

发布所述映像。

15.根据权利要求1所述的方法，其中所述实例包含通用实例及专用实例，其中所述通用实例对应于所述自动机的通用状态，且所述专用实例对应于所述自动机的专用状态。

16.根据权利要求15所述的方法，其中对应于所述通用实例的所述硬件元件包括状态机元件SME及成对群组GOT，且其中对应于所述专用实例的所述硬件元件包括计数器及逻辑元件。

17.一种计算机可读媒体，其包括指令，所述指令在由所述计算机执行时使所述计算机执行包含以下各者的操作：

将源代码转换成包含多个互连状态的自动机；

将所述自动机转换成网表，所述网表包含对应于所述自动机的状态的实例，其中所述实例对应于并行机的硬件元件，其中将所述自动机转换成网表包括基于所述并行机的物理设计来对状态一起分组；及

将所述网表转换成所述映像。

18.根据权利要求17所述的计算机可读媒体，其中所述自动机为均齐自动机。