Aldec’s contribution to MAPLD’s Session on Validation and Verification of FPGAs and PLDs will be presented by Dmitry Melnik, Aldec Product Manager. Aldec’s session on Automated Code Reviews for Fail-Safe Designs examines HDL design best practice coding guidelines that should be considered for any safety-critical device, including aerospace designs. A number of the discussed issues can certainly be caught by the downstream processes such as compilation, simulation, synthesis, code coverage, etc, however, it is important particularly for safety-critical designs to check what is possible and as early and often as possible. Session highlights include: HDL coding in DO-254 Hardware Design Life Cycle and Automated HDL Code Reviews for Fail-Safe Designs.
The 2011 ReSpace/MAPLD 2011 Conference runs August 22-25 in Albuquerque, NM. ReSpace is an annual conference organized by COSMIAC and its affiliates. The joint conference explores recent advances in reconfigurable electronics and microsystems from two perspectives: ReSpace explores the most effective manner in which these electronics revolutionize increasingly capable, compact and low cost spacecraft, while MAPLD explores how to ensure that these reconfigurable electronics survive and perform properly in the extreme conditions of space. To learn more, visitaldec.com/events.
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, Design Rule Checking, IP Cores, DO-254 Functional Verification and Military/Aerospace solutions. www.aldec.com
COSMIAC is a congressionally supported space electronics center established at the University of New Mexico in Albuquerque, NM. COSMIAC’s role is to promote aerospace innovation through the reliable and responsible use of configurable technology in military and aerospace systems by serving the interests of industry, government and academia. www.cosmiac.org