Formal Verification of Design Properties of Hardware Architectures |
10/26/2012 - 16:43 |
DECIDER: Test and Verification at the Register-Transfer Level |
10/26/2012 - 16:43 |
Design Cost Controlling |
10/26/2012 - 16:43 |
BESST tool kit |
10/26/2012 - 16:43 |
Bist for RAm IN Seconds |
10/26/2012 - 16:43 |
BESST tool kit: CONFRES |
10/26/2012 - 16:43 |
Constraint-Engineering-System |
10/26/2012 - 16:43 |
Coplan for ADS |
10/26/2012 - 16:43 |
Advances in Symbolic Performance Analysis |
10/26/2012 - 16:43 |
A broadband FFT-Spectrometer at work |
10/26/2012 - 16:43 |
CRISP - A dynamically reconfigurable many-core platform for streaming applications. |
10/11/2012 - 06:15 |
CλaSH - Functional Hardware Design in CλaSH |
10/11/2012 - 06:12 |
Fast Distributed Property Checking |
10/02/2012 - 18:24 |
Analog Circuits: Explorative Synthesis of Topologies |
10/02/2012 - 17:34 |
CoMPSoC: Virtual Platforms for Energy Efficient Execution of Mixed Time-Criticality Applications |
10/02/2012 - 11:38 |
FlexFilm: Real-time digital film processing with a FPGA-based reconfigurable platform |
10/02/2012 - 01:00 |
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 |
WCDMA DPD ADC: Optimizing and validating high level design parameters of ADC for digital predistortion in base stations |
10/01/2012 - 19:36 |
Evolvable Hardware FPGA-based platform for Autonomous Fault-tolerant Systems |
07/04/2012 - 16:43 |
ASTEROID: an analyzable, resilient real-time operating system design |
07/04/2012 - 16:42 |
SmartCoDe: Smart Energy Management in Buildings and Environements |
07/04/2012 - 16:39 |
MULTICON: Multiplierless Design of Low-Complexity and High-Speed DSP Systems |
07/04/2012 - 16:36 |
neurocomm: Highly Integrated Packet-Based Communication in a Neuromorphic Wafer System |
07/04/2012 - 16:28 |
TASERS: Time and Space Separated Embedded Real-time System with Shared SDRAM |
07/04/2012 - 16:24 |
RIVER: Reconfigurable Pre-Synthesized-Streaming Architecture for Signal Processing on FPGAs |
07/04/2012 - 16:22 |
HiFSimReD: Transaction Level Fault Simulation, Recovery, and Mapping |
07/04/2012 - 16:20 |
FoREnSiC: An Automatic Debugging Environment for C Programs |
07/04/2012 - 16:19 |
C++TESK: Testing ToolKit |
07/04/2012 - 16:16 |
LambdaChartExplorer: System Level EDA via Lambda Chart Exploration |
07/04/2012 - 16:09 |
SuPREME: Smart and Self-powered Wireless Energy Metering |
07/04/2012 - 16:05 |
HPM: an interactive web service for high-performance macromodeling of passive interconnects in system-level verification flows |
07/04/2012 - 16:00 |
BAMBU: An Open Source Framework for High Level Synthesis of Complex Applications |
07/04/2012 - 15:59 |
Automotive Ethernet Optimization: Design Space Exploration for modern Automotive Ethernet-based E/E Architectures |
07/04/2012 - 15:57 |
Prototypical Framework for Safe and Efficient Systems-on-Chip Design |
07/04/2012 - 15:54 |
GSNOC - A Generic Scalable Simulation Framework for 3-Dimension Networks-on-Chip |
07/04/2012 - 15:53 |
SYNTHORUS - Fast Prototyping from Assertions |
07/04/2012 - 15:52 |
MECS + DesParO - Hierarchical Simulation and Robust Design Aspects |
07/04/2012 - 15:47 |
ASTERICS - A platform for the simulation of radiation effects on processors by fault injection |
07/04/2012 - 15:37 |
EduCAD - an Efficient, Flexible and Easily Revisable Physical Design Tool for Educational Purposes |
07/04/2012 - 15:36 |
AUTOPILOT - Integrated System for Automatic Personal Identification and Indoor Localization and Tracking |
07/04/2012 - 15:32 |
eClock - All-Digital PLL Compiler for On-Chip High-Speed Clock Generation |
07/04/2012 - 15:20 |
WSN Energy Harvesting - Monitoring and Control of a Dynamically Reconfigurable Wireless Sensor Node Powered by Hybrid Energy Harvesting |
07/04/2012 - 15:19 |
Magnetic PDK - Magnetic Process Design Kit for Hybrid CMOS / Magnetic process |
07/04/2012 - 15:14 |
Hierarchical Test Application and Evaluation |
07/04/2012 - 15:12 |
Statistical Thermal Evaluation and Yield Improvement Considering Process Variation for 3D Chip-Multiprocessors |
07/04/2012 - 15:11 |
VintAge - A simulation framework for the assessment of NBTI-induced aging effects in SoC designs |
07/04/2012 - 15:10 |
ID.Fix - Infrastructure for the design of fixed-point systems |
07/04/2012 - 15:09 |
CAERT - Compiler Assisted Energy Reduction Techniques for Embedded Processors |
07/04/2012 - 15:08 |
PowerMixer-IP - Power Analysis Framwork for SoC Designs |
07/04/2012 - 15:05 |
ATLAS - A Framework for NoC Generation and Evaluation |
07/04/2012 - 15:05 |