Marcelo Orenes-Vera
Marcelo Orenes-Vera
PhD Candidate, Princeton University
Verified email at princeton.edu - Homepage
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–4