research
∙
09/09/2023
MemSPICE: Automated Simulation and Energy Estimation Framework for MAGIC-Based Logic-in-Memory
Existing logic-in-memory (LiM) research is limited to generating mapping...
share
research
∙
09/26/2022
Lower Bound Proof for the Size of BDDs representing a Shifted Addition
Decision Diagrams(DDs) are one of the most popular representations for b...
research
∙
02/16/2022
Simulation-based Verification of SystemC-based VPs at the ESL
SystemC-based Virtual Prototypes (VPs) at the Electronic System Level (E...
research
∙
04/16/2021
ALF – A Fitness-Based Artificial Life Form for Evolving Large-Scale Neural Networks
Machine Learning (ML) is becoming increasingly important in daily life. ...
research
∙
04/07/2021
Polynomial Circuit Verification using BDDs
Verification is one of the central tasks during circuit design. While mo...
research
∙
02/02/2021
Pick the Right Edge Device: Towards Power and Performance Estimation of CUDA-based CNNs on GPGPUs
The emergence of Machine Learning (ML) as a powerful technique has been ...
research
∙
09/07/2020