Formal synthesis in circuit design — A classification and survey
The work
| Authors | Ramayya Kumar; Christian Blumenröhr; Dirk Eisenbiegler; Detlef Schmid |
|---|---|
| Editors | |
| Type | incollection |
| Year | 1996 |
| Citekey | kumar1996formal |
Where it appeared
| Published in | Formal Methods in Computer-Aided Design (FMCAD) |
|---|---|
| Publisher | Springer Berlin Heidelberg |
| Series | Lecture Notes in Computer Science |
| Number in series | 1166 |
| Pages | 294--309 |
Identifiers
| DOI | 10.1007/bfb0031817 |
|---|---|
| ISSN | 0302-9743 |
| ISBN | 978-3-540-61937-6 |
Access
| Landing page | https://doi.org/10.1007/bfb0031817 |
|---|
Abstract
This article gives a survey on different methods of formal synthesis. We define what we mean by the term formal synthesis and delimit it from the other formal methods that can also be used to guarantee the correctness of an implementation. A possible classification scheme for formal synthesis methods is then introduced, based on which some significant research activities are classified and summarized. We also briefly introduce our own approach towards the formal synthesis of hardware. Finally, we compare these approaches from different points of view.
A copy is held
pdf, 42.7 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-09-15 18:16 UTC |
| Approved by | a person 2026-09-15 18:37 UTC |
Filed under
Cite it as
@incollection{kumar1996formal,
title = {Formal synthesis in circuit design — A classification and survey},
author = {Ramayya Kumar and Christian Blumenröhr and Dirk Eisenbiegler and Detlef Schmid},
year = {1996},
booktitle = {Formal Methods in Computer-Aided Design (FMCAD)},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
pages = {294--309},
isbn = {978-3-540-61937-6},
issn = {0302-9743},
doi = {10.1007/bfb0031817},
}
This record lives at https://refs.drheap.org/kumar1996formal/ and will keep doing so.