dblp.uni-trier.dewww.uni-trier.de

Dirk Eisenbiegler

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Christian Blumenröhr [4] [5] [6] [7] [8] [9]
2Ramayya Kumar [1] [2] [3] [4] [5] [7]
3Detlef Schmid [5] [9]
4Klaus Schneider [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)