Aldec presents ‘Automated Code Reviews for Fail-Safe Designs’ at ReSpace/MAPLD 2011 Conference in Albuquerque, NM.Date: 2011/10/18 Type: Company Albuquerque, NM – August 20, 2011 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, visit aldec.com/events. 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, Design Rule Checking, IP Cores, DO-254 Functional Verification and Military/Aerospace solutions. www.aldec.com About COSMIAC 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 Aldec and COSMIAC are trademarks of Aldec, Inc. and COSMIAC respectively. All other trademarks or registered trademarks are property of their respective owners. Media Contact: Christina TooleMarketing ManagerAldec, Inc. +(702) 990-4400christinat@aldec.com Aldec presents 'FPGA Level In-Hardware Verification for DO-254 Compliance' at the 30th Annual DASC in WashingtonDate: 2011/10/18 Type: Company Seattle, WA – October 18, 2011 Aldec joins Boeing, Mentor Graphics, Microsemi and other top tier exhibitors at The 30th Digital Avionics Systems Conference (DASC). DASC runs October 16-20, 2011 in Seattle, Washington, 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. This year’s conference theme is Closing the Generation Gap: Increasing capability for flight operations among legacy, modern and uninhabited aircraft. The conference will showcase leading research in the form of technical papers and presentations. Taking part in the conference’s track on Avionics Design, Louie De Luna, Aldec DO-254 Program Manager, will present ‘FPGA Level In-Hardware Verification for DO-254 Compliance’. FPGA Level In-Hardware Verification is currently enforced by the FAA as a means of compliance and guidance for the design assurance of complex electronic hardware such as FPGAs, PLDs and ASICs in airborne systems. This technical presentation points out the most significant challenges that can be encountered during the hardware verification process of FPGA designs under DO-254 guidelines and proposes a verification methodology that replays RTL simulation during hardware testing at full speed utilizing the same simulation testbench as test vectors. 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, Design Rule Checking, IP Cores, DO-254 Functional Verification and Military/Aerospace solutions. www.aldec.com 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. www.dasconline.org Aldec and DASC is a trademark of Aldec, Inc and DASC respectively. All other trademarks or registered trademarks are property of their respective owners. Media Contact: Christina Toole, Marketing ManagerAldec, Inc. +(702) 990-4400 christinat@aldec.comwww.aldec.com Joe Tinervia, Marcom DirectorSoC Conference Organizing Committee +(949) 851-1714SoC@SoCconference.com www.SoCconference.com
