Work

Semantics Driven Hardware Design, Implementation, and Verification with ReWire

Year: 2015

Type: conference-paper

DOI: 10.1145/2670529.2754970

Authors: Adam Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein

Institutions: University of Missouri, United States Naval Research Laboratory

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2056961727

FWCI: 2.138

Cites: 32

Cited by: 21

Related to: 10