PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Eisenbiegler, Dirk"

Author of the publication

copydeleteadd this publication to your clipboard
A constructive approach towards correctness of synthesis-application within retiming.

, , and . ED&TC, page 427-431. IEEE Computer Society, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Prof. Dr. -Ing. Günter Eisenbiegler University of Stuttgart

Dirk Pfl\"uger

Univ. -Prof. Dr. Dirk Pflüger University of Stuttgart

Dr. -Ing. Dirk Schlabing University of Stuttgart

Dirk Srocke University of Stuttgart

 

Other publications of authors with the same name

A Functional Approach for Formalizing Regular Hardware Structures., , and . HUG, volume 780 of Lecture Notes in Computer Science, page 101-114. Springer, (1993)An Automata Theory Dedicated towards Formal Circuit Synthesis., and . TPHOLs, volume 971 of Lecture Notes in Computer Science, page 154-169. Springer, (1995)Deriving Structural RT-Implementations from Algorithmic Descriptions by means of Logical Transformations., and . MBMV, page 38-49. HNI-Verlagsschriften, (1998)A constructive approach towards correctness of synthesis-application within retiming., , and . ED&TC, page 427-431. IEEE Computer Society, (1997)Formally embedding existing high level synthesis algorithms., and . CHARME, volume 987 of Lecture Notes in Computer Science, page 71-83. Springer, (1995)Ein Kalkül für die Formale Schaltungssynthese.. Karlsruhe Institute of Technology, (1999)Implementation Issues About the Embedding of Existing High Level Synthesis Algorithms in HOL., , and . TPHOLs, volume 1125 of Lecture Notes in Computer Science, page 157-172. Springer, (1996)On the efficiency of formal synthesis-experimental results., , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 18 (1): 25-32 (1999)Performing High-Level Synthesis via Program Transformations within a Theorem Prover., and . EUROMICRO, page 10034-10037. IEEE Computer Society, (1998)An Object Oriented Approach Towards Simulating Physical Systems with Fluids and Rigid Bodies Based on the Physolator Simulation Framework., and . SIMULTECH (Selected Papers), volume 873 of Advances in Intelligent Systems and Computing, page 23-32. Springer, (2017)