2 papers
cs.DC2022
Memory-Disaggregated In-Memory Object Store Framework for Big Data Applications
Robin Abrahamse, Akos Hadnagy, Zaid Al-Ars
The concept of memory disaggregation has recently been gaining traction in research. With memory disaggregation, data center compute nodes can directly access memory on adjacent no…
cs.AR2018
Formally Verifying WARP-V, an Open-Source TL-Verilog RISC-V Core Generator
Steven Hoover, Ákos Hadnagy
Timing-abstract and transaction-level design using TL-Verilog have shown significant productivity gains for logic design. In this work, we explored the natural extension of transac…