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 |