pith. sign in

Title resolution pending

Clément Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind, Adam Chlipala · 2021 · arXiv 5814.344672

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
read on arXiv browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

cs.PL 1

years

2026 1

verdicts

UNVERDICTED 1

clear filters

representative citing papers

Specifying Hardware Communication as Programs

cs.PL · 2026-06-11 · unverdicted · novelty 4.0

A DSL lets hardware protocols be specified as imperative programs usable for both driving designs and monitoring transactions, with a tool to infer transaction traces from waveforms.

citing papers explorer

Showing 1 of 1 citing paper after filters.

  • Specifying Hardware Communication as Programs cs.PL · 2026-06-11 · unverdicted · none · ref 36

    A DSL lets hardware protocols be specified as imperative programs usable for both driving designs and monitoring transactions, with a tool to infer transaction traces from waveforms.