Aldec Launches ALINT-PRO-CDC Delivering Comprehensive CDC Verification Strategies for SoC and FPGA Designs

HENDERSON, Nev. — (BUSINESS WIRE) — January 29, 2015Aldec, 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.


ALINT-PRO-CDC 2015.01 is available today. For additional information or to request a free evaluation download, visit

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, CDC, Verification, IP Cores, Requirements Lifecycle Management, DO-254 Functional Verification and Military/Aerospace solutions.

Aldec is a registered trademark of Aldec, Inc. All other trademarks or registered trademarks are the property of their respective owners.


Aldec, Inc.
Christina Toole, 702-990-4400
Email Contact

Review Article Be the first to review this article


Featured Video
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Acquiring Mentor: Four Good Ideas, One Great
More Editorial  
Manager, Field Applications Engineering for Real Intent at Sunnyvale, CA
Upcoming Events
DeviceWerx - 2016 at Green Valley Ranch Casino & Resort Las Vegas NV - Nov 3 - 4, 2016
2016 International Conference On Computer Aided Design at Doubletree Hotel Austin TX - Nov 7 - 10, 2016
ICCAD 2016, Nov 7-10, 2016 at Doubletree Hotel in Austin, TX at Doubletree Hotel Austin TX - Nov 7 - 10, 2016
Electric&Hybrid Aerospace Technology Symposium 2016 at Conference Centre East. Koelnmesse (East Entrance) Messeplatz 1 Cologne Germany - Nov 9 - 10, 2016
S2C: FPGA Base prototyping- Download white paper

Internet Business Systems © 2016 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy