Search CORE

7 research outputs found

An efficient representation for formal synthesis

Author: Blumenroehr Christian
Eisenbiegler Dirk
Publication venue: IEEE Computer Society
Publication date: 01/01/1997
Field of study

Formal synthesis at the algorithmic level

Author: Blumenroehr Christian
Sabelfeld Viktor
Publication venue
Publication date: 02/08/2007
Field of study

Synthese von Verhaltensbeschreibungen in VHDL mittels logischer Transformationen

Author: Eisenbiegler Dirk
Kumar Ramayya
Publication venue: Shaker Verlag
Publication date: 01/01/1996
Field of study

A formal approach to specify and synthesize at the system level

Author: Blumenroehr Christian
Publication venue
Publication date: 02/08/2007
Field of study

Formal synthesis in circuit design — A classification and survey

Author: C.A.J. Eijk van
D. Druinsky
F.K. Hanna
G. Bezzi
G.C. Gopalakrishnan
H. Busch
H. Eveking
J.B. Saxe
M. C. McFarland
M. Larsson
M. Leeser
M.P. Fourman
S. Finn
S.D. Johnson
S.D. Johnson
T. Uehara
W. Grass
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Formal process for systolic array design using recurrences

Author: Puddicombe Jonathan
Publication venue: The University of Edinburgh
Publication date: 01/01/1992
Field of study

Edinburgh Research Archive

Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen

Author: Blumenroehr Christian
Publication venue: KIT-Bibliothek, Karlsruhe
Publication date: 01/01/2000
Field of study

core

core