dblp.uni-trier.dewww.uni-trier.de

Maurizio Damiani

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
27EEMaurizio Damiani, Andrei Y. Selchenko: Boolean Technology Mapping Based on Logic Decomposition. SBCCI 2003: 35-40
2000
26EEAlessandro Bogliolo, Michele Favalli, Maurizio Damiani: Enabling testability of fault-tolerant circuits by means of IDDQ-checkable voters. IEEE Trans. VLSI Syst. 8(4): 415-419 (2000)
1999
25EEValeria Bertacco, Maurizio Damiani, Stefano Quer: Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits. DAC 1999: 391-396
1997
24EEValeria Bertacco, Maurizio Damiani: The disjunctive decomposition of logic functions. ICCAD 1997: 78-82
23EEMaurizio Damiani: The state reduction of nondeterministic finite-state machines. IEEE Trans. on CAD of Integrated Circuits and Systems 16(11): 1278-1291 (1997)
1996
22 Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Maurizio Damiani, Leonardo Impagliazzo, G. Sartore: On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications. EDCC 1996: 190-202
21EEValeria Bertacco, Maurizio Damiani: Boolean Function Representation Using Parallel-Access Diagrams. Great Lakes Symposium on VLSI 1996: 112-117
20EEValeria Bertacco, Maurizio Damiani: Boolean Function Representation Based on Disjoint-Support Decompositions. ICCD 1996: 27-
19 Vishwani D. Agrawal, Ronald D. Blanton, Maurizio Damiani: Synthesis of Self-Testing Finite State Machines from High-Level Specifications. ITC 1996: 757-766
18EEJerry Chih-Yuan Yang, Giovanni De Micheli, Maurizio Damiani: Scheduling and control generation with environmental constraints based on automata representations. IEEE Trans. on CAD of Integrated Circuits and Systems 15(2): 166-183 (1996)
1995
17EEAlessandro Bogliolo, Maurizio Damiani, Piero Olivo, Bruno Riccò: Reliability evaluation of combinational logic circuits by symbolic simulation. VTS 1995: 235-243
16EEAlessandro Bogliolo, Maurizio Damiani: Synthesis of combinational circuits with special fault-handling capabilitie. VTS 1995: 454-459
15EEMaurizio Damiani, Jerry Chih-Yuan Yang, Giovanni De Micheli: Optimization of combinational logic circuits based on compatible gates. IEEE Trans. on CAD of Integrated Circuits and Systems 14(11): 1316-1327 (1995)
1994
14 Maurizio Damiani: Nondeterministic finite-state machines and sequential don't cares. EDAC-ETC-EUROASIC 1994: 192-198
13 Jerry Chih-Yuan Yang, Giovanni De Micheli, Maurizio Damiani: Scheduling with Environmental Constraints based on Automata Representations. EDAC-ETC-EUROASIC 1994: 495-501
12 Jérôme Fron, Jerry Chih-Yuan Yang, Maurizio Damiani, Giovanni De Micheli: A Synthesis Framework Based on Trace and Automata Theory. ISCAS 1994: 291-294
1993
11EEMaurizio Damiani, Jerry Chih-Yuan Yang, Giovanni De Micheli: Optimization of Combinational Logic Circuits Based on Compatible Gates. DAC 1993: 631-636
10EEMaurizio Damiani, Giovanni De Micheli: Don't care set specifications in combinational and synchronous logic circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 12(3): 365-388 (1993)
1992
9EEMaurizio Damiani, Giovanni De Micheli: Recurrence Equations and the Optimization of Synchronous Logic Circuits. DAC 1992: 556-561
8EESilvia Ercolani, Michele Favalli, Maurizio Damiani, Piero Olivo, Bruno Riccò: Testability measures in pseudorandom testing. IEEE Trans. on CAD of Integrated Circuits and Systems 11(6): 794-800 (1992)
1991
7 Maurizio Damiani, Piero Olivo, Bruno Riccò: Analysis and Design of Linear Finite State Machines for Signature Analysis Testing. IEEE Trans. Computers 40(9): 1034-1045 (1991)
6EEMichele Favalli, Piero Olivo, Maurizio Damiani, Bruno Riccò: Fault simulation of unconventional faults in CMOS circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 10(5): 677-682 (1991)
1990
5 Maurizio Damiani, Giovanni De Micheli: Observability Don't Care Sets and Boolean Relations. ICCAD 1990: 502-505
4EEMaurizio Damiani, Piero Olivo, Michele Favalli, Silvia Ercolani, Bruno Riccò: Aliasing in signature analysis testing with multiple input shift registers. IEEE Trans. on CAD of Integrated Circuits and Systems 9(12): 1344-1353 (1990)
1989
3 Michele Favalli, Piero Olivo, Maurizio Damiani, Bruno Riccò: CMOS Design for Improved IC Testability. ITC 1989: 934
2 Piero Olivo, Maurizio Damiani, Bruno Riccò: On the Design of Multiple-Input Shift-Registers for Signature Analysis Testing. ITC 1989: 936
1EEMaurizio Damiani, Piero Olivo, Michele Favalli, Bruno Riccò: An analytical model for the aliasing probability in signature analysis testing. IEEE Trans. on CAD of Integrated Circuits and Systems 8(11): 1133-1144 (1989)

Coauthor Index

1Vishwani D. Agrawal [19]
2Valeria Bertacco [20] [21] [24] [25]
3R. D. (Shawn) Blanton (Ronald D. Blanton) [19]
4Alessandro Bogliolo [16] [17] [26]
5Fulvio Corno [22]
6Silvia Ercolani [4] [8]
7Michele Favalli [1] [3] [4] [6] [8] [26]
8Jérôme Fron [12]
9Leonardo Impagliazzo [22]
10Giovanni De Micheli [5] [9] [10] [11] [12] [13] [15] [18]
11Piero Olivo [1] [2] [3] [4] [6] [7] [8] [17]
12Paolo Prinetto [22]
13Stefano Quer [25]
14Maurizio Rebaudengo [22]
15Matteo Sonza Reorda [22]
16Bruno Riccò [1] [2] [3] [4] [6] [7] [8] [17]
17G. Sartore [22]
18Andrei Y. Selchenko [27]
19Jerry Chih-Yuan Yang [11] [12] [13] [15] [18]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)