Alberto Sangiovanni‐Vincentelli
Berkeley College(US)University of California, Berkeley(US)
Publications by Year
Research Areas
Embedded Systems Design Techniques, Formal Methods in Verification, Real-Time Systems Scheduling, VLSI and FPGA Design Techniques, VLSI and Analog Circuit Testing
Most-Cited Works
- → Logic Minimization Algorithms for VLSI Synthesis(1984)1,956 cited
- → MIS: A Multiple-Level Logic Optimization System(1987)1,155 cited
- → System-level design: orthogonalization of concerns and platform-based design(2000)959 cited
- → The Waveform Relaxation Method for Time-Domain Analysis of Large Scale Integrated Circuits(1982)811 cited
- → A framework for comparing models of computation(1998)680 cited
- → Sequential circuit design using synthesis and optimization(2003)607 cited
- → Hardware-Software Co-Design of Embedded Systems