Daniel Keller, Rohit Kumar · 2026 · arXiv
DOI: 10.48550/arXiv.2610.27356 · open-access PDF
Das Firmware-Diagnose-Logging (printf) ist ein wesentliches Debugging-Instrument bei der Vollchip-SoC-Design-Verifizierung, aber es legt eine schwere Steuer auf die zyklusgenaue RTL-Simulation: Das Formatieren einer 30-Zeichen-, 1-Argument-Nachricht auf einer simulierten CPU und die Serialisierung durch eine MMIO-Aperture kostet 3.04 bis 15.23 $μ$s pro Anruf (15.27 $μ$s ungewogene / 15.08 $μ$s druckgewogene kritische-Pfad-Mittel auf Suite A). Im Gegensatz zu eingebetteten Tokenizern, die Flash-Fußabdruck und Draht-Bytes mit Offline-Dekodierung zielen, wird die RTL-Simulation von einer Z
Machine translation (Meta M2M100); the English original follows.
Firmware diagnostic logging (printf) is an essential debug instrument in full-chip SoC design verification, yet it imposes a heavy tax on cycle-accurate RTL simulation: formatting a 30-character, 1-argument message on a simulated CPU and serializing it through an MMIO aperture costs 3.04 to 15.23 $μ$s per call (15.27 $μ$s unweighted / 15.08 $μ$s print-weighted critical-path mean on Suite A). Unlike embedded tokenizers that target flash footprint and wire bytes with offline decoding, RTL simulation is governed by a two-regime cost function---cross-fabric SoC paths are dominated by MMIO bus stal
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.27356, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange