ESL and SDA Directory

Copyright GABEonEDA 2009, 2010

GET RESEARCH VIEWPOINTS FROM: Gary Smith

Requests for additions or changes should be sent to Gabe Moretti

Based with permission on Gary Smith EDA, Inc's (C) 2010 Wallcharts.

Last update: July 9, 2010


System Design Automation

SDA Design and Simulation

Agnisys EDAptive IBM - Telelogic Ilogix
MathWorks Mentor Mirabilis MSC Software


Electronic System Level

Behavioral

Architect’s Workbench

CoFluent Concurrent EDA MathWorks Mentor
Synopsys

Network Simulation

Synopsys

Architectural Design - ESL Hardware

ESL Design and Entry

Actis Agilent EEsof Agnisys Aldec
Atrenta Bellum Cadence CoFluent
Duolog Easics Hyperformix InterDesign Technologies
MataiTech Mentor Mirabilis National Instruments
Poseidon Design Systems S2C Sankhaya Technologies Synopsys

ESL Synthesis

AutoESL Axilica BlueSpec Cadence
ChipVision Concurrent EDA Forte Design Systems Impulse Accelerated Technologies
MathWorks Mentor PolyCore Software Synopsys
SystemCrafter Xilinx Y Explorations

SOC Integration Platform

Duolog Technologies MataiTech

Silicon Virtual Prototype

Atrenta Cadence Duolog Technologies Entasys
Mentor

ESL Simulation

Aldec ARM BlueSpec Carbon Design Systems
MathWorks Mentor Mesquite Software

ESL Target Compiler

Agnisys Arteris Atrenta Cadence
Carbon Design Systems Duolog Technologies iNOCs Mentor
Mirabilis PDTi Semifore Silistix

Application Engine Compiler

Binachip Critical Blue Mirabilis Poseidon Design Systems
Synopsys Target Compiler Technologies Tensilica

ESL Power Analysis

Apache Design Solutions Atrenta ChipVision DOCEA Power
Entasys Mentor Mirabilis

Accelerator Library and Development Tools

Forte Design Systems

ESL RF Design

Agilent EEsof Ansoft/Ansys AWR

Architectural Design - ESL Software

Algorithm Development And Optimization

Critical Blue Grid Simulation Technology Sigmatix

Software Virtual Prototype

ARM ASTC Carbon Design Systems Imperas
Mentor
Synopsys

Model Development Tools

ARM BlueSpec Carbon Design Systems Embedded Systems Environment
Infiniscale Mentor Synopsys

Parallel Programming

Connective Logic Gedae http://software.intel.com/en-us/data-parallel/ /&c=ESL_and_SDA">Intel MathWorks
MBA Sciences PolyCore Software Sankhya Technologies Silicon Hive

ESL Compiler

CodePlay Mentor

Multicore Development Tools

3L, Ltd. Allinea Software American Arium Axiom Design Automation
B Labs Cavium Networks CodePlay Critical Blue
Enea Exludus Green Hills Software Lauterbach
Intellasys MathWorks Mentor National Instruments
Nohau Elektronik Plurality QNX Software Systems RapidMind
RoweBots Research Stream Processors Synopsys TotalView Tech
Wind River Systems (Intel)

ESL Verification

Intelligent Test Bench

Breker Verification Systems Cadence Mentor Springsoft
Zocalo Tech

ESL Formal Verification

Calypto Esterel Technologies Jasper MathWorks

ESL Test & Verification

Agnisys Avery Design Systems Cadence Duolog Technologies
JEDA Levetate Design Systems MataiTech Mentor
Semifore Source III Springsoft SynaptiCAD
TransEDA

ESL Co-Verification

Cadence Mentor Tarek Verification Systems

Transaction-Based Acceleration & Emulation

Cadence EVE Mentor