Massimo Bombana

According to our database, Massimo Bombana authored at least 14 papers between 1992 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

A Design Methodology for the Exploitation of High Level Communication Synthesis.

Francesco Bruschi, Massimo Bombana

Proceedings of the 2004 Design, 2004

2003

SystemC-VHDL Co-Simulation and Synthesis in the HW Domain.

Massimo Bombana, Francesco Bruschi

Proceedings of the 2003 Design, 2003

2000

A Case Study in Design Space Exploration: The Tosca Environment Applied to a Telecommunication Link Controller.

Alberto Allara, Massimo Bombana, William Fornaciari, Fabio Salice

IEEE Des. Test Comput., 2000

1998

IP-based design of custom field programmable network processors.

Massimo Bombana, Nikolay Fominykh, Giulio Gorla, Alexander Kriajev, Boris Krivosheyin, Juri Rytchagov

Proceedings of the 5th IEEE International Conference on Electronics, Circuits and Systems, 1998

ATM Cell Modelling using Objective VHDL.

Alberto Allara, Massimo Bombana, Patrizia Cavalloro, Wolfgang Nebel, Wolfram Putzke-Röming, Martin Radetzki

Proceedings of the ASP-DAC '98, 1998

1997

Property verification in the design of telecom applications.

Massimo Bombana, Patrizia Cavalloro, Fabrizio Ferrandi

Proceedings of the ASP-DAC '97 Asia and South Pacific Design Automation Conference, 1997

1995

Design-Flow and Synthesis for ASICs: A Case Study.

Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Roger B. Hughes, Gerry Musgrave, Giuseppe Zaza

Proceedings of the 32st Conference on Design Automation, 1995

1994

ALADIN: a multilevel testability analyzer for VLSI system design.

Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Fabrizio Ferrandi, Donatella Sciuto, Giuseppe Zaza

IEEE Trans. Very Large Scale Integr. Syst., 1994

Quantitative Evaluation of Formal Based Synthesis in ASIC Design.

G. Bezzi, Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Giuseppe Zaza

Proceedings of the Theorem Provers in Circuit Design, 1994

1993

A design methodology for the correct specification of VLSI systems.

Cristiana Bolchini, Massimo Bombana, Patrizia Cavalloro, Claudio Costi, Franco Fummi, Giuseppe Zaza

Microprocess. Microprogramming, 1993

An Expert Solution to Functional Testability Analysis of VLSI Circuits.

Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Fabrizio Ferrandi, Donatella Sciuto, Giuseppe Zaza

Proceedings of the SEKE'93, 1993

Reduction of Fault Detection Costs through Testable Design of Sequential Architectures with Signal Feedbacks.

Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Fabrizio Ferrandi, Donatella Sciuto, Giuseppe Zaza

Proceedings of the IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems, 1993

1992

Specification and Formal Synthesis of Digital Circuits.

Massimo Bombana, Patrizia Cavalloro, Giuseppe Zaza

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

A multi level testability assistant for VLSI design.

Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Donatella Sciuto, Giuseppe Zaza

Proceedings of the conference on European design automation, 1992