アルデック・ジャパン Company Overview

The RTCA/DO-254, published in 2000, serves as a guideline for the development of airborne electronic equipment equipped with FPGA/ASIC according to standards; however, in recent designs, its content has become outdated. EASA and FAA have aimed to harmonize compliance standards, and at the same time, issued AMC 20-152A/AC 20-152A as new objectives that DO-254 applicants should meet. This webinar will introduce an overview of this new document, as well as discuss its impact on the design and verification processes of airborne electronic equipment and appropriate tools for streamlining these processes.

UVM (Universal Verification Methodology) is one of the verification methods that enables advanced verification flows for ASICs and large-scale FPGAs. However, writing UVM from scratch is a complex and time-consuming task. The UVM generator in Riviera-PRO reduces complexity by automatically generating SystemVerilog templates for UVM test benches and simulation scripts for designs written in VHDL, Verilog/SystemVerilog, rather than starting from scratch. This webinar will focus on how to use the UVM generator and the benefits it brings to users who create UVM code from scratch.

As FPGA designs become larger and more complex, the importance of clock domain crossing (CDC) verification is increasingly emphasized. Improper handling of asynchronous clock boundaries can lead to metastability, glitches, and loss of data integrity, potentially causing unpredictable behavior in hardware. The AMD (Xilinx) Vivado Design Suite includes built-in CDC checking features, but these may be insufficient for complex multi-asynchronous clock designs. While Vivado's CDC report feature provides useful information through Xilinx-specific checks such as the ASYNC_REG attribute, it does not match the detailed analytical capabilities of dedicated CDC verification tools like ALINT-PRO. In this webinar, we will compare Vivado's built-in CDC verification capabilities with the advanced features of ALINT-PRO, highlighting CDC issues that may be overlooked in Vivado and demonstrating how ALINT-PRO can enhance CDC analysis and debugging.