Browsing by Author Orenes-Vera, Marcelo
Showing results 1 to 3 of 3
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Dec-2021 | AutoSVA: Democratizing Formal Verification of RTL Module Interactions | Orenes-Vera, Marcelo; Manocha, Aninda; Wentzlaff, David; Martonosi, Margaret |
| 2020 | MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems | Matthews, Opeoluwa; Manocha, Aninda; Giri, Davide; Orenes-Vera, Marcelo; Tureci, Esin; et al |
| 2020 | A simulator and compiler framework for agile hardware-software co-design evaluation and exploration | Sorensen, Tyler; Manocha, Aninda; Tureci, Esin; Orenes-Vera, Marcelo; Aragon, Juan L; et al |