Aninda Manocha
Aninda Manocha
Verified email at princeton.edu - Homepage
Title
Cited by
Cited by
Year
Bayesian Optimization for Efficient Accelerator Synthesis
A Mehrabi, A Manocha, BC Lee, DJ Sorin
ACM Transactions on Architecture and Code Optimization (TACO) 18 (1), 1-25, 2020
42020
Prospector: synthesizing efficient accelerators via statistical learning
A Mehrabi, A Manocha, BC Lee, DJ Sorin
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 151-156, 2020
22020
MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems
O Matthews, A Manocha, D Giri, M Orenes-Vera, E Tureci, T Sorensen, ...
2020 IEEE International Symposium on Performance Analysis of Systems and …, 2020
12020
AutoSVA: Democratizing Formal Verification of RTL Module Interactions
M Orenes-Vera, A Manocha, D Wentzlaff, M Martonosi
arXiv preprint arXiv:2104.04003, 2021
2021
A simulator and compiler framework for agile hardware-software co-design evaluation and exploration
T Sorensen, A Manocha, E Tureci, M Orenes-Vera, JL Aragón, ...
2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 1-9, 2020
2020
The MosaicSim Simulator (Full Technical Report)
O Matthews, A Manocha, D Giri, M Orenes-Vera, E Tureci, T Sorensen, ...
arXiv preprint arXiv:2004.07415, 2020
2020
Modeling and Verification of an Automatic Transmission System
A Manocha, F Mazurek
2018
The system can't perform the operation now. Try again later.
Articles 1–7