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
Dynamic Virtual Analyzer and Simulator Madsen, Jan
Hasan Baig, DTU C...
03/30/2020 - 17:38
Bounded Model Checker Using Property Based Automated Abstractions 10/26/2012 - 15:43
ATLAS - A Framework for NoC Generation and Evaluation
Alexandre Amory (PUCRS)
Ney Calazans (PUCRS)
Fernando Moraes (PUCRS)

- -, -, DE
07/04/2012 - 14:05
An Academic High-Level Synthesis Tool for Control and Memory Intensive Applications 10/26/2012 - 15:43
OneSpin 360 Module Verifier 04/18/2013 - 13:30
Nostrum Network-on-Chip Simulation Environment 10/26/2012 - 15:43
BESST tool kit: OPTIMIST 10/26/2012 - 15:43
Advances in Symbolic Performance Analysis 10/26/2012 - 15:43
Analog Performance Explorer Daniel Mueller
Helmut Gräb, Tech...
09/09/2019 - 17:12
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 - 14:11