Patrizia Cavalloro

12 papers A* 1A 1C 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2001 A conf
C/C++: progress or deadlock in system-level specification.
DATE
Daniel Gajski, Eugenio Villar, Wolfgang Rosenstiel, Vassilios Gerousis, D. Barton, Jonas Plantin, S. E. Ericsson, Patrizia Cavalloro, Gjalt G. de Jong
1998 — conf
ATM Cell Modelling using Objective VHDL.
ASP-DAC
Alberto Allara, Massimo Bombana, Patrizia Cavalloro, Wolfgang Nebel, Wolfram Putzke-Röming, Martin Radetzki
1997 — conf
Property verification in the design of telecom applications.
ASP-DAC
Massimo Bombana, Patrizia Cavalloro, Fabrizio Ferrandi
1995 A* conf
Design-Flow and Synthesis for ASICs: A Case Study.
DAC
Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Roger B. Hughes, Gerry Musgrave, Giuseppe Zaza
1994 J jnl
ALADIN: a multilevel testability analyzer for VLSI system design.
IEEE Trans. Very Large Scale Integr. Syst.
Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Fabrizio Ferrandi, Donatella Sciuto, Giuseppe Zaza
1994 — conf
Quantitative Evaluation of Formal Based Synthesis in ASIC Design.
TPCD
G. Bezzi, Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Giuseppe Zaza
1993 J jnl
A design methodology for the correct specification of VLSI systems.
Microprocess. Microprogramming
Cristiana Bolchini, Massimo Bombana, Patrizia Cavalloro, Claudio Costi, Franco Fummi, Giuseppe Zaza
1993 C conf
An Expert Solution to Functional Testability Analysis of VLSI Circuits.
SEKE
Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Fabrizio Ferrandi, Donatella Sciuto, Giuseppe Zaza
1993 — conf
Reduction of Fault Detection Costs through Testable Design of Sequential Architectures with Signal Feedbacks.
DFT
Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Fabrizio Ferrandi, Donatella Sciuto, Giuseppe Zaza
1992 — conf
A multi level testability assistant for VLSI design.
EURO-DAC
Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Donatella Sciuto, Giuseppe Zaza
1992 — conf
Specification and Formal Synthesis of Digital Circuits.
TPHOLs
Massimo Bombana, Patrizia Cavalloro, Giuseppe Zaza
1991 J jnl
The Patricia testability analysis tool.
Microprocessing and Microprogramming
M. Hadjinicolaeu, N. Burgess, Donatella Sciuto, G. Buananno, Patrizia Cavalloro, Giuseppe Zaza