Concepedia

M. Damiani

MD

15

Publications

630

Citations

14

H-Index

1989

Active since

Affiliations

University of Bologna(Current)

Stanford University

Stanford SystemX Alliance

Integrated Systems Solutions (United States)

University of Padua

M. Damiani is an author at University of Bologna specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsFormal VerificationVerificationSoftware TestingProgram AnalysisDesign For TestingSystems Engineering

Publications per year

1989–2003

15

Publications

15

Estimate of signal probability in combinational logic networks

S. Ercolani, M. Favalli, M. Damiani et al. · 2003 · 156 citations

Engineering, Network Analysis, Probabilistic Computation +19

Aliasing in signature analysis testing with multiple input shift registers

M. Damiani, P. Olivo, M. Favalli et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1990 · 59 citations

Engineering, Digital Signature, Program Analysis +11

Observability don't care sets and Boolean relations

M. Damiani, Giovanni De Micheli · 2002 · 55 citations

Engineering, Boolean Function, Boolean Relations +17

Testability measures in pseudorandom testing

S. Ercolani, M. Favalli, M. Damiani et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1992 · 51 citations

Engineering, Verification, Fault Detection Probabilities +21

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

M. Damiani, Giovanni De Micheli · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1993 · 49 citations

Circuit Complexity, Engineering, Electronic Design Automation +22

Rows per page

1–5 of 15