Back to Results
First PageMeta Content
Integrated circuits / Formal methods / DO-254 / Functional verification / Logic simulation / Electronic design automation / Integrated circuit design / Formal equivalence checking / Synopsys / Electronic engineering / Electronics / Electronic design


White Paper Understanding DO-254 Compliance for the Verification of Airborne Digital Hardware October 2009
Add to Reading List

Document Date: 2014-11-07 12:44:09

Open Document

File Size: 1,74 MB

Share Result on Facebook

Company

Dell / Synopsys Tools Resources / Red Hat / IBM / Anthony D. Stone Synopsys Inc / RTL / Synopsys Inc. / Airborne Digital Hardware / Authors Dr. Paul Marriott XtremeEDA Corporation / Microsoft / /

Country

United States / /

Event

Product Release / /

IndustryTerm

final working product / actual device / important product / airborne and non-airborne applications / airborne hardware / stage tools / bit server / end product / synthesis tool / design audit / compliant hardware / equivalent tool / electronic airborne systems / formal equivalence checking tools / simulation solutions / synthesis tools / airborne equipment / main implementation tool / verification tool / /

MusicAlbum

Once / /

OperatingSystem

Linux / Red Hat Enterprise Linux / /

Organization

Federal Aviation Administration / ASIC / RTCA / FPGAs / /

Position

verification planner / designer / Representative / Analyst / VMM Planner / General / /

Product

Linux / /

ProgrammingLanguage

Verilog / /

Technology

FPGA / ASIC / Verilog / Linux / simulation / /

URL

www.synopsys.com / http /

SocialTag