The new release supports automatic conversion of Libero projects into ALINT-PRO’s environment for static linting and clock domain crossing (CDC) analysis of hardware designs in VHDL, Verilog or SystemVerilog.
Static linting helps detect a wide variety of design issues, including poor coding styles, improper clock and reset management, simulation vs. synthesis mismatches, incorrectly implemented finite state machines (FSM), and other typical source code issues throughout the design flow. CDC analysis is critical to designs with multiple asynchronous clocks and helps mitigate non-deterministic issues such as data incoherence as a result of metastability that inevitably appear in today’s large FPGA and SoC FPGA designs.
“The use of advanced verification tools such as static linting and CDC analysis can significantly reduce the number of non-trivial bugs escaping into production, save engineering resource and more importantly, increase the reliability of FPGA and SoC FPGA designs,” said Louie De Luna, Director of Marketing at Aldec. “We’ve had a long-standing and successful partnership with Microchip FPGA business unit since 1987 and we’re happy to continue our relationship and provide value to their users.”
“FPGA designs are increasing in size and complexity requiring earlier detection of language and structural errors,” explained Joe Mallett, Sr. Marketing Manager at Microchip. “Designers using Libero SoC Design Suite can take advantage of Aldec’s ALINT-PRO to help detect functional errors earlier in the FPGA design cycle.”
