Daniel Keller, Rohit Kumar · 2026 · arXiv
DOI: 10.48550/arXiv.2610.27356 · open-access PDF
Logging diagnostik firmware (printf) adalah alat debug penting dalam verifikasi desain SoC full-chip, namun itu memberlakukan pajak berat pada simulasi RTL yang akurat: memformat pesan 30-karakter, 1-argument pada CPU simulasi dan serialisasi melalui aperture MMIO biaya 3.04 hingga 15.23 $μ$ per panggilan (15.27 $μ$ unweighted / 15.08 $μ$ print-weighted critical-path mean pada Suite A). Tidak seperti tokenizers tertanam yang menargetkan jejak flash dan bajet kawat dengan dekoding offline, simulasi RTL diatur oleh fungsi biaya dua-regimen --- jalur cross-fabric SoC didominasi oleh bus stable MMIO
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