Aninda Manocha | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Margaret Martonosi
17 publications
David Wentzlaff
10 publications
Luca P. Carloni
8 publications
Tyler Sorensen
6 publications
Marcelo Orenes-Vera
6 publications
Davide Giri
5 publications
Esin Tureci
4 publications
Tae Jun Ham
4 publications
Juan L. Aragón
3 publications
Opeoluwa Matthews
1 publication

research

∙ 04/08/2021

AutoSVA: Democratizing Formal Verification of RTL Module Interactions

Modern SoC design relies on the ability to separately verify IP blocks r...

0 Marcelo Orenes-Vera, et al. ∙

research

∙ 04/16/2020

The MosaicSim Simulator (Full Technical Report)

As Moore's Law has slowed and Dennard Scaling has ended, architects are ...

0 Opeoluwa Matthews, et al. ∙