Symbolic Simulation for Correct Machine Design
The work
| Authors | W. C. Carter; William H. Joyner; Daniël Brand |
|---|---|
| Editors | |
| Type | misc |
| Year | 1979 |
| Citekey | carter1979symbolic |
Where it appeared
| Published in | Proceedings - ACM IEEE Design Automation Conference |
|---|---|
| Publisher | Association for Computing Machinery |
| Volume | xix |
| Pages | 280--286 |
Identifiers
| DOI | 10.1109/dac.1979.1600119 |
|---|---|
| OpenAlex | W4213390741 |
Access
| Landing page | https://doi.org/10.1109/dac.1979.1600119 |
|---|
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
Program verification techniques which manipulate symbolic rather than actual values have been used successfully to find errors in implementations of computer designs. This paper describes symbolic simulation, a method similar to symbolic execution of programs, and its use in proving the correctness of machine architectures implemented in microcode. The procedure requires formal descriptions of machines at both the architectural and register transfer levels, but has been used to detect errors in implementation which often elude the standard test case approach.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-25 05:16 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{carter1979symbolic,
title = {Symbolic Simulation for Correct Machine Design},
author = {W. C. Carter and William H. Joyner and Daniël Brand},
year = {1979},
journal = {Proceedings - ACM IEEE Design Automation Conference},
publisher = {Association for Computing Machinery},
volume = {xix},
pages = {280--286},
doi = {10.1109/dac.1979.1600119},
}
This record lives at https://refs.drheap.org/carter1979symbolic/ and will keep doing so.