RTL Code Analysis and Verification Solution ALINT-PRO

The AXI4 Stream protocol is used as a standard interface for exchanging data between connected IPs within FPGA designs. When crossing clock domains, the AXI4 Stream interconnect is based on a switch that can transfer data to another asynchronous clock domain. The ALDEC_CDC rule plugin includes numerous rules for checking design quality, design constraints, and clock and reset trees. It is used for verifying the synchronous circuits of the design. However, static CDC verification methods alone may not guarantee the completeness of CDC verification tasks, making dynamic CDC verification essential. The main techniques for dynamic CDC verification include checks using CDC assertions and modeling random delay insertion during clock domain crossing. In this webinar, both static and dynamic verification methods for CDC verification of AXI4 Stream-based IP will be introduced, and the design and usage of CDC assertions automatically generated from ALINT-PRO, along with synchronizer models equipped with random delay insertion, will be explained.

Henderson, NV – January 14, 2026 – Aldec, Inc., a pioneer in mixed HDL language simulation and verification solutions for FPGA and ASIC design, today announced the release of ALINT-PRO 2025.12, which provides new design rules and guidance for mixed-language projects. This update will help engineering teams improve accuracy, maintainability, and IP interoperability when combining VHDL and Verilog/SystemVerilog within a single project. As mixed-language development becomes common for IP reuse, third-party integration, and long-term product maintenance, design teams face challenges caused by ambiguous mappings, inconsistent parameter passing, and misuse of configurations. ALINT-PRO 2025.12 reduces these risks by applying a concentrated set of best practice rules aimed at preventing integration issues before simulation, logic synthesis, and downstream verification. Please refer to the attached document for more details.

Most FPGA designs include configurable IP blocks provided by FPGA vendors. These IP blocks may contain synthesizable RTL code. In CDC verification, pseudo violations can occur due to this IP, leading to increased analysis time. In this webinar, we will introduce how to describe constraints for IP using block-level constraints in ALINT-PRO.

In high-speed FPGA design, not only high clock frequencies are required, but also carefully optimized RTL design. Advanced linting becomes a static RTL code analysis process that detects hidden issues in the code against hundreds of design rules. In addition to improving code quality, advanced linting directly contributes to performance optimization, which is a critical factor in achieving frequency, power consumption, and area targets for high-speed FPGA designs. ALINT-PRO helps designers identify and fix potential bottlenecks early in the design cycle, contributing to the reduction of time-consuming implementation and timing closure with FPGA vendor tools. This webinar will introduce how to apply and the effects of advanced linting using ALINT-PRO.