( en | de | ru )

 

Disambiguierung von "Zaza, Giuseppe"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Specification and Formal Synthesis of Digital Circuits.

, , und . TPHOLs, Volume A-20 von IFIP Transactions, Seite 475-484. North-Holland/Elsevier, (1992)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Zaza Katsarava

Zaza Kassachvili

Giuseppe Olivato

Giuseppe Veltri

Giuseppe Amato

 

Weitere Publikationen von Autoren mit dem selben Namen

Reduction of Fault Detection Costs through Testable Design of Sequential Architectures with Signal Feedbacks., , , , , und . DFT, Seite 223-230. IEEE Computer Society, (1993)An Expert Solution to Functional Testability Analysis of VLSI Circuits., , , , , und . SEKE, Seite 263-265. Knowledge Systems Institute, (1993)A design methodology for the correct specification of VLSI systems., , , , , und . Microprocess. Microprogramming, 38 (1-5): 563-570 (1993)ALADIN: a multilevel testability analyzer for VLSI system design., , , , , und . IEEE Trans. Very Large Scale Integr. Syst., 2 (2): 157-171 (1994)Specification and Formal Synthesis of Digital Circuits., , und . TPHOLs, Volume A-20 von IFIP Transactions, Seite 475-484. North-Holland/Elsevier, (1992)A multi level testability assistant for VLSI design., , , , und . EURO-DAC, Seite 258-263. IEEE Computer Society Press, (1992)Design-Flow and Synthesis for ASICs: A Case Study., , , , , und . DAC, Seite 292-297. ACM Press, (1995)The Patricia testability analysis tool., , , , , und . Microprocessing and Microprogramming, 32 (1-5): 675-682 (1991)Quantitative Evaluation of Formal Based Synthesis in ASIC Design., , , , und . TPCD, Volume 901 von Lecture Notes in Computer Science, Seite 286-291. Springer, (1994)