Der定点设计师™bietet Datentypen和工具苏珥Optimierung Implementierung冯Festkomma——嵌入式硬件和Gleitkomma-Algorithmen再见。和Er umfasst Festkomma——和Gleitkomma-Datentypen zielspezifische numerische设置。麻省理工学院的民主党定点设计师您能zielbezogene Simulationen durchfuhren,死皮Festkommazahlen bitgenau信德。然后您能Quantisierungseffekte以色列立Uberlauf Genauigkeitsverlust testen您beheben, bevor您das设计硬件implementieren der汪汪汪。
Der定点设计师bietet应用程序和工具,麻省理工学院denen您doppeltgenaue Algorithmen analysieren和Gleitkomma -奥得河Festkomma-Algorithmen麻省理工学院reduzierter Genauigkeit konvertieren能帮。麻省理工学院Optimierungstools您能Datentypen auswahlen,死古老Anforderungen一个死numerische Genauigkeit和窝Randbedingungen der目标硬件entsprechen。这苏珥是effizienten Implementierung您能rechenintensive Konstrukte在Ihrem Entwurf军队hardware-optimale召集是不是komprimierte Lookup-Tabellen ersetzen。
您可以在C -和HDL-Code毛皮死Produktion direkt来自古老而毛皮Festkomma和Gleitkomma optimierten Modellen generieren。
现在beginnen:
Festkomma-Spezifikation
Spezifizieren您死Festkomma-Eigenschaften国际卫生条例Entwurfs麻省理工学院anwendungsspezifischen Wortlangen, Binarkomma-Skalierung和beliebiger Slope-and-Bias-Skalierung,和方向行驶您细节以色列立Rundungsmodus Uberlaufaktion。
Angeben进行Festkomma-Datentyps和通向围网渔船Eigenschaften,是不是z。b . Rundungsmodus。
Gleitkomma-Simulation
Emulieren您das Verhalten der目标硬件毛皮denormale Gleitkommazahlen,是不是z。b . Flush-to-Zero (Denorms了auf空gesetzt)、贝和Codegenerierung der模拟。Simulieren您Gleitkommazahlen麻省理工学院begrenzter Genauigkeit麻省民主党Datentyp fp16 (halbe Genauigkeit)在MATLAB®和仿真软金宝app件®。
Instrumentierung和Visualisierung
Sammeln您Simulationsdaten和Statistiken军队automatische modellweite Instrumentierung。Sammeln您Bereichsdaten,嗯您Entwurfe祖茂堂untersuchen祖analysieren。Verwenden您Visualisierungen,古老而Entwurf im Hinblick auf一张effiziente Nutzung der Hardwareressourcen祖茂堂optimieren。
Visualisierung冯Signalbereichen Histogrammdaten。
分析abgeleiteter Bereiche
Leiten您Signalbereiche anhand静脉mathematischen分析国际卫生条例Entwurfs ab和bestimmen您死Worst-Case-Bereiche奥得河Randfalle, ohne umfassende Simulations-Testbenches erstellen祖茂堂得。Mithilfe der abgeleiteten Bereiche您能sicherstellen, dass国际卫生条例Entwurf Uberlauf verhindert奥得河麻省理工学院allfalligem Uberlauf umgehen萤石。
Ableiten冯Bereichen mithilfe冯Entwurfsbereichen。
Festkomma-Quantisierung
Erkunden您verschiedene Festkomma-Datentypen和死Auswirkungen我Quantisierung auf das numerische Verhalten国际卫生条例系统mithilfe进行gefuhrten工作流。Uberwachen您窝dynamischen德国der Variablen在Ihrem Entwurf,和stellen您那么自信,dass西奇der Algorithmus innerhalb冯Gleitkomma——和Festkomma-Darstellungen去der Konvertierung einheitlich verhalt。
Umwandeln进行Gleitkomma-Modells麻省民主党定点工具。
Gleitkomma-Quantisierung
Konvertieren您杯Entwurf automatisch冯doppelter祖茂堂einfacher Genauigkeit,和analysieren您死Auswirkungen der Gleitkomma-Darstellung麻省理工学院begrenzter Genauigkeit和der Quantisierung贝einfacher Genauigkeit。
Automatische Konvertierung麻省民主党单精度转换器。
Datentyp-Optimierung
Untersuchen您automatisch verschiedene Festkomma-Konfigurationen,嗯死optimalen heterogenen Datentypen auszuwahlen和gleichzeitig死zulassigen Toleranzen毛皮das numerische Verhalten einzuhalten《国际卫生条例》系统。死Optimierung dient大足,mithilfe冯Festkomma-Datentypen死Gesamtbitbreite祖茂堂minimieren,嗯杯effizienten Entwurf祖茂堂erzielen。
Funktionsapproximation Komprimierung der Lookup-Tabelle
Approximieren您mathematisch komplexe Funktionen是不是z。b .√和exp)奥得河komplexe Subsysteme麻省理工学院静脉optimalen Lookup-Tabelle。Komprimieren您vorhandene Lookup-Tabellen,嗯死Arbeitsspeichernutzung祖verringern indem您Datenpunkte和Datentypen optimieren。
Generierung冯bitgenauem代码
Sorgen您毛皮bitgenaue Ubereinstimmung im gesamten基于模型设计von der模拟bis zur Codegenerierung einschließlich Beschleunigung和Prozessor-in-the-Loop——和Software-in-the-Loop-Simulationen。Analysieren和verifizieren您Festkomma-Algorithmen,死auf bitgenauen Darstellungen basieren。Generieren您effizienten代码来自Entwurfen麻省理工学院reduzierter Genauigkeit, einschließlich Entwurfen麻省理工学院Datentypen麻省理工学院没什么Genauigkeit。
在einem Verifikation des bitgenauen Verhaltens冯generiertem代码模拟器。
HDL-optimierte Matrix-Blocke
Greifen您改一张Festkomma-HDL-Bibliothek冯·Si金宝appmulink-Blocken祖茂堂死Designmuster毛皮和来自linearen Gleichungen和Core-Matrix-Operationen体育死QR-Zerlegung毛皮hardwareeffiziente fpga modellieren Implementierung再见。Generieren您HDL-Code皮毛Entwurfe,死这Blocke nutzen,麻省民主党HDL编码器™。
Bibliotheksblock, der静脉HDL-optimiertes Designmuster毛皮死QR-Zerlegung liefert。
Erkennung冯Uberlauf Genauigkeitsverlust
Identifizieren, verfolgen和debuggen您Ausloser皮毛Uberlauf, Genauigkeitsverlust和verlorene Bereiche奥得河Genauigkeit在kurzester时间,和vergleichen您古老Entwurf麻省民主党idealen Gleitkomma-Verhalten。军队bitgenaue Ubereinstimmung国际卫生条例上一次和编码有了Vorteile冯maximiert基于模型设计,您可以在solche问题fruh entdecken im工作流。
Ermitteln der Ursache进行Uberlaufs。
Testen numerischer Randfalle
Generieren您numerisch umfangreiche Festkomma——和Gleitkommawerte是不是grenznahe Werte奥得河denormale Zahlen,嗯Randfalle我Algorithmen auf numerische Konsistenz祖茂堂testen。Generieren您Kombinationen冯Signalen麻省理工学院variierenden Dimensionen和unterschiedlicher Komplexitat和麻省理工学院Ganzzahl——Gleitkomma -奥得河Festkomma-Datentypen。
Generieren您Testdaten麻省理工学院窝Datengenerierungs-APIs。
