The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Semantics Driven Hardware Design, Implementation, and Verification with ReWire
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
There is no such thing as high assurance without high assurance hardware. High assurance hardware is essential, because any and all high assurance systems ultimately depend on hardware that conforms to, and does not undermine, critical system properties and invariants. And yet, high assurance hardware development is stymied by the conceptual gap between formal methods and hardware description languages used by engineers. This paper presents ReWire, a functional programming language providing a suitable foundation for formal verification of hardware designs, and a compiler for that language that translates high-level, semantics-driven designs directly into working hardware. ReWire's design and implementation are presented, along with a case study in the design of a secure multicore processor, demonstrating both ReWire's expressiveness as a programming language and its power as a framework for formal, high-level reasoning about hardware systems.
How it got here
How it got here
agent via openalex
Added
2026-10-25 21:02 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{procter2015semantics,
title = {Semantics Driven Hardware Design, Implementation, and Verification with ReWire},
author = {Adam M. Procter and William L. Harrison and Ian Graves and Michela Becchi and Gerard Allwein},
year = {2015},
pages = {1--10},
doi = {10.1145/2670529.2754970},
}