Giuseppe Zaza

Publication Activity (10 Years)

Years Active: 1991-1995
Publications (10 Years): 0

Publications

Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Roger B. Hughes, Gerry Musgrave, Giuseppe Zaza
Design-Flow and Synthesis for ASICs: A Case Study. DAC (1995)
G. Bezzi, Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Giuseppe Zaza
Quantitative Evaluation of Formal Based Synthesis in ASIC Design. TPCD (1994)
Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Fabrizio Ferrandi, Donatella Sciuto, Giuseppe Zaza
ALADIN: a multilevel testability analyzer for VLSI system design. IEEE Trans. Very Large Scale Integr. Syst. 2 (2) (1994)
Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Fabrizio Ferrandi, Donatella Sciuto, Giuseppe Zaza
An Expert Solution to Functional Testability Analysis of VLSI Circuits. SEKE (1993)
Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Fabrizio Ferrandi, Donatella Sciuto, Giuseppe Zaza
Reduction of Fault Detection Costs through Testable Design of Sequential Architectures with Signal Feedbacks. DFT (1993)
Cristiana Bolchini, Massimo Bombana, Patrizia Cavalloro, Claudio Costi, Franco Fummi, Giuseppe Zaza
A design methodology for the correct specification of VLSI systems. Microprocess. Microprogramming 38 (1-5) (1993)
Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Donatella Sciuto, Giuseppe Zaza
A multi level testability assistant for VLSI design. EURO-DAC (1992)
Massimo Bombana, Patrizia Cavalloro, Giuseppe Zaza
Specification and Formal Synthesis of Digital Circuits. TPHOLs (1992)
M. Hadjinicolaeu, N. Burgess, Donatella Sciuto, G. Buananno, Patrizia Cavalloro, Giuseppe Zaza
The Patricia testability analysis tool. Microprocessing and Microprogramming 32 (1-5) (1991)