Formal Synthesis in Circuit Design - A Classification and Survey (1996)
Cached
Download Links
- [goethe.ira.uka.de]
- [www.ubka.uni-karlsruhe.de]
- DBLP
Other Repositories/Bibliography
| Citations: | 11 - 2 self |
BibTeX
@MISC{Kumar96formalsynthesis,
author = {Ramayya Kumar and Christian Blumenröhr and Dirk Eisenbiegler and Detlef Schmid},
title = {Formal Synthesis in Circuit Design - A Classification and Survey},
year = {1996}
}
Years of Citing Articles
OpenURL
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. 1 Introduction In everyday use, synthesis means putting together of parts or elements so as to make up a complex whole. However in the circuit design domain, synthesis stands for a stepwise refinement of circuit descriptions from higher levels of abstraction (specifications) to lower ones (implementations), including optimizations within one abstraction level. Synthesis can be performed by hand for small circuits. Nowadays mor...







