Back to Results
First PageMeta Content
Electronic design / Logic design / Integrated circuits / Synopsys / Hardware description language / Logic synthesis / Logic simulation / Integrated circuit design / High-level synthesis / Electronic engineering / Digital electronics / Electronic design automation


Datasheet Solutions for DO-254 Overview ``
Add to Reading List

Document Date: 2015-03-10 22:15:24

Open Document

File Size: 110,08 KB

Share Result on Facebook

Company

RTL / Synopsys Inc. / /

Country

United States / /

Event

Reorganization / /

IndustryTerm

design tools / functional equivalence checking solution / logical equivalencechecking solution / functional equivalency checking solution / verification solution / hardware/software / airborne hardware / mixed-signal verification solution / software tools / integrated and scalable hardware-software solution / bug-finding technologies / static checking solution / verification tools / ease hardware/software integration / airborne electronic systems / functional equivalency checking solutions / software development / /

Organization

Federal Aviation Administration / FPGA / ASIC / PLDs / ASSP / /

/

Position

Verification Planner / Synplify Premier / high-performance C-model for system-level simulation / local sales representative / /

Product

HAPS / Synplify / /

ProgrammingLanguage

Simulink / C++ / /

Technology

FPGA / ASIC / Verilog / VC Formal technology / analysis algorithms / simulation / bug-finding technologies / /

URL

www.synopsys.com / http /

SocialTag