Aldec presents 'HDL Coding Standards and Best Practices for DO-254’ tutorial at the 36th Annual DASC Date: Sep 17, 2017 Type: ReleaseSt. 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 verificationb. Secure coding styles for design reviewc. 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 developmentb. Clock tree verificationc. Reset tree verificationd. Clock Domain crossing verification for designs with multiple clockse. Quality reports and connectivity explorations About AldecAldec 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. www.aldec.comAbout DASCThe 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. www.dasconline.org
