Massimo Bombana

Francesco Bruschi, Massimo Bombana: A Design Methodology for the Exploitation of High Level Communication Synthesis. DATE 2004: 180-185

Massimo Bombana, Francesco Bruschi: SystemC-VHDL Co-Simulation and Synthesis in the HW Domain. DATE 2003: 20101-20105

Alberto Allara, Massimo Bombana, William Fornaciari, Fabio Salice: A Case Study in Design Space Exploration: The Tosca Environment Applied to a Telecommunication Link Controller. IEEE Design & Test of Computers 17(2): 60-72 (2000)

Alberto Allara, Massimo Bombana, Patrizia Cavalloro, Wolfgang Nebel, Wolfram Putzke-Röming, Martin Radetzki: ATM Cell Modelling using Objective VHDL. ASP-DAC 1998: 261-264

Massimo Bombana, Patrizia Cavalloro, Fabrizio Ferrandi: Property verification in the design of telecom applications. ASP-DAC 1997: 167-172

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

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)

G. Bezzi, Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Giuseppe Zaza: Quantitative Evaluation of Formal Based Synthesis in ASIC Design. TPCD 1994: 286-291

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)

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

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

Massimo Bombana, Patrizia Cavalloro, Giuseppe Zaza: Specification and Formal Synthesis of Digital Circuits. TPHOLs 1992: 475-484