Maurizio Damiani

According to our database, Maurizio Damiani authored at least 30 papers between 1988 and 2023.

Collaborative distances:

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

2023

Partially unate Boolean functions: Properties of their sum-of-products representations.

Maurizio Damiani

Discret. Appl. Math., October, 2023

2003

Boolean Technology Mapping Based on Logic Decomposition.

Maurizio Damiani, Andrei Y. Selchenko

Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, 2003

2000

Enabling testability of fault-tolerant circuits by means of I_DDQ-checkable voters.

Alessandro Bogliolo, Michele Favalli, Maurizio Damiani

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

1999

Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits.

Valeria Bertacco, Maurizio Damiani, Stefano Quer

Proceedings of the 36th Conference on Design Automation, 1999

1997

The state reduction of nondeterministic finite-state machines.

Maurizio Damiani

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997

The disjunctive decomposition of logic functions.

Valeria Bertacco, Maurizio Damiani

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

1996

Scheduling and control generation with environmental constraints based on automata representations.

Jerry Chih-Yuan Yang, Giovanni De Micheli, Maurizio Damiani

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996

Synthesis of Self-Testing Finite State Machines from High-Level Specifications.

Vishwani D. Agrawal, Ronald D. Blanton, Maurizio Damiani

Proceedings of the Proceedings IEEE International Test Conference 1996, 1996

Boolean Function Representation Based on Disjoint-Support Decompositions.

Valeria Bertacco, Maurizio Damiani

Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996

Boolean Function Representation Using Parallel-Access Diagrams.

Valeria Bertacco, Maurizio Damiani

Proceedings of the 6th Great Lakes Symposium on VLSI (GLS-VLSI '96), 1996

On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications.

Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Maurizio Damiani, Leonardo Impagliazzo, G. Sartore

Proceedings of the Dependable Computing, 1996

1995

Optimization of combinational logic circuits based on compatible gates.

Maurizio Damiani, Jerry Chih-Yuan Yang, Giovanni De Micheli

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1995

Reliability evaluation of combinational logic circuits by symbolic simulation.

Alessandro Bogliolo, Maurizio Damiani, Piero Olivo, Bruno Riccò

Proceedings of the 13th IEEE VLSI Test Symposium (VTS'95), April 30, 1995

Synthesis of combinational circuits with special fault-handling capabilitie.

Alessandro Bogliolo, Maurizio Damiani

Proceedings of the 13th IEEE VLSI Test Symposium (VTS'95), April 30, 1995

Synthesis of multilevel fault-tolerant combinational circuits.

Alessandro Bogliolo, Maurizio Damiani

Proceedings of the 1995 European Design and Test Conference, 1995

1994

A Synthesis Framework Based on Trace and Automata Theory.

Jérôme Fron, Jerry Chih-Yuan Yang, Maurizio Damiani, Giovanni De Micheli

Proceedings of the 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30, 1994

Scheduling with Environmental Constraints based on Automata Representations.

Jerry Chih-Yuan Yang, Giovanni De Micheli, Maurizio Damiani

Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994

Nondeterministic finite-state machines and sequential <i>don't cares</i>.

Maurizio Damiani

Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994

1993

Don't care set specifications in combinational and synchronous logic circuits.

Maurizio Damiani, Giovanni De Micheli

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993

1992

Testability measures in pseudorandom testing.

Silvia Ercolani, Michele Favalli, Maurizio Damiani, Piero Olivo, Bruno Riccò

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992

Recurrence Equations and the Optimization of Synchronous Logic Circuits.

Maurizio Damiani, Giovanni De Micheli

Proceedings of the 29th Design Automation Conference, 1992

1991

Fault simulation of unconventional faults in CMOS circuits.

Michele Favalli, Piero Olivo, Maurizio Damiani, Bruno Riccò

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1991

Analysis and Design of Linear Finite State Machines for Signature Analysis Testing.

Maurizio Damiani, Piero Olivo, Bruno Riccò

IEEE Trans. Computers, 1991

1990

Aliasing in signature analysis testing with multiple input shift registers.

Maurizio Damiani, Piero Olivo, Michele Favalli, Silvia Ercolani, Bruno Riccò

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990

Observability Don't Care Sets and Boolean Relations.

Maurizio Damiani, Giovanni De Micheli

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1990

1989

An analytical model for the aliasing probability in signature analysis testing.

Maurizio Damiani, Piero Olivo, Michele Favalli, Bruno Riccò

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989

On the Design of Multiple-Input Shift-Registers for Signature Analysis Testing.

Piero Olivo, Maurizio Damiani, Bruno Riccò

Proceedings of the Proceedings International Test Conference 1989, 1989

CMOS Design for Improved IC Testability.

Michele Favalli, Piero Olivo, Maurizio Damiani, Bruno Riccò

Proceedings of the Proceedings International Test Conference 1989, 1989

Improved testability evaluations in combinational logic networks.

Silvia Ercolani, Michele Favalli, Maurizio Damiani, Piero Olivo, Bruno Riccò

Proceedings of the Computer Design: VLSI in Computers and Processors, 1989

1988

Aliasing errors in signature analysis testing of integrated circuits.

Maurizio Damiani, Piero Olivo, Michele Favalli, Bruno Riccò

Proceedings of the Computer Design: VLSI in Computers and Processors, 1988