航空航天和国防验证

在航空航天和国防电子设计创新加速

电子设计,航空航天和国防应用需要高性能FPGA综合,多域验证能力和符合安全标准,如DO-254最大流量可追溯性。manbet万博官网Synopsys的解决方案使航空航天和国防客户更快,更便宜的提供创新产品,同时满足所要求的安全标准。

针对特定行业的解决方案包括标准符合性检查,需求跟踪,故障分析和不可达。manbet万博官网Synopsys的解决方案支持业界标准的SystemVerilog一样,VHDL,SystemC的,C ++,MATLAB / Simulink中,巨蟒;与FPGA厂商,Mathworks公司,而且越来越强的生态系统的伙伴关系。