English
Home
Suchen
Browsen
Einreichen
Sitemap
Schließen
Filtern
Volltext vorhanden
nein
(15)
Autor*in
Kunz, Wolfgang (15)
(entfernen)
Erscheinungsjahr
1999
(1)
1997
(4)
1996
(4)
1995
(2)
1994
(4)
Dokumenttyp
Wissenschaftlicher Artikel
(13)
Monographie/Sammelband
(1)
Dissertation
(1)
Sprache
Englisch
(13)
Deutsch
(2)
Gehört zur Bibliographie
ja
(15)
Institut
Institut für Informatik und Computational Science (15)
(entfernen)
15
Treffer
1
bis
10
Export
BibTeX
CSV
RIS
XML
10
10
20
50
100
Sortieren nach
Jahr
Jahr
Titel
Titel
Autor*in
Autor*in
Testing techniques in logic synthesis
(1996)
Kunz, Wolfgang
Structural FSM traversal : theory and a practical algorithm
(1997)
Stoffel, Dominik
;
Kunz, Wolfgang
Recursive learning : a new implication technique for efficient solutions to CAD problems : test, verification and optimization
(1994)
Kunz, Wolfgang
;
Pradhan, D. K.
Record & play : a structural fixed point iteration for sequential circuit verification
(1997)
Stoffel, Dominik
;
Kunz, Wolfgang
Novel verification framework combining structural and OBDD methods in a synthesis environment
(1995)
Reddy, S. M.
;
Kunz, Wolfgang
;
Pradhan, D. K.
Multi-level logic optimization by implication analysis
(1994)
Kunz, Wolfgang
;
Menon, P.
Logic optimization and equivalence checking by implication analysis
(1997)
Kunz, Wolfgang
;
Stoffel, Dominik
;
Menon, P.
Logic equivalence checking by optimization techniues
(1996)
Stoffel, Dominik
;
Kunz, Wolfgang
Implication-based gate-level synthesis for low-power
(1996)
Pradhan, D. K.
;
Chatterjee, M.
;
Swarna, M.
;
Kunz, Wolfgang
Ein neuer Ansatz für die Optimierung mehrstufiger loischer Schaltungen
(1994)
Kunz, Wolfgang
1
bis
10
Verstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.