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