1999 |
9 | EE | 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) |
1998 |
8 | EE | Christian Blumenröhr,
Dirk Eisenbiegler:
Performing High-Level Synthesis via Program Transformations within a Theorem Prover.
EUROMICRO 1998: 10034-10037 |
1997 |
7 | EE | Dirk Eisenbiegler,
Ramayya Kumar,
Christian Blumenröhr:
A constructive approach towards correctness of synthesis-application within retiming.
ED&TC 1997: 427-431 |
6 | EE | 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 |