Precision Hi-Rel

{"showBreadcrumbs":true,"breadcrumbs":[{"title":"Siemens EDA Software","path":"/en-US/"},{"title":"IC Tool Portfolio","path":"/en-US/ic"},{"title":"Precision FPGA","path":"/en-US/ic/precision"},{"title":"Precision Hi-Rel","path":""}],"tagline":"Overview","title":"Precision Hi-Rel","description":"Siemens groundbreaking FPGA synthesis solution offers SEE (Single Event Effects) mitigation for safety-critical and high-reliability designs, supporting multiple vendors. It provides multiple automated & user-controlled mitigation strategies for mil-aero, space, automotive, and medical applications.","pricingCurrency":"US$","image":{"url":"https://images.sw.cdn.siemens.com/siemens-disw-assets/public/321Jlv1YxyMAZUqTSyMQui/en-US/FC_Precision-HiRel-Flow_640x480.svg?w=640","linkData":"{\"name\":\"precisionhi-rel-promo-640x480\",\"id\":\"321Jlv1YxyMAZUqTSyMQui\",\"contentType\":\"image/svg+xml\"}"},"primaryButton":{"text":"Precision NX Webinar","interaction":"On Demand Webinar Clicked","url":"https://event.on24.com/wcc/r/3160013/FFECB338D1DAF16592B6945090FBE11B?partnerref=precision_hirel","env":"master","locale":"en-US"},"secondaryButton":{"text":"Read Fact Sheet","resource":{"ids":["2aNTZS6OPJRz8yufFz3pGx"],"mode":"selected","query":{"q":"Precision Hi-Rel Factsheet","sorts":[{"field":"publishedDate","order":"desc"}],"filters":[{"field":"collection","values":["resource"],"operator":"OR"}],"postFilters":[],"verboseLocalization":true},"idsQuery":{"size":1,"filters":[{"field":"collection","values":["resource"],"operator":"OR"},{"field":"id","values":["2aNTZS6OPJRz8yufFz3pGx"],"operator":"OR"}],"verboseLocalization":true}},"env":"master","locale":"en-US"}}
Overview

Precision Hi-Rel

Siemens groundbreaking FPGA synthesis solution offers SEE (Single Event Effects) mitigation for safety-critical and high-reliability designs, supporting multiple vendors. It provides multiple automated & user-controlled mitigation strategies for mil-aero, space, automotive, and medical applications.

Key Features

Mitigate SEEs & Ensure Functional Equivalence

For safety-critical and high-reliability applications, Precision Hi-Rel offers industry’s most comprehensive SEE mitigation strategies. And, integration with FormalPro provides assurance that synthesis-based mitigated design is functionally equivalent to the RTL, ensuring DO-254 certification.

{"sectionHeading":null,"items":[{"title":"Triple Modular Redundancy (TMR)","subtitle":"Mitigate SEEs","description":"<p>TMR is the most popular mitigation strategy used for protection from SEUs/SETs in FPGAs. Precision Hi-Rel provides the widest selection of TMR modes - LTMR, DTMR, GTMR & intelligent Selective TMR (iSTMR), enabling users the trade-off between safety, area, and performance. Inserting TMR at the synthesis level provides greater user control and superior QoR.</br></br></p><p></p>","image":"https://images.sw.cdn.siemens.com/siemens-disw-assets/public/7aKK800eyojn9IEyVo2Rcl/en-US/tmr-promo-640x480.jpg?w=640&q=60","rightIcon":"fal fa-long-arrow-right fa-lg"},{"title":"Safe FSM","subtitle":"Protect FSMs","description":"<p>Precision Hi-Rel offers two enhanced safe FSM modes:</p><ul><li><p>SEU Detect - detects invalid transition/state and recovers to a known state</p></li><li><p>SEU Tolerant - absorbs an SEU and continues operation without interruption</p></li></ul><p>With seamless integration in the synthesis flow and full user-control, it allows designers to implement these FSM optimizations globally or at a modular level.</br></br></br></br></br></br></br></p><p></br></p><p></p>","image":"https://images.sw.cdn.siemens.com/siemens-disw-assets/public/6GRZmqq3uwKTOSGuPWPM8c/en-US/safe-fsm-promo-640x480.jpg?w=640&q=60","rightIcon":"fal fa-long-arrow-right fa-lg"},{"title":"Equivalence Checking with FormalPro","subtitle":"Functional Equivalence ","description":"<p>FormalPro and Precision Hi-Rel is the industry’s only integration that proves functional equivalence between RTL and the mitigated FPGA design. An FVI setup file, containing synthesis optimization and mitigation information, is auto-generated by Precision, enabling a reliable push-button RTL to gate netlist to mitigated gate netlist equivalence checking.</p>","image":"https://images.sw.cdn.siemens.com/siemens-disw-assets/public/3sOYe4dXPrBMfKjKvxxtfo/en-US/functional-equivalence-promo-640x480.jpg?w=640&q=60","rightIcon":"fal fa-long-arrow-right fa-lg"}],"env":"master","locale":"en-US"}

Mitigate SEEs

Triple Modular Redundancy (TMR)

<p>TMR is the most popular mitigation strategy used for protection from SEUs/SETs in FPGAs. Precision Hi-Rel provides the widest selection of TMR modes - LTMR, DTMR, GTMR & intelligent Selective TMR (iSTMR), enabling users the trade-off between safety, area, and performance. Inserting TMR at the synthesis level provides greater user control and superior QoR.</br></br></p><p></p>

Protect FSMs

Safe FSM

<p>Precision Hi-Rel offers two enhanced safe FSM modes:</p><ul><li><p>SEU Detect - detects invalid transition/state and recovers to a known state</p></li><li><p>SEU Tolerant - absorbs an SEU and continues operation without interruption</p></li></ul><p>With seamless integration in the synthesis flow and full user-control, it allows designers to implement these FSM optimizations globally or at a modular level.</br></br></br></br></br></br></br></p><p></br></p><p></p>

Functional Equivalence

Equivalence Checking with FormalPro

<p>FormalPro and Precision Hi-Rel is the industry’s only integration that proves functional equivalence between RTL and the mitigated FPGA design. An FVI setup file, containing synthesis optimization and mitigation information, is auto-generated by Precision, enabling a reliable push-button RTL to gate netlist to mitigated gate netlist equivalence checking.</p>

Ready to talk about Precision Hi-Rel?

Any questions you may have, we will have the answers!

Email us

image of arrows

Join the IC Design Community

Join the discussion on new topics, features, content, and technical experts.

two squares on top of each other

Precision Synthesis Support

Access detailed documentation, training resources and more.

Consulting Services Icon

EDA Consulting

Helping you achieve maximum business impact by addressing your complex technology and enterprise challenges with a unique blend of development experience, design knowledge, and methodology expertise.