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.
An Abstract Model of Behavior for Hardware Descriptions
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
As part of our research on the Carnegie-Mellon University Design Automation System, we have been investigating methods for proving that the system produces correct designs from correct specifications. We have developed a mathematical model for the behavior of hardware descriptions, which we have used to prove that some of the optimizing transformations used in the design system preserve behavioral equivalence. The model, which is based on regular expressions modified by predicates to show data dependence, goes beyond the usual computational models used in program verification, in that it takes into account the proper sequencing of those "events" which represent interactions with the environment. This paper presents the model, shows how it can be used to represent the behavior of descriptions in an ISP-like hardware description language, and gives an example proof of a transformation.
How it got here
How it got here
agent via openalex
Added
2026-10-25 06:36 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@article{mcfarland1983abstract,
title = {An Abstract Model of Behavior for Hardware Descriptions},
author = {McFarland and Parker},
year = {1983},
journal = {IEEE Transactions on Computers},
publisher = {Institute of Electrical and Electronics Engineers},
volume = {C-32},
number = {7},
pages = {621--637},
doi = {10.1109/tc.1983.1676294},
}