( en | de | ru )

 

Disambiguation of "Saldanha, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Electronic Systems.

, , and . DAC, page 106-111. ACM Press, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Saldanha

Helena Margarida Saldanha

Marcos Bruno Saldanha Tavares

Mateus Simão Saldanha Magalhães

Alexander

 

Other publications of authors with the same name

Supervisory Control of Finite State Machines., , , , and . CAV, volume 939 of Lecture Notes in Computer Science, page 279-292. Springer, (1995)Functional timing optimization.. ICCAD, page 539-543. IEEE Computer Society, (1999)A methodology for correct-by-construction latency insensitive design., , , and . ICCAD, page 309-315. IEEE Computer Society, (1999)An Exact Input Encoding Algorithm for BDDs Representing FSMs., , , and . Great Lakes Symposium on VLSI, page 294-300. IEEE Computer Society, (1998)Timing Analysis and Delay-Fault Test Generation using Path-Recursive Functions., , , , and . ICCAD, page 180-183. IEEE Computer Society, (1991)Timing Optimization with Testability Considerations., , , and . ICCAD, page 460-463. IEEE Computer Society, (1990)Approximate timing analysis of combinational circuits under the XBD0 model., , , and . ICCAD, page 176-181. IEEE Computer Society / ACM, (1997)PLA optimization using output encoding., and . ICCAD, page 478-481. IEEE Computer Society, (1988)Circuit Structure Relations to Redundancy and Delay: The KMS Algorithm Revisited., , and . DAC, page 245-248. IEEE Computer Society Press, (1992)Fast discrete function evaluation using decision diagrams., , , , and . ICCAD, page 402-407. IEEE Computer Society / ACM, (1995)