JPWO2022215173A5

JPWO2022215173A5 -

Info

Publication number: JPWO2022215173A5
Application number: JP2022527871A
Authority: JP
Filing date: 2021-04-06
Publication date: 2023-03-07
Anticipated expiration: 2041-04-06

Description

本開示の固定小数点演算ビット幅の検証システムは、演算情報に基づいて数式（１）の検証保証精度内のパラメータδ及びεでベルヌーイ試行による区間推定を用いて検証データセットのデータ数を決定して目標値を含む生成仕様を定義する仕様定義部と、生成仕様に基づいて検証データセットを生成する生成部と、検証データセットを用いて固定小数点演算による演算結果を生成する固定小数点演算部と、演算結果及び生成仕様の数式（１）に基づいて固定小数点演算が仕様を満たしているか否かを検証する検証部とを備えている。 The fixed-point arithmetic bit width verification system of the present disclosure determines the number of data in the verification data set using interval estimation by Bernoulli trials with parameters δ and ε within the verification guaranteed accuracy of Equation (1) based on the arithmetic information. a specification definition part that defines a generation specification including a target value, a generation part that generates a verification data set based on the generation specification, and a fixed-point calculation part that generates a calculation result by fixed-point calculation using the verification data set , and a verification unit that verifies whether or not the fixed-point calculation satisfies the specification based on the calculation result and the expression (1) of the generation specification.

また、本開示の固定小数点演算ビット幅の決定システムは、演算の重要度が定義された演算情報に基づいて数式（１）の検証保証精度内のパラメータδ及びεでベルヌーイ試行による区間推定を用いて検証データセットのデータ数と重要度から固定小数点ビット幅と目標値とを含む生成仕様を定義する仕様定義部と、生成仕様に基づいて検証データセットを生成する生成部と、検証データセットを用いて固定小数点演算による演算結果を生成する固定小数点演算部と、演算結果及び生成仕様の数式（１）に基づいて固定小数点演算が仕様を満たしているか否かを検証し検証結果を生成する検証部と、検証結果に応じて生成仕様の更新判定を行う更新部とを備えている。
In addition, the fixed-point arithmetic bit width determination system of the present disclosure uses interval estimation by Bernoulli trials with parameters δ and ε within the verification guarantee accuracy of Equation (1) based on arithmetic information in which the importance of arithmetic is defined. A specification definition part that defines a generation specification including a fixed-point bit width and a target value from the number and importance of data in the verification data set, a generation part that generates a verification data set based on the generation specification, and a verification data set A fixed-point calculation unit that generates calculation results by fixed-point calculation using a fixed-point calculation unit, and a verification that verifies whether the fixed-point calculation satisfies the specifications based on the calculation results and formula (1) of the generation specifications, and generates verification results. and an update unit that determines whether to update the generation specification according to the verification result.

Claims

Specification definition that determines the number of data n in the verification data set using interval estimation by Bernoulli trial with parameters δ and ε within the verification guaranteed accuracy of formula (1) based on the calculation information and defines the generation specification including the target value Department and
a generation unit that generates the verification data set based on the generation specification;
a fixed-point calculation unit that generates calculation results by fixed-point calculation using the verification data set;
A fixed-point operation bit width verification system, comprising: a verification unit that verifies whether the fixed-point operation satisfies a specification based on the operation result and the expression (1) of the generation specification.

The fixed-point arithmetic bit width verification system according to claim 1,
The verification unit determines that the specification is satisfied when the verification result achieves the target value, and determines that the specification is not satisfied when the verification result does not achieve the target value. A fixed-point arithmetic bit width verification system characterized by determining that:

The fixed-point arithmetic bit width verification system according to claim 1 or 2,
The calculation information includes the content of calculation in the fixed-point calculation unit, an assumed bit width that is the bit width in the fixed-point calculation, and the guaranteed number of output digits that is the number of decimal places obtained as the calculation result. A fixed-point arithmetic bit width verification system, comprising:

A fixed-point arithmetic bit width verification system according to any one of claims 1 to 3,
The fixed-point arithmetic bit width verification system, wherein the generator randomly generates the verification data of the number n of data from the arithmetic information.

A fixed-point arithmetic bit width verification system according to any one of claims 1 to 3,
The fixed-point operation bit width verification system, wherein the fixed-point operation unit performs the fixed-point operation by the number of the verification data sets.

Based on the calculation information in which the importance of the calculation is defined , the parameters δ and ε within the verification guarantee accuracy of Equation (2) are used to estimate the interval by Bernoulli trial, and the number of data n of the verification data set and the above-mentioned importance are fixed point a specification definition section that defines a production specification including bit widths and target values;
a generation unit that generates the verification data set based on the generation specification;
a fixed-point calculation unit that generates calculation results by fixed-point calculation using the verification data set;
a verification unit that verifies whether the fixed-point calculation satisfies the specification based on the calculation result and the expression (2) of the generation specification, and generates a verification result;
and an updating unit that determines whether to update the generation specification according to the verification result.

7. The fixed-point arithmetic bit width determination system according to claim 6,
The calculation information includes the content of calculation in the fixed-point calculation unit, an assumed bit width that is the bit width in the fixed-point calculation, and the number of guaranteed output digits that is the number of decimal places obtained as the calculation result , and a bit width search mode in which a bit width search method during reverification is described.

The system for determining the fixed-point arithmetic bit width according to claim 6 or 7,
In the first bit width search mode, an assumed bit width is determined by the importance and the verification result, and the allowable condition is relaxed from the specification according to the verification result,
The fixed-point arithmetic bit width determination system, wherein the specification definition unit determines the number of data n and the target value.

The system for determining the fixed-point arithmetic bit width according to claim 6 or 7,
In the second bit width search mode, the boundary between the integer part and the decimal part of the fixed point is changed without changing the number of data n , the target value and the fixed point bit width. Arithmetic bit width determination system.

The system for determining the fixed-point arithmetic bit width according to claim 6 or 7,
3. A system for determining a fixed-point operation bit width, wherein the bit width search mode changes the fixed-point bit width without changing the number of data n and the target value.