Automatic synthesis for high reliability

Synopsys Synplify® Premier can be used to synthesize high reliability designs for space and other applications where high energy particles can influence the functionality.
Fugelsang in Space
In Space, high reliability designs are needed. NASA image – Public Domain.

What Synplify Premier does is to insert redundant logic (TMR) that votes for the correct outcome of a function. It inserts ECC codes for memories. It implements FSMs in safe ways. It can also insert logic to report about errors.

What is good about this is that now you don’t have to insert and verify all of this yourself in RTL. Synplify Premier does that part for you.

About P-O

Per-Olof Bergstedt is a very experienced Digital Designer with an additional knowledge of computers and internet. His specialties are Verilog, VHDL, System Verilog, ASIC, Digital Design, Perl, Linux, Unix. He is currently working for BitSim.

Leave a Reply