Aldec presents 'HDL Coding Standards and Best Practices for DO-254’ tutorial at the 36th Annual DASC

Date: Sep 17, 2017
Type: Release

St. Petersburg, FL – September 17, 2017 - Aldec joins Boeing, Rockwell Collins and other top tier exhibitors at The 36th Digital Avionics Systems Conference (DASC). DASC runs September 17-21, 2017 in St. Petersburg, Florida, and provides a forum for the exchange of new knowledge in digital avionics in the fields of commercial, military, and general aviation and space applications. The conference theme of the 36th DASC is the design of technologies, procedures, and regulations to safely and efficiently accommodate a diverse spectrum of platform types into space and into modern civil airspace systems.

The conference will showcase leading research in the form of technical papers and tutorials. Taking part in the conference’s track on Design Assurance, Alexander Gnusin, Aldec Verification Specialist, will present a tutorial ‘HDL Coding Standards and Best Practices for DO-254’.

Tutorial Outline: FAA and EASA recommend the use of HDL coding standards as part of the overall verification plan for DO-254 projects. This tutorial outlines best-practices and examples of HDL coding standards.


1. VHDL Code best-practices and static code verification - the following topics will be discussed and illustrated with VHDL code examples:

a. Secure code practices: safe data types and packages, range declarations, bit width matching and sensitivity lists verification
b. Secure coding styles for design review
c. Secure implementation (synthesis) practices: case overlapping and completeness, unreachable conditions and requirements to processes

2. Clocks and resets verification - the following topics will be discussed and illustrated with VHDL code examples:

a. Semi-Automated Design constraints development
b. Clock tree verification
c. Reset tree verification
d. Clock Domain crossing verification for designs with multiple clocks
e. Quality reports and connectivity explorations


About Aldec

Aldec Inc., headquartered in Henderson, Nevada, is an industry leader in Electronic Design Verification and offers a patented technology suite including: RTL Design, RTL Simulators, Hardware-Assisted Verification, SoC and ASIC Prototyping, Design Rule Checking, CDC Verification, IP Cores, Requirements Lifecycle Management, DO-254 Functional Verification, Embedded Solutions and Military/Aerospace solutions.

About DASC

The annually-held Digital Avionics Systems Conference (DASC) serves the needs and professional interests of the American Institute of Aeronautics and Astronautics (AIAA) and Institute of Electrical and Electronic Engineers (IEEE) members and promotes their contributions and achievements in the arts, sciences and technology of aeronautics and astronautics.

Ask Us a Question
Ask Us a Question
Captcha ImageReload Captcha
Incorrect data entered.
Thank you! Your question has been submitted. Please allow 1-3 business days for someone to respond to your question.
Internal error occurred. Your question was not submitted. Please contact us using Feedback form.
We use cookies to ensure we give you the best user experience and to provide you with content we believe will be of relevance to you. If you continue to use our site, you consent to our use of cookies. A detailed overview on the use of cookies and other website information is located in our Privacy Policy.