Alexander Saldanha

Publication Activity (10 Years)

Years Active: 1988-2007
Publications (10 Years): 0

Publications

Wilsin Gosti, Tiziano Villa, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli
FSM Encoding for BDD Representations. Int. J. Appl. Math. Comput. Sci. 17 (1) (2007)
Eugene Goldberg, Alexander Saldanha
Timing Analysis with Implicitly Specified False Paths. VLSI Design (2000)
Alexander Saldanha
Functional timing optimization. ICCAD (1999)
Luca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli
A methodology for correct-by-construction latency insensitive design. ICCAD (1999)
Wilsin Gosti, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa, Alexander Saldanha
An Exact Input Encoding Algorithm for BDDs Representing FSMs. Great Lakes Symposium on VLSI (1998)
Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin
Partial-scan delay fault testing of asynchronous circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17 (11) (1998)
Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli
Trace driven logic synthesis - application to power minimization. ICCAD (1997)
Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin
Partial scan delay fault testing of asynchronous circuits. ICCAD (1997)
Tiziano Villa, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Symbolic two-level minimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16 (7) (1997)
Yuji Kukimoto, Wilsin Gosti, Alexander Saldanha, Robert K. Brayton
Approximate timing analysis of combinational circuits under the XBD0 model. ICCAD (1997)
Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, Alexander Saldanha
Verification of Electronic Systems. DAC (1996)
Alok Agrawal, Alexander Saldanha, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
Compact and complete test set generation for multiple stuck-faults. ICCAD (1996)
William K. C. Lam, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Delay fault coverage, test set size, and performance trade-offs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14 (1) (1995)
Patrick C. McGeer, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, Patrick Scaglia
Fast discrete function evaluation using decision diagrams. ICCAD (1995)
Alexander Saldanha, Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Functional clock schedule optimization. VLSI Design (1995)
Luciano Lavagno, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli
Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool. DAC (1995)
Adnan Aziz, Felice Balarin, Robert K. Brayton, Marika Domenica Di Benedetto, Alexander Saldanha
Supervisory Control of Finite State Machines. CAV (1995)
Alexander Saldanha, Heather Harkness, Patrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Performance Optimization Using Exact Sensitization. DAC (1994)
Alexander Saldanha, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Satisfaction of input and output encoding constraints. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13 (5) (1994)
Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Circuit structure relations to redundancy and delay. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13 (7) (1994)
William K. C. Lam, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Delay Fault Coverage and Performance Tradeoffs. DAC (1993)
Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Circuit Structure Relations to Redundancy and Delay: The KMS Algorithm Revisited. DAC (1992)
Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Equivalence of Robust Delay-Fault and Single Stuck-Fault Test Generation. DAC (1992)
Patrick C. McGeer, Alexander Saldanha, Paul R. Stephan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Timing Analysis and Delay-Fault Test Generation using Path-Recursive Functions. ICCAD (1991)
Alexander Saldanha, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
A Framework for Satisfying Input and Output Encoding Constraints. DAC (1991)
Kurt Keutzer, Sharad Malik, Alexander Saldanha
Is redundancy necessary to reduce delay? IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10 (4) (1991)
Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Kwang-Ting Cheng
Timing Optimization with Testability Considerations. ICCAD (1990)
Kurt Keutzer, Sharad Malik, Alexander Saldanha
Is Redundancy Necessary to Reduce Delay. DAC (1990)
Alexander Saldanha, Albert R. Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Multi-level Logic Simplification Using Don't Cares and Filters. DAC (1989)
Alexander Saldanha, Randy H. Katz
PLA optimization using output encoding. ICCAD (1988)