User login

Do you...DO-254? - Milan, IT

Jul 3 2008 - 9:30am
Jul 3 2008 - 5:00pm
Etc/GMT-8
Where: 
Mentor Graphics Italian Branch, P.zza Montanelli, 20 , Sesto San Giovanni (Mi), IT

DO-254
is a recent standard that affects FPGA and ASIC. During this Seminar we
will talk about this standard for safety critical designs and how it
impacts the different stages of the design and verification flow.

You will hear from the chairman of the DO-254 User Group on how
DO-254 fits into the bigger picture of aircraft certification. We will
then see how electronic Design Automation tools have evolved to
optimize both your design methodology and compliance requirements.

During the afternoon we will continue this discussion by talking
more specifically about verification and how to link verification
results to the initial specification. We will then finish by getting an
overview of hardware development and certification constrains for the
transportation industry where other standards exist.

If you are manager or designer of electronic safety critical designs this seminar is for you.

Agenda

 

9.30 - 9.45 Introduction
9.45 - 11.00 DO-254: Safety, Certification, and Business (GeenSys)
DO-254
is a recent standard that affects FPGA and ASIC. Come to this session
to hear first hand from the chairman of the DO-254 user group how
DO-254 fits into the bigger picture of aircraft certification, what it
entails, and what a typical compliance process looks like. Leave with
not only a better understanding of DO-254, but also tips on how to
avoid common pitfalls that can negatively affect your project and your
business.
11.00 - 11.15 Break
12.00 - 12.40 Automating Requirements Traceability (MGC)
How
do you know when your design is complete? When your functionality and
verification results exactly meet requirements. Determining if
requirements are met implies that you can track them from
specification, through RTL description, and to verification results --
a process mandated for DO-254 projects and a best practice for any
requirements-based design flow. This session presents a simple
methodology for establishing a requirements-based project so that you
can absolutely answer the question: Am I done?
12.40 - 14.00 Lunch
14.00 - 14.30 Effective Verification for DO-254 Projects (MGC)
One
of the biggest challenges facing the electronics industry today is
verification closure of FPGA and ASIC designs. Thankfully verification
methods and tools have evolved dramatically over the years to address
this problem. Come to this session to get a better understanding of
techniques that can significantly improve verification efficiency,
finding more design bugs, earlier in the process, with less resource
than traditional techniques. Also learn the verification requirements
of DO-254 and how these methods can be used on a DO-254 project.
14.30 - 15.00 Overview
of hardware development and Certification constraints for other
transportation domains (Space, Automotive and Railway) (GeenSys)
Afternoon HDS and ReqTracer Demo
Average rating
(1 vote)