 | 1995 |
|---|
| 7 |       | Massimo Bombana,
Patrizia Cavalloro,
Salvatore Conigliaro,
Roger B. Hughes,
Gerry Musgrave,
Giuseppe Zaza:
Design-Flow and Synthesis for ASICs: A Case Study.
DAC 1995: 292-297 |
| 1994 |
|---|
| 6 |  | G. Bezzi,
Massimo Bombana,
Patrizia Cavalloro,
Salvatore Conigliaro,
Giuseppe Zaza:
Quantitative Evaluation of Formal Based Synthesis in ASIC Design.
TPCD 1994: 286-291 |
| 5 | | Massimo Bombana,
Giacomo Buonanno,
Patrizia Cavalloro,
Fabrizio Ferrandi,
Donatella Sciuto,
Giuseppe Zaza:
ALADIN: a multilevel testability analyzer for VLSI system design.
IEEE Trans. VLSI Syst. 2(2): 157-171 (1994) |
| 1993 |
|---|
| 4 | | 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: 223-230 |
| 3 | | Massimo Bombana,
Giacomo Buonanno,
Patrizia Cavalloro,
Fabrizio Ferrandi,
Donatella Sciuto,
Giuseppe Zaza:
An Expert Solution to Functional Testability Analysis of VLSI Circuits.
SEKE 1993: 263-265 |
| 2 | | Cristiana Bolchini,
Massimo Bombana,
Patrizia Cavalloro,
Claudio Costi,
Franco Fummi,
Giuseppe Zaza:
A design methodology for the correct specification of VLSI systems.
Microprocessing and Microprogramming 38(1-5): 563-570 (1993) |
| 1992 |
|---|
| 1 | | Massimo Bombana,
Patrizia Cavalloro,
Giuseppe Zaza:
Specification and Formal Synthesis of Digital Circuits.
TPHOLs 1992: 475-484 |
