Patrizia Cavalloro

Publication Activity (10 Years)

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

Publications

Daniel Gajski, Eugenio Villar, Wolfgang Rosenstiel, Vassilios Gerousis, D. Barton, J. Plantin, S. E. Ericsson, Patrizia Cavalloro, Gjalt G. de Jong
C/C++: progress or deadlock in system-level specification. DATE (2001)
Alberto Allara, Massimo Bombana, Patrizia Cavalloro, Wolfgang Nebel, Wolfram Putzke-Röming, Martin Radetzki
ATM Cell Modelling using Objective VHDL. ASP-DAC (1998)
Massimo Bombana, Patrizia Cavalloro, Fabrizio Ferrandi
Property verification in the design of telecom applications. ASP-DAC (1997)
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)