Concepedia

A. Saldanha

AS

20

Publications

696

Citations

15

H-Index

1989

Active since

Affiliations

University of California, Berkeley(Current)

Cadence Design Systems (United States)

Lawrence Berkeley National Laboratory

AT&T (United States)

Polytechnic University of Turin

A. Saldanha is an author at University of California, Berkeley specializing in computer engineering, engineering, and computer science.

Top concepts

EngineeringComputer EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationVerificationParallel ComputingComputer ArchitectureSoftware Testing

Publications per year

1989–2003

20

Publications

20

Timing analysis and delay-fault test generation using path-recursive functions

Patrick C. McGeer, A. Saldanha, Paul R. Stephan et al. · 2002 · 104 citations

Engineering, Verification, Computer-aided Verification +19

A methodology for correct-by-construction latency insensitive design

Luca P. Carloni, Kenneth L. McMillan, A. Saldanha et al. · 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) · 2003 · 87 citations

Hardware Security, Long Wires, Engineering +14

Is redundancy necessary to reduce delay?

Kurt Keutzer, Sharad Malik, A. Saldanha · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1991 · 61 citations

Circuit Complexity, Engineering, Computer Architecture +16

Delay fault coverage, test set size, and performance trade-offs

William K. C. Lam, A. Saldanha, Robert K. Brayton et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1995 · 60 citations

Engineering, Verification, Test Coverage +17

Equivalence of robust delay-fault and single stuck-fault test generation

A. Saldanha, Robert K. Brayton, Alberto Sangiovanni‐Vincentelli · Design Automation Conference · 1992 · 49 citations

Reliability Engineering, Engineering, Fault Management +13

Rows per page

1–5 of 20