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 |
