Image de couverture de livre

Autoformalizing Memory Specifications with Agents

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ernst, Jan Ole, Saberi, Dmitri Michelangelo, Christ, Derek, Zimmermann, Thomas, Salegame, Rajath, Bhat, Suhaas M., Levental, Stanislav, Ahle, Thomas Dybdahl, Jung, Matthias
Format:	Preprint
Publié:	2026
Sujets:	Hardware Architecture Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
par: Christ, Derek, et autres
Publié: (2026)

Architecture, Simulation and Software Stack to Support Post-CMOS Accelerators: The ARCHYTAS Project
par: Agosta, Giovanni, et autres
Publié: (2025)

Investigating Energy Bounds of Analog Compute-in-Memory with Local Normalization
par: Rojkov, Brian, et autres
Publié: (2026)

HyperCroc: End-to-End Open-Source RISC-V MCU with a Plug-In Interface for Domain-Specific Accelerators
par: Sauter, Philippe, et autres
Publié: (2026)

A Direct Memory Access Controller (DMAC) for Irregular Data Transfers on RISC-V Linux Systems
par: Benz, Thomas, et autres
Publié: (2025)

Spec2RTL-Agent: Automated Hardware Code Generation from Complex Specifications Using LLM Agent Systems
par: Yu, Zhongzhi, et autres
Publié: (2025)

From Block to Byte: Transforming PCIe SSDs with CXL Memory Protocol and Instruction Annotation
par: Kwon, Miryeong, et autres
Publié: (2025)

RoMe: Row Granularity Access Memory System for Large Language Models
par: Nam, Hwayong, et autres
Publié: (2025)

In-Pipeline Integration of Digital In-Memory-Computing into RISC-V Vector Architecture to Accelerate Deep Learning
par: Spagnolo, Tommaso, et autres
Publié: (2026)

A Memory-Efficient Retrieval Architecture for RAG-Enabled Wearable Medical LLMs-Agents
par: Liao, Zhipeng, et autres
Publié: (2025)

FPIA: Field-Programmable Ising Arrays with In-Memory Computing
par: Hutchinson, George Higgins, et autres
Publié: (2024)

A Dynamic Allocation Scheme for Adaptive Shared-Memory Mapping on Kilo-core RV Clusters for Attention-Based Model Deployment
par: Wang, Bowen, et autres
Publié: (2025)

CXL-GPU: Pushing GPU Memory Boundaries with the Integration of CXL Technologies
par: Gouk, Donghyun, et autres
Publié: (2025)

Performance Characterizations and Usage Guidelines of Samsung CXL Memory Module Hybrid Prototype
par: Zeng, Jianping, et autres
Publié: (2025)

Development of an Energy-Efficient and Real-Time Data Movement Strategy for Next-Generation Heterogeneous Mixed-Criticality Systems
par: Benz, Thomas
Publié: (2026)

Cosmos: A CXL-Based Full In-Memory System for Approximate Nearest Neighbor Search
par: Ko, Seoyoung, et autres
Publié: (2025)

The Case for Replication-Aware Memory-Error Protection in Disaggregated Memory
par: Volos, Haris
Publié: (2023)

In-Memory ADC-Based Nonlinear Activation Quantization for Efficient In-Memory Computing
par: Dong, Shuai, et autres
Publié: (2026)

Asynchronous Memory Access Unit: Exploiting Massive Parallelism for Far Memory Access
par: Wang, Luming, et autres
Publié: (2024)

Reimagining Memory Access for LLM Inference: Compression-Aware Memory Controller Design
par: Xie, Rui, et autres
Publié: (2025)

In-Storage Domain-Specific Acceleration for Serverless Computing
par: Mahapatra, Rohan, et autres
Publié: (2023)

The Future of Memory: Limits and Opportunities
par: Dayo, Samuel, et autres
Publié: (2025)

Heterogeneous SoC Integrating an Open-Source Recurrent SNN Accelerator for Neuromorphic Edge Computing on FPGA
par: Barocci, Michelangelo, et autres
Publié: (2026)

CINM (Cinnamon): A Compilation Infrastructure for Heterogeneous Compute In-Memory and Compute Near-Memory Paradigms
par: Khan, Asif Ali, et autres
Publié: (2022)

PUMA: Efficient and Low-Cost Memory Allocation and Alignment Support for Processing-Using-Memory Architectures
par: Oliveira, Geraldo F., et autres
Publié: (2024)

PIM-malloc: A Fast and Scalable Dynamic Memory Allocator for Processing-In-Memory (PIM) Architectures
par: Lee, Dongjae, et autres
Publié: (2025)

Generalized Ping-Pong: Off-Chip Memory Bandwidth Centric Pipelining Strategy for Processing-In-Memory Accelerators
par: Wang, Ruibao, et autres
Publié: (2024)

Masala-CHAI: A Large-Scale SPICE Netlist Dataset for Analog Circuits by Harnessing AI
par: Bhandari, Jitendra, et autres
Publié: (2024)

ArchXBench: A Complex Digital Systems Benchmark Suite for LLM Driven RTL Synthesis
par: Purini, Suresh, et autres
Publié: (2025)

Different Perspectives of Memory System Simulation
par: Esmaili-Dokht, Pouya, et autres
Publié: (2026)

Banked Memories for Soft SIMT Processors
par: Langhammer, Martin, et autres
Publié: (2025)

Exploring DRAM Cache Prefetching for Pooled Memory
par: Tirumalasetty, Chandrahas, et autres
Publié: (2024)

QED: Scalable Verification of Hardware Memory Consistency
par: Ravi, Gokulan, et autres
Publié: (2024)

iMIV: in-Memory Integrity Verification for NVM
par: Jain, Rajat, et autres
Publié: (2024)

Bancroft: Genomics Acceleration Beyond On-Device Memory
par: Lim, Se-Min, et autres
Publié: (2025)

In-Memory Computing Architecture for Efficient Hardware Security
par: Ajmi, Hala, et autres
Publié: (2024)

A Review of Memory Wall for Neuromorphic Computing
par: Le, Dexter, et autres
Publié: (2025)

FPGA-based Hyrbid Memory Emulation System
par: Wen, Fei, et autres
Publié: (2020)

IMAGine: An In-Memory Accelerated GEMV Engine Overlay
par: Kabir, MD Arafat, et autres
Publié: (2024)

Efficient Page Migration in Hybrid Memory Systems
par: Upasna, et autres
Publié: (2026)