带有断言寄存器的处理器系统、计算机系统、用于管理断言的方法和计算机程序产品

摘要

本发明关于处理器系统（10），该处理器系统包括带有预定指令集的处理单元（12）以及至少一个断言寄存器（14），断言寄存器（14）包括被布置在断言数据结构内的N个断言数据位置(P1,P2,...,Pn)，每个断言数据位置适于存储断言单元。还包括至少一个通用寄存器（16），通用寄存器（16）包括附加断言数据位置，附加断言数据位置被布置在M-1个附加断言数据容器内，其中每个附加断言数据容器的数据结构对应于断言数据结构，其中每个附加断言数据位置适于存储附加断言数据以及用于在所述至少一个断言寄存器（14）和所述通用寄存器（16）之间传输数据的数据路径（18），其中至少一个断言存储位置(P1,P2,...,Pn)经由所述数据路径（18）被连接或可连接到至少一个对应的附加断言数据位置。所述处理器系统（10）适于执行所述指令集的断言交换指令以经由数据路径（18）将在第一断言数据位置(P1,P2,...,Pn)内的断言数据与在第一附加断言数据容器内的对应附加断言数据位置中的数据进行交换以及经由数据路径（18）将在第二断言存储位置(P1,P2,...,Pn)内的断言数据与在第二附加断言数据内的对应附加断言数据位置中的数据进行交换。本发明还关于对应计算机系统、用于管理断言的方法和对应计算机程序产品。

主权项

一种处理器系统（10）包括：带有预定指令集的处理单元（12）；至少一个断言寄存器（14），所述断言寄存器（14）包括被布置在断言数据结构中的N个断言数据位置(P1,P2,...,Pn)，每个断言数据位置(P1,P2,...,Pn)适于存储断言数据；至少一个通用寄存器（16），所述通用寄存器（16）包括附加断言数据位置，所述附加断言数据位置被布置在M‑1个附加断言数据容器中，其中每个附加断言数据容器的数据结构对应于所述断言数据结构，其中每个附加断言数据位置适于存储附加断言数据；数据路径（18），用于在所述至少一个断言寄存器（14）和所述通用寄存器（16）之间传输数据，其中所述至少一个断言存储位置(P1,P2,...,Pn)经由所述数据路径（18）被连接或可连接到至少一个对应的附加断言数据位置；其中所述处理器系统（10）适于执行所述指令集的断言交换指令，以经由所述数据路径（18）将在第一断言数据位置(P1,P2,...,Pn)中的断言数据与在第一附加断言数据容器中的对应附加断言数据位置中的数据进行交换，以及经由所述数据路径（18）将在第二断言存储位置(P1,P2,...,Pn)中的断言数据与在第二集合的附加断言数据中的对应附加断言数据位置中的数据进行交换。