top of page
CDT UK IRELAND.PNG
HOME    >    SOLUTIONS    >    FPGA/ASIC DESIGN, VERIFICATION AND SYNTHESIS    >    FPGA/ASIC VERIFICATION
modelsim.PNG

ModelSim

ModelSim simulates behavioral, RTL, and gate-level code - delivering increased design quality and debug productivity with platform-independent compile. Single Kernel Simulator technology enables transparent mixing of VHDL and Verilog in one design.

formalpro.PNG

FormalPro

FormalPro uses static formal verification techniques to prove that a design is functionally identical to its golden reference. This is orders of magnitude faster than traditional gate-level simulation—designs that take days or weeks can be verified in hours or even minutes using FormalPro.

questa.PNG

Questa Advanced Simulator

The Questa advanced simulator is the core simulation and debug engine of the Questa verification solution; the comprehensive advanced verification platform capable of reducing the risk of validating complex FPGA and SoC designs.

veloce.PNG

Veloce Hardware-Assisted Verification Platform

The Veloce hardware-assisted verification platform is a comprehensive and full-featured platform comprised of hardware for emulation and prototyping as well as virtual/hybrid capabilities for early software-driven verification.

calibre.PNG

Calibre Design Solutions

The industry-leading Calibre integrated circuit (IC) manufacturing solutions, built on an integrated hierarchical platform, deliver foundry success by enabling fast ramp and maximizing process yield through the entire technology node life cycle.

lfd.PNG

Calibre LFD

The Calibre LFD tool captures a design’s response to manufacturing process window effects, empowering engineers to identify and fix variability, reliability, and manufacturing yield issues before tape-out.

Calibre Computational Lithography.PNG

Calibre Computational Lithography

The insatiable demand for integrated circuits (ICs) continues to drive smaller critical dimensions. Photolithography processes, including extreme ultraviolet (EUV), present ever more complexity and data volume. Our computational lithography solutions enable cost-effective technology enablement.

calibre mask.PNG

Calibre Mask Process Correction

The Calibre Mask Process Correction family of rule and model-based products is used in advanced photomask manufacturing to correct for systematic mask lithography and process error sources to ensure that the mask critical dimension signature is within specification.

calibre mdp.PNG

Calibre Mask Data Preparation

Calibre Mask Data Preparation (MDP) tools enable mask data format conversion and verification for mask fabrication including the latest multi-beam mask formats in a fully compatible Calibre platform.

Analog FastSPICE Platform.PNG

Analog FastSPICE Platform

Foundry-certified, the AFS Platform delivers nm SPICE accuracy >5x faster than traditional SPICE and >2x faster than parallel SPICE simulators. Offering the fastest nm circuit verification platform for analog, RF, mixed-signal, and custom digital circuits. Now includes new eXTreme technology.

verification ip.PNG

Questa Verification IP

Questa Verification IP (QVIP) improves quality and reduces schedule risk with a broad portfolio of reusable protocol and methodology components that support a wide range of industry-standard interfaces, eliminating time spent developing and maintaining custom BFMs, verification components, or VIP.

Questa Formal Verification Apps.PNG

Questa Formal Verification Apps

Questa Formal Verification Apps find obscure bugs, increasing design confidence through exhaustive analysis, before simulation test environments are available. Questa Formal apps boost productivity and functional verification quality by targeting verification tasks that are difficult to complete.

tessent.PNG

Tessent Silicon Lifecycle Solutions

Design augmentation and linked applications that detect, mitigate and eliminate risks throughout the IC lifecycle, helping customers address their debug, test, yield, safety, security, and optimization requirements for today’s most complex SoCs.

quantix.PNG

Quantix Tools

Quantix offers a total lifecycle solution for semiconductor test data analytics from initial device characterization— to automated yield and quality management—to RMA analysis. Quantix solutions provide engineers and managers with “semiconductor intelligence” that enables better decision making and process improvement.The products are all based on a common architecture and use model, which makes it easy to scale up your yield and quality management activities as your business grows.

exostiv.PNG

Exostiv

EXOSTIV is an innovative analysis, verification and debug solution for FPGA boards.
It provides simulator-like visibility – up to 200,000 times more than JTAG-based tools – and fast debug turnaround time for standard and custom FPGA boards.
EXOSTIV cuts the debug and analysis time from months to weeks

bottom of page