Alberto L. Sangiovanni-Vincentelli

No bio available. Add one in Open Library.

Books by Alberto L. Sangiovanni-Vincentelli (50 max)

+ shelf+ list

Synthesis of finite state machines: logic optimization

1997

Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

+ shelf+ list

Cross-talk noise immune VLSI design using regular layout fabrics

2001

Sunil P. Khatri, Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

+ shelf+ list

Synthesis of Finite State Machines:: Functional Optimization

1996

Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

+ shelf+ list

Function/Architecture Optimization and Co-Design of Embedded Systems (The Springer International Series in Engineering and Computer Science)

2000

Bassam Tabbara, Bassam Tabbara, Abdallah Tabbara, Alberto L. Sangiovanni-Vincentelli

+ shelf+ list

Noise Analysis of Radio Frequency Circuits

2003

Amit Mehrotra, Alberto L. Sangiovanni-Vincentelli

+ shelf+ list

Algorithms for Synthesis and Testing of Asynchronous Circuits

2012

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli

+ shelf+ list

Synchronous Equivalence: Formal Methods for Embedded Systems

2001

Harry Hsieh, Felice Balarin, Alberto L. Sangiovanni-Vincentelli

+ shelf+ list

Hybrid Systems : Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings

2003

Maria D. Di Benedetto, Alberto L. Sangiovanni-Vincentelli

+ shelf+ list

Languages and tools for hybrid systems design

2006

Luca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli