<--- Back to Details
First PageDocument Content
Hardware verification languages / Aldec / Logic design / Hardware emulation / Hardware description languages / Field-programmable gate array / Joint Test Action Group / Mentor Graphics / Application-specific integrated circuit / Electronic engineering / Electronic design automation / Digital electronics
Date: 2015-02-02 17:14:32
Hardware verification languages
Aldec
Logic design
Hardware emulation
Hardware description languages
Field-programmable gate array
Joint Test Action Group
Mentor Graphics
Application-specific integrated circuit
Electronic engineering
Electronic design automation
Digital electronics

HES-DVM™ HW/SW Validation Platform Hybrid Verification Platform HES-DVMTM is a Hybrid Verification and Validation Platform for Hardware and Software developers of SoC and ASIC designs up to 144M ASIC gates. Utilizing

Add to Reading List

Source URL: www.aldec.com

Download Document from Source Website

File Size: 454,41 KB

Share Document on Facebook

Similar Documents

TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1

TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1

DocID: 1ruad - View Document

David Ljung Madison Stellar Programming, Algorithm Design, VLSI / CPU Verification Accomplishing the impossible, on a deadline Career Summary Accomplished problem solver who can create new solutions

David Ljung Madison Stellar Programming, Algorithm Design, VLSI / CPU Verification Accomplishing the impossible, on a deadline Career Summary Accomplished problem solver who can create new solutions

DocID: 1qHCJ - View Document

Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI

Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI

DocID: 1qtwd - View Document

PyHVL 0.3  PyHVL A verification tool  developed by

PyHVL 0.3 PyHVL A verification tool developed by

DocID: 1qbED - View Document

Verifying Cross-Cutting Features as Open Systems Harry Li† Shriram Krishnamurthi  Kathi Fisler

Verifying Cross-Cutting Features as Open Systems Harry Li† Shriram Krishnamurthi Kathi Fisler

DocID: 1q648 - View Document