Search
Hot Tools - recently most viewed
Make your R&D results visiable!
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 |