Orenes-Vera, Marcelo

1. AutoSVA: Democratizing Formal Verification of RTL Module Interactions
   2021/04/08 by Orenes-Vera, Marcelo, Manocha, Aninda, Wentzlaff, David +1 · 4 citations
   #FOS: Computer and information sciences #Hardware Architecture (cs.AR)
2. Using LLMs to Facilitate Formal Verification of RTL
   2023/09/18 by Marcelo Orenes-Vera, Orenes-Vera, Marcelo, Margaret Martonosi +3 · 5 citations
   Computer Science · Engineering · #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Model-Driven Software Engineering Techniques
3. Muchisim: A Simulation Framework for Design Exploration of Multi-Chip Manycore Systems
   2023/12/15 by Marcelo Orenes-Vera, Esin Türeci, Orenes-Vera, Marcelo +5 · 3 citations
   Computer Science · #Distributed #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Interconnection Networks and Systems #Parallel #Parallel Computing and Optimization Techniques #and Cluster Computing (cs.DC)
4. DCRA: A Distributed Chiplet-based Reconfigurable Architecture for Irregular Applications
   2023/11/26 by Marcelo Orenes-Vera, Esin Türeci, Orenes-Vera, Marcelo +5 · 2 citations
   Computer Science · Engineering · #Interconnection Networks and Systems #Advanced Memory and Neural Computing #Embedded Systems Design Techniques