定点设计师

デ,タ型の探索

浮動小数点と固定小数点のデ,タ型を調査して,数値精度に関するトレ,ドオフを解析します。

固定小数点の指定

アプリケーション固有の語長,2進小数点スケーリング,任意の勾配とバイアスのスケーリング,丸めモードやオーバーフローモードなどの詳細な設定を行い,固定小数点プロパティを指定します。

固定小数点デ,タ型とそのプロパティ。

丸めモ,ドなど,固定小数点デ,タ型とそのすべてのプロパティを指定します。

浮動小数点シミュレ,ション

シミュレーションおよびコード生成で,flush-to-zeroなど,非正規な浮動小数点数に関するターゲットハードウェアの動作をエミュレートします。MATLAB®およびSimulink®で16ビット半精度浮動小数点デタ型を使用し,有限精度の浮動小数点をシミュレションします。

計測と可視化

モデル全体の自動計測によってシミュレ,ションデ,タと統計情報を収集します。範囲デ,タを収集して,設計を探索および解析します。可視化を使用して,ハ,ドウェアリソ,スを効率的に利用するために,設計を最適化します。

信号範囲を可覚化します。

信号範囲とヒストグラムデ,タの可視化

派生範囲解析

すべてを網羅するシミュレーションテストベンチを作成する必要なく,設計の数学的な解析を行うことで信号範囲を導き出し,最悪の場合の範囲またはエッジケースを決定します。導き出された範囲を使用することで,あらゆる起こり得るオーバーフローを防止または処理することを確認できます。

設計範囲を使用して範囲を派生させます。

設計範囲を使用した範囲の導出。

デ,タ入力の自動化

固定小数点デ,タ型と浮動小数点デ,タ型を使用して設計を量子化し,最適化します。

固定小数点の量子化

ガイド付きワークフローを使用して,さまざまな固定小数点データ型と,その量子化がシステムの数値動作に与える影響を調査します。設計内の変数のダイナミックレンジを確認して,変換後のアルゴリズムが浮動小数点の表現と固定小数点の表現で変わらずに動作することを確認します。

固定小数点ル。

固定小数点ルを使用した浮動小数点モデルの変換。

浮動小数点の量子化

設計を自動的に倍精度から単精度に変換して,有限精度の浮動小数点の表現と量子化の効果を単精度で解析します。

単精度コンバ,タ,を使用した自動変換

単精度コンバ,タ,を使用した自動変換

デ,タ型の最適化

システムの数値動作に関する許容誤差の制約を満たしながら,さまざまな固定小数点の設定を自動的に繰り返し実行して,最適な異種のデータ型を選択します。最適化では,固定小数点デ,タ型を使用して合計ビット幅を最小化し,設計の効率化を図ります。

組み込み実装

実装のトレ,ドオフを調査し,効率的な組み込みアルゴリズムを使用して設計を最適化します。

関数近似とルックアップテ,ブルの圧縮

最適なルックアップテーブルを使用して,複雑な関数(√6,expなど)または複雑なサブシステムの近似値を数学的に計算します。データポイント数とデータ型を最適化することで,既存のルックアップテーブルを圧縮してメモリ使用量を削減します。

ビットトゥル,コ,ドの生成

アクセラレーション,プロセッサインザループシミュレーション,ソフトウェアインザループシミュレーションなど,シミュレーションからコード生成まで,モデルベスデザン(mbd,モデルベス開発)全体でのビットトゥル,を実現します。ビットトゥル,表現に基づく固定小数点アルゴリズムの解析と検証を行います。半精度デ,タ型を含む,最適化された精度のデ,タ型から効率的なコ,ドを生成します。

ビット精度シミュレ,ション。

生成されたコ,ドのビットトゥル,動作をシミュレ,タ,で検証。

HDL最適化行列ブロック

FPGA上でのハードウェア効率の高い実装のために,QR分解などの線形方程式およびコア行列演算の設計パターンをモデル化する仿真软件ブロックの固定小数点HDLラブラリ[hm1]にアクセスします。HDL Coder™を使用して,これらのブロックを組み込んだ設計のHDLコ,ドを生成します。

複雑なバストqr分解ブロック。

Qr分解に対するHDL最適化設計パタンを提供するラブラリブロック。

テストとデバッグ

アルゴリズムの数値動作を解析,テスト,デバッグします。

オ,バ,フロ,および桁落,の検出

オーバーフロー,桁落ち,無駄な範囲や精度の発生源を素早く特定,追跡,デバッグし,理想的な浮動小数点の動作とその設計を比較します。モデルとコードのビットトゥルー一致により,開発の早期段階で問題点の検出を可能にするモデルベースデザインの多くの利点を最大限に活用できます。

オ,バ,フロ,の検出とデバッグ。

オ,バ,フロ,の根本原因の追跡。

数値エッジケ,スをテスト

アルゴリズムのエッジケースをテストして数値的一貫性を確保するために,境界に近い値や非正規数などの数値的に沢山の固定小数点値および浮動小数点値を生成します。さまざまな次元と複雑度を持つ信号の組み合わせを,整数型、浮動小数点型,または固定小数点型で生成します。

デ,タジェネレ,タ,api。

デ,タジェネレ,タ,APIによるテストデ,タの生成。

Baidu
map