 | 1999 |
|---|
| 10 |       | Christian Blumenröhr,
Dirk Eisenbiegler,
Detlef Schmid:
On the efficiency of formal synthesis-experimental results.
IEEE Trans. on CAD of Integrated Circuits and Systems 18(1): 25-32 (1999) |
| 9 | | Dirk Eisenbiegler:
Ein Kalkül für die Formale Schaltungssynthese.
Karlsruhe Institute of Technology 1999 |
| 1998 |
|---|
| 8 | | Christian Blumenröhr,
Dirk Eisenbiegler:
Performing High-Level Synthesis via Program Transformations within a Theorem Prover.
EUROMICRO 1998: 10034-10037 |
| 1997 |
|---|
| 7 | | Dirk Eisenbiegler,
Ramayya Kumar,
Christian Blumenröhr:
A constructive approach towards correctness of synthesis-application within retiming.
ED&TC 1997: 427-431 |
| 6 | | Christian Blumenröhr,
Dirk Eisenbiegler:
An Efficient Representation for Formal Synthesis.
ISSS 1997: 9-15 |
| 1996 |
|---|
| 5 | | Ramayya Kumar,
Christian Blumenröhr,
Dirk Eisenbiegler,
Detlef Schmid:
Formal Synthesis in Circuit Design - A Classification and Survey.
FMCAD 1996: 294-309 |
| 4 | | Dirk Eisenbiegler,
Christian Blumenröhr,
Ramayya Kumar:
Implementation Issues About the Embedding of Existing High Level Synthesis Algorithms in HOL.
TPHOLs 1996: 157-172 |
| 1995 |
|---|
| 3 | | Dirk Eisenbiegler,
Ramayya Kumar:
Formally embedding existing high level synthesis algorithms.
CHARME 1995: 71-83 |
| 2 | | Dirk Eisenbiegler,
Ramayya Kumar:
An Automata Theory Dedicated towards Formal Circuit Synthesis.
TPHOLs 1995: 154-169 |
| 1993 |
|---|
| 1 | | Dirk Eisenbiegler,
Klaus Schneider,
Ramayya Kumar:
A Functional Approach for Formalizing Regular Hardware Structures.
HUG 1993: 101-114 |
Data released under the ODC-BY 1.0 license — See also our legal information page