[發明專利]基于狀態變量的誤差檢測和/或校正

有效

• 申請號: 201080028170.0
• 申請日: 2010-05-04
• 公開（公告）號: CN102460395A
• 公開（公告）日: 2012-05-16
• 發明（設計）人: 米奧德拉格·波特科尼亞克
• 申請（專利權）人: 卡倫茨技術有限公司
• 主分類號: G06F11/00
• 分類號: G06F11/00
• 代理公司: 北京集佳知識產權代理有限公司 11227
• 代理人: 朱勝;江河清

技術領域

本申請一般地涉及計算領域，更具體地涉及基于狀態變量的誤差檢測和/或校正。

背景技術

可能存在眾多的設計目的和操作目的，包括延遲(latency)、吞吐量、面積、成本和功率。這些設計目的和操作目的的相對重要性會隨著實現技術、應用程序和支持工具的趨勢而變化。然而，如果可編程設計或專用設計正確地工作，那么這些設計和操作目的或度量(metric)可以是相關的。因此，對用于誤差檢測、診斷和校正的技術和工具的開發會具有極為重要的重要性。用于誤差檢測、診斷和校正的技術和工具的重要性在低功率設計和/或低功率設備操作和調試中(諸如可以在有挑戰性的條件和嚴格的計算資源與能量約束下工作的無線系統和移動系統)甚至會更高。由于可能的熱敏度和連續的工作模式，具有強調的重要性的其他類型的系統包括在數據中心中使用的計算機和通信設備。

發明內容

本發明的實施例包括與基于狀態變量的針對計算的誤差檢測和/或校正相關聯的方法、裝置和制造品。在各實施例中，方法可以包括：第一計算平臺接收使用一個或多個輸入數據在第二計算平臺上進行的計算的截取處的一組一個或多個狀態變量的一個或多個當前值。該一組一個或多個狀態變量可以定義在截取處之后的計算。在各實施例中，該方法還可以包括第一計算平臺檢測在第二計算平臺上進行的計算的一個或多個誤差。檢測可以至少部分地基于計算的截取處的一組一個或多個狀態變量。

在各實施例中，該方法還可以包括第三計算平臺確定一組一個或多個校正，以及第三計算平臺向第二計算平臺提供該一組一個或多個校正。第一計算平臺和第三計算平臺可以是同一計算平臺或者不同的計算平臺。在各實施例中，確定可以包括求解具有多個變量的線性方程組，其中，來自一個或多個狀態變量中的獨立狀態變量對應于線性方程組的變量。

在各實施例中，該方法還可以包括第一計算平臺使用相同的一個或多個輸入數據在第一計算平臺上進行相同的計算，以及第一計算平臺對在第一計算平臺上進行的計算的對應截取處的一組一個或多個狀態變量的對應的一個或多個當前值進行采集。檢測可以包括對在第二計算平臺和第一計算平臺上進行的計算的截取處的一組一個或多個狀態變量的一個或多個當前值分別進行比較。

在各實施例中，截取處可以包括完整的截取處，該完整的截取處包括對該截取處之后的計算進行定義的所有狀態變量。在各實施例中，截取處可以包括部分截取處，該部分截取處包括對該截取處之后的計算進行定義的所有狀態變量的子集。

在各實施例中，計算可以是在第二計算平臺的第一定時配置下進行的，該方法還可以包括為在第二計算平臺的第二定時配置下進行的計算重復進行上述接收、檢測、確定和提供。第一定時配置和第二定時配置可以是不同的。

在各實施例中，計算可以在第二計算平臺上用第一組狀態元件進行的，而方法還可以包括為在第二計算平臺上用第二組狀態元件進行的計算重復進行上述接收、檢測、確定和提供，其中，第一組狀態元件和第二組狀態元件是不同的。第一組狀態元件和第二組狀態元件對應于第一組狀態變量和第二組狀態變量。

在各實施例中，計算可以是在第二計算平臺上用第一組狀態元件進行的，該方法還可以包括為在第二計算平臺上用第二組狀態元件進行的計算重復進行上述接收、檢測、確定和提供。第一組狀態元件和第二組狀態元件可以是不同的，并且第一組狀態元件和第二組狀態元件對應于第一組狀態變量和第二組狀態變量。

在各實施例中，方法可以包括：第一計算平臺使用一個或多個輸入數據來進行計算；第一計算平臺采集計算的截取處的一組一個或多個狀態變量的一個或多個當前值，其中，該一組一個或多個狀態變量定義了在該截取處之后的計算；以及將計算的截取處的一組一個或多個狀態變量的采集到的一個或多個當前值從第一計算平臺發送到第二計算平臺，以用于第二計算平臺對在第一計算平臺上進行的計算的一個或多個誤差進行檢測，以及用于第二計算平臺針對所檢測到的誤差中的一個或多個誤差向第一計算平臺提供校正。

在各實施例中，截取處可以包括完整的截取處，該完整的截取處包括對該截取處之后的計算進行定義的所有狀態變量。在各實施例中，截取處可以包括部分截取處，該部分截取處包括對該截取處之后的計算進行定義的所有狀態變量的子集。

在各實施例中，計算可以是第二計算平臺的第一定時配置下進行的，該方法還可以包括為在第二計算平臺的第二定時配置下進行的計算重復進行上述接收、檢測、確定和提供。第一定時配置和第二定時配置可以是不同的。