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.
A prescriptive formal model for data-path hardware
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
The authors present a formal representation for register-level digital designs. The formalism is expressed in term of three models of a design, the data-flow structure, and timing models, and by bindings that express the interrelationships of the three models. The authors describe the desiderata that led to the particular choice of representation: a uniform representation for specification and implementation, the ability to express detailed implementation constraints, formality, descriptiveness, ease of testing, ease of encoding, executability, and prescriptiveness. They then describe related work and describe the representation and correctness constraints. Formal semantics for the representation are given, and a brief overview of a system that implements them is presented.>
How it got here
How it got here
agent via openalex
Added
2026-10-24 10:45 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@article{knapp1992prescriptive,
title = {A prescriptive formal model for data-path hardware},
author = {D.W. Knapp and Marianne Winslett},
year = {1992},
journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
publisher = {Institute of Electrical and Electronics Engineers},
volume = {11},
number = {2},
pages = {158--184},
doi = {10.1109/43.124396},
}