Custom Dynamic Memory Allocation Tool |
03/30/2020 - 19:53 |
CRISP - A dynamically reconfigurable many-core platform for streaming applications. |
10/11/2012 - 06:15 |
CRAVE - CRAVE: An Advanced Constrained Random Verification Environment for SystemC |
07/02/2012 - 10:50 |
Coplan for ADS |
10/26/2012 - 16:43 |
Constraint-Engineering-System |
10/26/2012 - 16:43 |
Configuration Tool and FPGA-Prototype of a Hardware Packet Processing System |
04/22/2013 - 15:19 |
CoMPSoC: Virtual Platforms for Energy Efficient Execution of Mixed Time-Criticality Applications |
10/02/2012 - 11:38 |
COMPLEX_UML_MARTE: The COMPLEX Eclipse Framework for UML/MARTE Specification of Embedded Systems and Automatic Generation of Executable Models for Design Space Exploration |
10/01/2012 - 19:37 |
Co-simulation tools for Networked Embedded Systems |
10/26/2012 - 16:43 |
Chip Design Constraint Checker |
06/20/2012 - 10:18 |
CHAMELEON: A CHAracterization and ModELing EnvirONment |
03/30/2020 - 19:22 |
CandoGen – A Property-Based Model Generator |
03/30/2020 - 19:53 |
CAIRO+ |
03/30/2020 - 19:53 |
CAERT - Compiler Assisted Energy Reduction Techniques for Embedded Processors |
07/04/2012 - 15:08 |
CAD tools dedicated to the design and test of RFICs |
03/30/2020 - 19:53 |
C++TESK: Testing ToolKit |
07/04/2012 - 16:16 |
C++TESK Testing ToolKit |
12/27/2012 - 10:46 |
Bounded Property Checking with SymC |
03/30/2020 - 19:22 |
Bounded Model Checker Using Property Based Automated Abstractions |
10/26/2012 - 16:43 |
Bist for RAm IN Seconds |
10/26/2012 - 16:43 |
Biological Information Sensing Systems |
06/20/2012 - 12:36 |
BESST tool kit: VERISYN |
10/26/2012 - 16:43 |
BESST tool kit: VERISAT |
10/26/2012 - 16:43 |
BESST tool kit: VERIMAP |
10/26/2012 - 16:43 |
BESST tool kit: PN2DC |
10/26/2012 - 16:43 |
BESST tool kit: OPTIMIST |
10/26/2012 - 16:43 |
BESST tool kit: CONFRES |
10/26/2012 - 16:43 |
BESST tool kit |
10/26/2012 - 16:43 |
BAMBU: An Open Source Framework for High Level Synthesis of Complex Applications |
07/04/2012 - 15:59 |
AUTOPILOT - Integrated System for Automatic Personal Identification and Indoor Localization and Tracking |
07/04/2012 - 15:32 |
Automotive Ethernet Optimization: Design Space Exploration for modern Automotive Ethernet-based E/E Architectures |
07/04/2012 - 15:57 |
Automatic Design Space Exploration for SystemC Models |
03/30/2020 - 19:23 |
Automated metal interconnect structure generation |
04/22/2013 - 15:25 |
ATLAS - A Framework for NoC Generation and Evaluation |
07/04/2012 - 15:05 |
Asynchronous Micropipeline Synthesis Flow |
04/22/2013 - 15:28 |
ASTEROID: an analyzable, resilient real-time operating system design |
07/04/2012 - 16:42 |
ASTERICS - A platform for the simulation of radiation effects on processors by fault injection |
07/04/2012 - 15:37 |
ASPV: application-specific vector co-processor for embedded DSP in FPGAs |
03/30/2020 - 19:21 |
Analoge Struktursynthese anhand eines Operationsverstärkers |
11/30/2012 - 15:27 |
Analog Performance Explorer |
09/09/2019 - 18:12 |
Analog Insydes |
03/30/2020 - 19:22 |
Analog Circuits: Explorative Synthesis of Topologies |
10/02/2012 - 17:34 |
An Integrated Environment for P1500 Compliance Checking |
03/30/2020 - 18:36 |
An ESL Workbench for early MPSoC Design Space Exploration |
04/18/2013 - 16:14 |
An ASIP Design Environment |
10/31/2012 - 13:22 |
An Academic High-Level Synthesis Tool for Control and Memory Intensive Applications |
10/26/2012 - 16:43 |
Advances in Symbolic Performance Analysis |
10/26/2012 - 16:43 |
ADHAM: Adaptive Heap Management on Many-Core Platforms |
03/30/2020 - 19:53 |
ADAGE: Adaptive ECC Automatic Generator |
07/02/2012 - 10:13 |
A verification environment for high-level designs based on system dependence graphs |
04/18/2013 - 11:35 |