Aldec launches ALINT-PRO-CDC delivering comprehensive CDC Verification Strategies for SoC and FPGA Designs
Henderson, NV – January 29, 2015 – Aldec, Inc., a pioneer in mixed HDL language simulation and hardware-assisted verification solutions for system and ASIC designs, announces the release of ALINT-PRO-CDCTM 2015.01. This latest design verification solution from Aldec enables verification of clock domain crossings and handling of metastability issues in complex, modern multi-clock designs.
“Metastability issues can be easily overlooked during conventional functional verification flow, leading to random design failures in the field,” said Pavlo Leshtaiev, Product Manager, Aldec Software Division. “Having a specialized verification tool is a must for the modern ASIC/FPGA designer to achieve high performance and quality. ALINT-PRO-CDC uncovers critical problems during the RTL Design and Functional Verification stages, significantly cutting down time to market.”
ALINT-PRO-CDC offers a verification strategy comprised of three key elements: Static Structural Verification, Design Constraints Setup, and Dynamic Functional Verification.
- Static Structural Verification Static analysis includes automatic detection of clocks and resets, asynchronous clock domains and crossings between them. Crossings are checked to confirm proper synchronization and verified against best practices. Well-designed GUI framework provides intuitive interface and offers efficient issues analysis, including graphical representation of synthesized netlist and clocks, as well as reset viewer, elaboration viewer, etc.
- Design Constraints Setup Based on the clock networks analysis and combinational paths between design ports and synchronous cell pins ALINT-PRO-CDC can create the initial SDC file to facilitate design setup. The tool also offers custom extension to design constraints, which allows describing non-synthesizable modules and custom synchronizers resulting in precise linting violations.
- Dynamic Functional Verification (Riviera-PROTM integration) ALINT-PRO-CDC presents automatic SystemVerilog testbench generation, which enables metastability insertion in regular simulation-based verification flow. Testbench also provides a set of assertion and coverage statements to check synchronizers usage correctness and verify that clock domain crossings are covered.
Availability
ALINT-PRO-CDC 2015.01 is available today. For additional information or to request a free evaluation download, visit www.aldec.com/Products/ALINT-PRO-CDC.
About Aldec
Aldec Inc., established in 1984 and 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, SoC and ASIC Prototyping, Design Rule Checking, IP Cores, Requirements Lifecycle Management, DO-254 Functional Verification and Military/Aerospace solutions. www.aldec.com
Related Semiconductor IP
- AES GCM IP Core
- High Speed Ethernet Quad 10G to 100G PCS
- High Speed Ethernet Gen-2 Quad 100G PCS IP
- High Speed Ethernet 4/2/1-Lane 100G PCS
- High Speed Ethernet 2/4/8-Lane 200G/400G PCS
Related News
- Aldec sets a new paradigm with a single platform for Design Rule Checking and Clock Domain Crossing Verification for FPGA and ASIC designs
- Mentor Graphics Delivers Enhanced 0-In Clock Domain Crossing and Formal Verification Technology
- Real Intent Introduces Meridian FPGA, Popular Clock Domain Crossing Verification Software for Altera Customers
- Real Intent Delivers Major Innovation in Clock Domain Crossing Sign-off of SoC Designs
Latest News
- HPC customer engages Sondrel for high end chip design
- PCI-SIG’s Al Yanes on PCIe 7.0, HPC, and the Future of Interconnects
- Ubitium Debuts First Universal RISC-V Processor to Enable AI at No Additional Cost, as It Raises $3.7M
- Cadence Unveils Arm-Based System Chiplet
- Frontgrade Gaisler Unveils GR716B, a New Standard in Space-Grade Microcontrollers