Concepedia

Alexander Saldanha

AS

8

Publications

366

Citations

8

H-Index

1990

Active since

Affiliations

University of California, Berkeley(Current)

Lawrence Berkeley National Laboratory

Cadence Design Systems (United States)

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

Top concepts

EngineeringComputer ScienceComputer EngineeringCircuit DesignComputer ArchitectureFormal MethodsHardware SecurityCircuit ComplexityParallel ComputingSystems Engineering

Publications per year

1990–1997

8

Publications

8

Fast discrete function evaluation using decision diagrams

Patrick C. McGeer, Kenneth L. McMillan, Alexander Saldanha et al. · International Conference on Computer Aided Design · 1995 · 99 citations

Mathematical Programming, Hardware Modeling, Engineering +21

Delay fault coverage and performance tradeoffs

William K. C. Lam, Alexander Saldanha, Robert K. Brayton et al. · 1993 · 86 citations · Full text

Timed shared circuits

Luciano Lavagno, Patrick C. McGeer, Alexander Saldanha et al. · 1995 · 47 citations

Synthesis Tool Share, Engineering, Electronic Design Automation +19

A framework for satisfying input and output encoding constraints

Alexander Saldanha, Tiziano Villa, Robert K. Brayton et al. · 1991 · 39 citations · Full text

Verification of electronic systems

Alberto Sangiovanni‐Vincentelli, Patrick C. McGeer, Alexander Saldanha · 1996 · 35 citations · Full text

Engineering, Information Security, Verification +16

Rows per page

1–5 of 8