Design Verification

ESP-CV verifies that two different design representations are functionally equivalent. These designs may be described as Verilog behavioral models, RTL, UDP’s, gates, transistors, or SPICE netlist views. ...more

The Teseda V550™ is the latest generation of Teseda hardware platform designed for today’s complex silicon validation and diagnostic challenges. The V550™ desktop platform, in conjunction with Teseda’s TWB software, allows Design and DFT engineers to quickly validate initial silicon, thereby saving weeks in the silicon verification process. ...more

VCS® is the industry’s most comprehensive RTL verification solution in a single product, providing advanced bug-finding technologies, a built-in debug and visualization environment and support for all popular design and verification languages including Verilog, VHDL, SystemVerilog and SystemC™. ...more

LitePoint IQfact Design Verification Test (DVT) software for design verication applications is a comprehensive set of WiFi physical layer transmitter and receiver tests utilizing a large set of channels, data rates and channel bandwidths. IQfact DVT can produce test results needed by IC manufacturers, ODMs and brand owners for product vericati ...more

National Instruments LabWindows/CVI meets the changing needs of software with an interactive development environment designed for virtual instrumentation. With these easy-to-use development tools, you can quickly create, configure, and display flexible measurements during product design and verification. NI LabWindows/CVI automates much of the manu ...more

SpiceCheck is a transistor-level static netlist checker that helps designers meet the verification challenges of today’s complex ICs, which involve low-power, multi-rail high-speed designs. ...more

System Studio is the high performance model-based algorithm design and analysis tool, combining unmatched simulation performance and highest modeling efficiency, plus industry's best integration into the implementation design and verification flow. ...more

Design and manufacture discretely wired and wireless test fixtures used for performance verification of PCB’s and Electronic Assemblies. Commercial applications have included work in support of many industries including satellite TV/IP, computer servers, medical, networking and telecom. We have also developed highly customized ITA’s (Interface Test ...more

Seamless Link Between LabVIEW and The MathWorks Simulink® Software - The National Instruments LabVIEW Simulation Interface Toolkit gives control system design and test engineers a seamless link between LabVIEW and The MathWorks Simulink® software. With these integrated tools, engineers can build custom LabVIEW user interfaces to interactively view ...more

Ensures correct JTAG functionality on first-pass silicon. Verifies that BSDL customer file matches Verilog design. Generates high quality production test vectors. Helps find fab-related pad or JTAG logic yield problems. ...more

The Formality® Equivalence Checker uses formal techniques to prove or disprove equivalence between two versions of the same design. Equivalence checking is a type of static analysis that verifies large designs both quickly and completely without the use of test vectors. The high performance and reduced risk of static analysis has led to the rapid a ...more

Electroworld designs and manufactures burn-in boards for every burn-in system on the market. All boards are designed using a state of the art CAD design system. Our standard board design process includes, a socket selection consultation, computation of maximum socket population, unlimited layer count (min. trace .004") and impedance match ...more

The SunSet SDH is the latest generation of access and metro network test sets from Sunrise Telecom, the industry leader in the design of handheld service verification equipment. A single package offers 2 Mbit/s to 2.5 Gbit/s testing with advanced applications for SDH networks. Along with this complete set of transmission tests come all the too ...more

ITS provides both full functioning and partial behavioral models for test development and design verification. ITS engineers have years of experience in developing behavioral models using internal behavioral pre-compilers and advanced algorithm optimization software. Each full functioning behavioral model is verified for accuracy by comparison ...more

Spirent Communications’ SR5500 Wireless Channel Emulator accurately emulates complex wideband radio channel characteristics such as time-varying multipath delay spread, fast fading, slow shadow fading and channel loss. The SR5500 replicates real-world deployment conditions using powerful digital signal processing techniques, making it po ...more

ESP-CV verifies that two different design representations are functionally equivalent. These designs may be described as Verilog behavioral models, RTL, UDP?s, gates, transistors, or SPICE netlist views.  ...more

DesignerSI provides an integrated schematic and design management front-end for signal-integrity analysis and system verification of high-performance IC/Package/Board designs. DesignerSI is the gateway to best-in-class simulation technologies, Nexxim, HFSS, Q3D Extractor, and SIwave. Using Solver on Demand, DesignerSI enables dynamic circuit/E ...more

MVRC is a voltage-aware static checker that allows engineers to rapidly verify the designs that use voltage control techniques for power management. Additionally MVRC enables verification of the correct implementation of protection circuitry from an architectural and structural perspective. Rapidly finds power management bugs without the need for t ...more

CKT extends the ESP-CV engine into the circuit simulation spectrum. It applies formal verification to the circuit-level designs by directly verifying the functional equivalence of SPICE-level netlist with any other abstraction-level of the design - behavioral, RTL, or gates. ...more

Our Copper G2 system is the second generation of our video-over-IP analyzers. Based on a high-performance measurement-and-acquisition device, it can play and analyze hundreds of media streams at Gigabit Ethernet speeds. Serving the development of IPTV and digital cable applications, it is the perfect test solution for the design and verification of ...more

Woodhead designs and builds Fiber Test Boxes (FTBs) used for simulating a variety of network conditions. These valuable test boxes can include any combination of singlemode and multimode fiber lengths. They can be equipped with any type of fiber optic connector or adapter, making them the ultimate solution for equipment testing and verification nee ...more

The EzLaze provides users with the capability to perform a wide range of laser cutting operations for semiconductor design verification and failure analysis as well as LCD repair applications. With the New Wave Research Advanced Beam Delivery System (ABDS),* the EzLaze II Single and Multi-Wavelength Systems combine the flexibility of multiple- ...more

GS-8800 pre-conformance testing for wireless appliance manufacturing reduces capital cost and allows validation of your design prior to full conformance testing.  ...more

The UWBTracer system is the industry?s most advanced analysis tool for radio-based communications using WiMedia Alliance?s Ultra Wideband (UWB) common radio platform and Certified Wireless USB protocol. Only LeCroy?s Protocol Solutions Group could anticipate and deliver the innovative features needed by early developers in this emerging wireles ...more

An extensive SPICE toolset for extensive circuit design. Includes everything for analog and mixed-signal circuits, less ICAP/4's Smith chart, Library Manager and model generation tool (SpiceMod). Contains newly enhanced analyses for advanced design verification, design pass/fail measurement capability and automated component stress alarms. ...more