Travelled to:1 × Belgium
8 × USA
Collaborated with:A.L.Sangiovanni-Vincentelli R.K.Brayton P.C.McGeer K.Keutzer S.Malik L.Lavagno W.K.C.Lam T.Villa A.R.Wang A.Aziz F.Balarin M.D.DiBenedetto H.Harkness
Talks about:delay (4) fault (3) perform (2) circuit (2) redund (2) use (2) supervisori (1) constraint (1) necessari (1) framework (1)
Person: Alexander Saldanha
DBLP: Saldanha:Alexander
Contributed to:
1996
19951995199419931992199119901989Wrote 10 papers:
- DAC-1996-Sangiovanni-VincentelliMS #verification
- Verification of Electronic Systems (ALSV, PCM, AS), pp. 106–111.
- CAV-1995-AzizBBDS #finite #state machine
- Supervisory Control of Finite State Machines (AA, FB, RKB, MDD, AS), pp. 279–292.
- DAC-1995-LavagnoMSS #design #power management #synthesis
- Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool (LL, PCM, AS, ALSV), pp. 254–260.
- DAC-1994-SaldanhaHMBS #optimisation #performance #using
- Performance Optimization Using Exact Sensitization (AS, HH, PCM, RKB, ALSV), pp. 425–429.
- DAC-1993-LamSBS #fault #performance #trade-off
- Delay Fault Coverage and Performance Tradeoffs (WKCL, AS, RKB, ALSV), pp. 446–452.
- DAC-1992-SaldanhaBS #equivalence #generative #robust #testing
- Equivalence of Robust Delay-Fault and Single Stuck-Fault Test Generation (AS, RKB, ALSV), pp. 173–176.
- DAC-1992-SaldanhaBS92a #algorithm #revisited
- Circuit Structure Relations to Redundancy and Delay: The KMS Algorithm Revisited (AS, RKB, ALSV), pp. 245–248.
- DAC-1991-SaldanhaVBS #constraints #encoding #framework
- A Framework for Satisfying Input and Output Encoding Constraints (AS, TV, RKB, ALSV), pp. 170–175.
- DAC-1990-KeutzerMS
- Is Redundancy Necessary to Reduce Delay (KK, SM, AS), pp. 228–234.
- DAC-1989-SaldanhaWBS #logic #multi #using
- Multi-level Logic Simplification Using Don’t Cares and Filters (AS, ARW, RKB, ALSV), pp. 277–282.