Aninda Manocha
Home
Projects
Publications
Talks
Awards
Experience
Popular Topics
Contact
Marcelo Orenes Vera
Latest
Tiny but Mighty: Designing and Realizing Scalable Latency Tolerance for Manycore SoCs
AutoSVA: Democratizing Formal Verification of RTL Module Interactions
[Invited Talk] A Simulator and Compiler Framework for Agile Hardware-Software Co-design Evaluation and Exploration
MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems
Cite
×