Skip to Content

Hot Tools - recently most viewed

Make your R&D results visiable!

Contritibute your tool-characteristics here!

Tool Name Author(s) Last updated
SoC Architecture Explorer 10/26/2012 - 16:43
FoREnSiC: An Automatic Debugging Environment for C Programs
Georg Hofferek (Graz University of Technology)
Robert Könighofer (Graz University of Technology)
Jaan Raik (Tallinn University of Technology)
Alexander Finder (University of Bremen)
Görschwin Fey (University of Bremen)
Urmas Repinski (Tallinn University of Technology)
Rolf Drechsler (University of Bremen)
André Sülflow (University of Bremen)
Roderick Bloem (Graz University of Technology)

- -, -, DE
07/04/2012 - 16:19
Fast Distributed Property Checking 10/02/2012 - 18:24
OneSpin 360 Equivalence Checker 04/18/2013 - 14:29
ID.Fix - Infrastructure for the design of fixed-point systems
Daniel MENARD (IRISA - INRIA)
Quentin Meunier (INRIA)
Olivier Sentieys (IRISA - INRIA)

- -, -, FR
07/04/2012 - 15:09
Statistical Thermal Evaluation and Yield Improvement Considering Process Variation for 3D Chip-Multiprocessors
Da-Cheng Juan (Carnegie Mellon University)
Diana Marculescu (Dept. of Electrical and Computer Engineering, Carnegie Mellon University)
Siddharth Garg (Dept. of Electrical and Computer Engineering, University of Waterloo)

- -, -, US
07/04/2012 - 15:11
TLM Synthesis Studio 04/22/2013 - 15:24
General Purpose VLIW Processor for Multiband-Multistandard applications 11/30/2012 - 13:39
CAIRO+ 03/30/2020 - 19:53
A Hardwired H.264/AVC Main Profile Video Decoder Prototype 10/26/2012 - 16:43