Showing posts with the label EDA Tools


Splint Annotation-Assisted Lightweight Static Checking

Source Navigator for Verilog

Comit-TX Verilog Testbench Extractor

Incisive Conformal ASIC

System Architect for micro-architecture performance analysis and optimization during functional simulation

nECO for Verdi and Debussy debug systems

Functionally debug in RTL source using Identify RTL Debugger

Gatevision for Netlist debugging

Design Compiler 2010 Doubles Productivity of Synthesis and Place-and-Route

Probabilistic Timing Analysis

EDA Tools - VN-Cover Emulator Coverage Analysis for HW Emulation

EDA Tools - VN-Cover Coverage Analysis

Load More Posts That is All