Concepedia

P. Camurati

PC

35

Publications

922

Citations

15

H-Index

1988

Active since

Affiliations

Polytechnic University of Turin(Current)

University of Udine

P. Camurati is an author at Polytechnic University of Turin specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningVerificationSystems Engineering

Publications per year

1988–2021

35

Publications

35

Formal verification of hardware correctness: introduction and survey of current research

P. Camurati, P. Prinetto · Computer · 1988 · 110 citations

Engineering, Hardware Verification Language, Verification +23

A diagnostic test pattern generation algorithm

P. Camurati, D. Medina, P. Prinetto et al. · 1990 · 100 citations

Engineering, Diagnosis, Test Data Generation +20

Disjunctive partitioning and partial iterative squaring

Gianpiero Cabodi, P. Camurati, Luciano Lavagno et al. · 1997 · 63 citations · Full text

Mathematical Programming, Circuit Complexity, Engineering +22

Improved reachability analysis of large finite state machines

Gianpiero Cabodi, P. Camurati, Stefano Quer · International Conference on Computer Aided Design · 1996 · 58 citations

Circuit Complexity, Bdd-based Symbolic Traversals, Engineering +22

Industrial BIST of embedded RAMs

P. Camurati, P. Prinetto, M. Sonza Reorda et al. · IEEE Design & Test of Computers · 1995 · 50 citations

Engineering, Mem Testing, Electronic Design +18

Rows per page

1–5 of 35