NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 8
  • 5
  • 2
  • Tagged with
  • 15
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 10 of 15 (0.043 seconds)

Spelling suggestions: "subject:"logiksynthese"" "subject:"aktinsynthese""

1

High-Level-Synthese aus flachen Kontroll-/Datenflussgraphen

Gremzow, Carsten. January 2004 (has links) (PDF)
Berlin, Techn. Univ., Diss., 2004. / Computerdatei im Fernzugriff.
Logiksynthese
2

Mehrstufige Logiksynthese unter Ausnutzung funktionaler Eigenschaften

Scholl, Christoph. January 1900 (has links) (PDF)
Saarbrücken, Univ., Diss., 1997. / Erscheinungsjahr an der Haupttitelstelle: 1996. Computerdatei im Fernzugriff.
Logiksynthese
3

Möglichkeiten und Methoden der Schaltungssynthese

Blinzer, Peter. January 2000 (has links) (PDF)
Braunschweig, Techn. Universiẗat, Diss., 2000.
Logiksynthese
4

A signature-based approach to formal logic verification

Mohnke, Janett. January 1999 (has links) (PDF)
Halle, University, Diss., 1999.
Logiksynthese
5

Binäre Expression-Diagramme

Hett, Andreas. Unknown Date (has links) (PDF)
Universiẗat, Diss., 2002--Freiburg (Breisgau).
6

Mehrstufige Logiksynthese unter Ausnutzung funktionaler Eigenschaften

Scholl, Christoph. Unknown Date (has links) (PDF)
Universiẗat, Diss., 1997--Saarbrücken. / Erscheinungsjahr an der Haupttitelstelle: 1996.
7

Eine formale algorithmische Synthese digitaler Schaltungen

Kapp, Kai. January 2005 (has links) (PDF)
Universiẗat, Diss., 2005 u.d.T.: Knapp, Kai: Eine automatisierte optimierende formale Synthese steuerflussbehafteter Schaltungsbeschreibungen--Karlsruhe.
8

Integration von Testbarkeitsaspekten in die High-Level Synthese /

Nagel, Christof. January 1995 (has links)
Universiẗat-Gesamthochsch., Diss.--Paderborn, 1995.
9

System-level modeling and design with the SpecC language

Dömer, Rainer. Unknown Date (has links)
University, Diss., 2000--Dortmund. / Dateiformat: PDF.
10

Effizienter Entwurfsfluss durch neue Verfahren der Logiksynthese und Technologieabbildung von VHDL-Hardwarebeschreibungen

Gutsche, Jan Friedrich. Unknown Date (has links) (PDF)
Techn. Universiẗat, Diss., 2005--Berlin.

Page generated in 0.0482 seconds