Faculty Publications - Alberto L. Sangiovanni-Vincentelli

Books

L. P. Carloni, R. Passerone, A. Pinto, and A. L. Sangiovanni-Vincentelli, Languages and Tools for Hybrid Systems Design, S. Malik, Ed., Foundations and Trends in Electronic Design Automation, Vol. 1, Hanover, MA: Now Publishers, 2006.
A. Mehrotra and A. L. Sangiovanni-Vincentelli, Noise Analysis of Radio Frequency Circuits, Boston: Kluwer Academic, 2004.
H. Hsieh, F. Balarin, and A. L. Sangiovanni-Vincentelli, Synchronous Equivalence: Formal Methods for Embedded Systems, Boston: Kluwer Academic Publishers, 2001.
S. P. Khatri, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, Cross-Talk Noise Immune VLSI Design using Regular Layout Fabrics, Boston: Kluwer Academic, 2001.
E. Charbon, R. Gharpurey, P. Miliozzi, R. G. Meyer, and A. L. Sangiovanni-Vincentelli, Substrate Noise: Analysis and Optimization for IC Design, Boston: Kluwer Academic Publishers, 2001.
B. Tabbara, A. Tabbara, and A. L. Sangiovanni-Vincentelli, Function/Architecture Optimization and Co-Design of Embedded Systems, Kluwer International Series in Engineering and ComputerScience; SECS 585, Boston: Kluwer Academic Publishers, 2000.
A. Demir and A. L. Sangiovanni-Vincentelli, Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems, Kluwer International Series in Engineering and Computer Science; v. 425, Boston: Kluwer Academic, 1998.
F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. L. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara, Hardware-Software Co-Design of Embedded Systems: The POLIS Approach, The Kluwer International Series in Engineering and Computer Science; SECS 404., Boston: Kluwer Academic Publishers, 1997.
T. Kam, T. Villa, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, Synthesis of Finite State Machines: Functional Optimization, Boston, MA: Kluwer Academic Publishers, 1997.
T. Villa, T. Kam, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, Synthesis of Finite State Machines: Logic Optimization, Boston: Kluwer Academic, 1997.
H. Chang, E. Charbon, U. Choudhury, A. Demir, E. Felt, E. Liu, E. Malavasi, A. L. Sangiovanni-Vincentelli, and I. Vassiliou, A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits, Boston: Kluwer Academic, 1997.
F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. L. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara, Hardware-Software Co-Design of Embedded Systems: The POLIS Approach, The Kluwer International Series In Engineering And Computer Science, Vol. 404, Boston, MA: Kluwer Academic Publishers, 1997.
H. Chang, E. Charbon, U. Choudhury, A. Demir, E. Felt, E. Liu, E. Malavasi, A. L. Sangiovanni-Vincentelli, and I. Vassiliou, A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits, Boston, MA: Kluwer Academic Publishers, 1997.
R. Murgai, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, Logic Synthesis for Field-Programmable Gate Arrays, The Kluwer International Series in Engineering and Computer Science; SECS 324, Boston: Kluwer Academic Publishers, 1995.
L. Lavagno and A. L. Sangiovanni-Vincentelli, Algorithms for Synthesis and Testing of Asynchronous Circuits, The Kluwer International Series in Engineering and Computer Science; SECS 0232., Boston: Kluwer Academic, 1993.
K. S. Kundert, J. K. White, and A. L. Sangiovanni-Vincentelli, Steady-State Methods for Simulating Analog and Microwave Circuits, The Kluwer International Series in Engineering and Computer Science; SECS94. VLSI, Computer Architecture and Digital Signal Processing, Boston: Kluwer Academic Publishers, 1990.
K. S. Kundert, J. K. White, and A. L. Sangiovanni-Vincentelli, Steady-State Methods for Simulating Analog and Microwave Circuits, Kluwer International Series in Engineering and Computer Science, Vol. 94, Boston, MA: Kluwer Academic Publishers, 1990.
J. K. White and A. L. Sangiovanni-Vincentelli, Relaxation Techniques for the Simulation of VLSI Circuits, The Kluwer International Series in Engineering and Computer Science; SECS 20, Boston: Kluwer Academic Publishers, 1987.
G. De Micheli, A. L. Sangiovanni-Vincentelli, and P. Antognetti, Eds., Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation, NATO Advanced Science Institute series. Series E, Applied Sciences, Vol. 136, Dordrecht, The Netherlands: Martinus Nijhoff Publishers, 1987.
A. L. Sangiovanni-Vincentelli, Ed., Selected Papers on Computer-Aided Design of Very Large Scale Integrated Circuits, Advances in Circuits and Systems, New York: IEEE Press, 1987.
J. K. White and A. L. Sangiovanni-Vincentelli, Relaxation Techniques for the Simulation of VLSI Circuits, Kluwer International Series in Engineering and Computer Science, Vol. 20, Boston, MA: Kluwer Academic Publishers, 1986.
A. L. Sangiovanni-Vincentelli, Ed., Computer-Aided Design of VLSI Circuits and Systems, Advances in Computer-Aided Engineering Design, Vol. 1, Greenwich, CN: JAI Press, 1985.
R. K. Brayton, G. D. Hachtel, C. T. McMullen, and A. L. Sangiovanni-Vincentelli, Logic Minimization Algorithms for VLSI Synthesis, The Kluwer International Series in Engineering and Computer Science, Vol. 2, Boston, MA: Kluwer Academic Publishers, 1984.

Book chapters or sections

L. Benvenuti, A. Ferrari, E. Mazzi, and A. L. Sangiovanni-Vincentelli, "Contract-based design for computation and verification of a closed-loop hybrid system," in Hybrid Systems: Computation and Control. Proc. 11th Intl. Workshop (HSCC 2008), M. Egerstedt and B. Mishra, Eds., Lecture Notes in Computer Science, Vol. 4981, Berlin, Germany: Springer-Verlag, 2008, pp. 58-71.
A. D. Ames, A. L. Sangiovanni-Vincentelli, and S. S. Sastry, "Homogeneous semantics preserving deployments of heterogeneous networks of embedded systems," in Networked Embedded Sensing and Control: Workshop Proc. (NESC 2005), P. J. Antsaklis and P. Tabuada, Eds., Lecture Notes in Control and Information, Vol. 331, Berlin, Germany: Springer-Verlag, 2006, pp. 127-154.
A. Pinto, L. P. Carloni, R. Passerone, and A. L. Sangiovanni-Vincentelli, "Interchange format for hybrid systems: abstract semantics," in Hybrid Systems: Computation and Control. Proc. 9th Intl. Workshop (HSCC 2006), J. Hespanha and A. Tiwari, Eds., Lecture Notes in Computer Science, Vol. 3927, Berlin, Gemany: Springer-Verlag, 2006, pp. 491-506.
A. Balluchi, A. Bicchi, E. Mazzi, A. L. Sangiovanni-Vincentelli, and G. Serra, "Hybrid modelling and control of the common rail injection system," in Hybrid Systems: Computation and Control. Proc. 9th Intl. Workshop (HCSS 2006), J. Hespanha and A. Tiwari, Eds., Lecture Notes in Computer Science, Vol. 3927, Berlin, Germany: Springer-Verlag, 2006, pp. 79-92.
L. Carloni, F. De Bernardinis, C. Pinello, A. L. Sangiovanni-Vincentelli, and M. Sgroi, "Platform-based design for embedded systems," in The Embedded Systems Handbook, R. Zurawski, Ed., Boca Raton, FL: CRC Press, 2005, pp. 1-26.
A. Benveniste, B. Caillaud, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-Vincentelli, "Causality and scheduling constraints in heterogeneous reactive systems modeling," in Formal Methods for Components and Objects: Proc. 2nd Intl. Symp. (FMCO 2003), F. S. de Boer, M. M. Bonsangue, S. Graf, and W. P. de Roever, Eds., Lecture Notes in Computer Science, Vol. 3188, Berlin: Springer-Verlag, 2004, pp. 1-16.
T. J. Koo, J. Liebman, C. Ma, B. Horowitz, A. L. Sangiovanni-Vincentelli, and S. S. Sastry, "Platform-based embedded software design for multi-vehicle multi-modal systems," in Embedded Software: Proc. 2nd Intl. Conf. (EMSOFT 2002), A. L. Sangiovanni-Vincentelli and J. Sifakis, Eds., Lecture Notes in Computer Science, Vol. 2491, Berlin, Germany: Springer-Verlag, 2002, pp. 32-45.
R. Ghosh and C. Tomlin, "Lateral inhibition through Delta-Notch signaling: A piecewise affine hybrid model," in Hybrid Systems: Computation and Control. Proc. 4th Intl. Workshop (HSCC 2001), M. D. Di Benedetto and A. L. Sangiovanni-Vincentelli, Eds., Lecture Notes in Computer Science, Vol. 2034, Berlin, Germany: Springer-Verlag, 2001, pp. 232-246.
S. Devadas, H. K. T. Ma, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "The relationship between logic synthesis and test," in Very Large Scale Integration: Proc. IFIP TC10/WG10.5 Intl. Conf. on Very Large Scale Integration (VLSI '89), G. Musgrave and U. Lauther, Eds., Amsterdam, Netherlands: North-Holland, 1990, pp. 175-186.
A. R. Newton, "Symbolic layout and procedural design," in Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation, G. De Micheli, A. L. Sangiovanni-Vincentelli, and P. Antognetti, Eds., NATO Advanced Study Institute. Series E: Applied Sciences, Vol. 136, Dordrecht, Netherlands: Martinus Nijhoff Publishers, 1987, pp. 65-112.
G. De Micheli, M. Hofmann, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "A design system for PLA-based digital circuits," in Advances in Computer-Aided Engineering Design, A. L. Sangiovanni-Vincentelli, Ed., Vol. 1, Greenwich, CT: JAI Press, 1985, pp. 285-264.

Articles in journals or magazines

M. D. Natale, Q. Zhu, A. L. Sangiovanni-Vincentelli, and S. Tripakis, "Optimized implementation of synchronous models on industrial LTTA systems," Journal of Systems Architecture - Embedded Systems Design, vol. 60, no. 4, pp. 315-328, 2014.
P. Derler, E. A. Lee, and A. L. Sangiovanni-Vincentelli, "Modeling Cyber-Physical Systems," Proceedings of the IEEE (special issue on CPS), vol. 100, no. 1, pp. 13 - 28, Jan. 2012.
Y. Yang, A. Pinto, A. L. Sangiovanni-Vincentelli, and Q. Zhu, "A Design Flow for Building Automation and Control Systems," Real-Time Systems Symposium, IEEE International, vol. 0, pp. 105-116, Dec. 2010.
Q. Zhu, Y. Yang, M. Natale, E. Scholte, and A. L. Sangiovanni-Vincentelli, "Optimizing the Software Architecture for Extensibility in Hard Real-Time Distributed Systems," Industrial Informatics, IEEE Transactions on, vol. 6, no. 4, pp. 621 -636, Nov. 2010.
P. Nuzzo, X. Sun, J. Wu, F. De Bernardinis, and A. L. Sangiovanni-Vincentelli, "A Platform-Based Methodology for System-Level Mixed-Signal Design," Eurasip Journal of Embedded Systems, vol. 2010, June 2010.
A. L. Sangiovanni-Vincentelli, "Is a unified methodology for system-level design possible?," IEEE Design & Test of Computers, vol. 25, no. 4, pp. 346-357, July 2008.
L. Yuan, G. Qu, T. Villa, and A. L. Sangiovanni-Vincentelli, "An FSM reengineering approach to sequential circuit synthesis by state splitting," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 27, no. 6, pp. 1159-1164, June 2008.
A. Speranzon, C. fischione, K. H. Johansson, and A. L. Sangiovanni-Vincentelli, "A distributed minimum variance estimator for sensor networks," IEEE J. Selected Areas in Communications, vol. 26, no. 4, pp. 609-621, May 2008.
C. Pinello, L. P. Carloni, and A. L. Sangiovanni-Vincentelli, "Fault-tolerant distributed deployment of embedded control software," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 27, no. 5, pp. 906-919, May 2008.
N. Yevtushenko, T. Villa, R. K. Brayton, A. Petrenko, and A. L. Sangiovanni-Vincentelli, "Compositionally progressive solutions of synchronous FSM equations," Discrete Event Dynamic Systems, vol. 18, no. 1, pp. 51-89, March 2008.
W. Gosti, T. Villa, A. Saldanha, and A. L. Sangiovanni-Vincentelli, "FSM encoding for BDD representations," Intl. J. Applied Mathematics and Computer Science, vol. 17, no. 1, pp. 113-128, 2007.
L. Mangeruca, M. Baleani, A. Ferrari, and A. L. Sangiovanni-Vincentelli, "Uniprocessor scheduling under precedence constraints for embedded systems design," ACM Trans. Embedded Computing Systems, vol. 7, no. 1, pp. Art. 6, Dec. 2007.
A. L. Sangiovanni-Vincentelli and M. Di Natale, "Embedded system design for automotive applications (Cover Feature)," Computer, vol. 40, no. 10, pp. 42-51, Oct. 2007.
B. Otis, S. Gambini, R. Shah, D. Steingart, E. Quevy, J. M. Rabaey, A. L. Sangiovanni-Vincentelli, and P. Wright, "Modelling and simulation technqiues for integrated, low-power wireless sensor networks," IET Computers & Digital Techniques, vol. 1, no. 5, pp. 528-526, Sep. 2007.
A. L. Sangiovanni-Vincentelli, "Remembering Richard," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 26, no. 8, pp. 1357-1366, Aug. 2007.
R. Passerone, J. R. Burch, and A. L. Sangiovanni-Vincentelli, "Refinement preserving approximations for the design and verification of heterogeneous systems," Formal Methods in System Design, vol. 31, no. 1, pp. 1-33, Aug. 2007.
A. Bonivento, C. Fischione, L. Necchi, F. Pianegiani, and A. L. Sangiovanni-Vincentelli, "System level design for clustered wireless sensor networks," IEEE Trans. Industrial Informatics, vol. 3, no. 3, pp. 202-214, Aug. 2007.
L. Mangeruca, M. Baleani, A. Ferrari, and A. L. Sangiovanni-Vincentelli, "Semantics-preserving design of embedded control software from synchronous models," IEEE Trans. Software Engineering, vol. 33, no. 8, pp. 497-509, Aug. 2007.
F. Koushanfar, A. Davare, D. T. Nguyen, A. L. Sangiovanni-Vincentelli, and M. Potkonjak, "Techniques for maintaining connectivity in wireless ad-hoc networks under engergy constraints," ACM Trans. Embedded Computing Systems, vol. 6, no. 3, pp. Art. 16, July 2007.
L. Albertoni, A. Balluchi, A. Casavola, C. Gambelli, E. Mosca, and A. L. Sangiovanni-Vincentelli, "Idle speed control of port-injection engines via the polynomial equation approach," Intl. J. Robust and Nonlinear Control: Special Issue on Polynomial Design Methods, vol. 17, no. 8, pp. 720-731, May 2007.
H. Zeng, A. Davare, A. L. Sangiovanni-Vincentelli, S. Sonalkar, S. Kanajan, and C. Pinello, "Design space exploration of automotive platforms in Metropolis," SAE Trans.: J. of Passenger Cars--Electronic and Electrical Systems, vol. 115, no. 2006-01-1465, pp. 844-856, March 2007.
A. L. Sangiovanni-Vincentelli, "Quo vadis, SLD? Reasoning about the trends and challenges of system level design (Invited Paper)," Proc. IEEE, vol. 95, no. 3, pp. 467-506, March 2007.
P. Nuzzo, F. De Bernardinis, and A. L. Sangiovanni-Vincentelli, "Platform-based mixed signal design: Optimizing a high-performance pipelined ADC," Analog Integrated Circuits and Signal Processing, vol. 49, no. 3, pp. 343-358, Dec. 2006.
D. Densmore, A. L. Sangiovanni-Vincentelli, and R. Passerone, "A platform-based taxonomy for ESL design," IEEE Design & Test of Computers, vol. 23, no. 5, pp. 359-374, Sep. 2006.
A. Bonivento, L. P. Carloni, and A. L. Sangiovanni-Vincentelli, "Platform based design for wireless sensor networks," Mobile Networks and Applications, vol. 11, no. 4, pp. 469-485, Aug. 2006.
C. Umans, T. Villa, and A. L. Sangiovanni-Vincentelli, "Complexity of two-level logic minimization," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 25, no. 7, pp. 1230-1246, July 2006.
A. Pinto, A. Bonivento, A. L. Sangiovanni-Vincentelli, R. Passerone, and M. Sgroi, "System level design paradigms: Platform-based design and communication synthesis," ACM Trans. Design Automation of Electronic Systems, vol. 11, no. 3, pp. 537-563, July 2006.
J. M. Rabaey, F. De Bernardinis, A. Niknejad, B. Nikolic, and A. L. Sangiovanni-Vincentelli, "Embedding mixed-signal design in systems-on-chip (Invited Paper)," Proc. IEEE, vol. 94, no. 6, pp. 1070-1088, June 2006.
L. Carloni, R. Passerone, A. Pinto, and A. L. Sangiovanni-Vincentelli, "Languages and tools for hybrid systems design," Foundations and Trends in Electronic Design automations, vol. 1, no. 1/2, pp. 1-193, June 2006.
A. L. Sangiovanni-Vincentelli and A. Balluchi, "Guest Editors' Editorial for Special Issue on Advanced Design Methodologies in Automotive Control," Intl. J. Control: Special Issue on Advanced Design Methodologies in Automotive Control, vol. 79, no. 5, pp. 373-374, May 2006.
A. Balluchi, L. Benvenuti, and A. L. Sangiovanni-Vincentelli, "Hybrid systems in automotive electronics design," Intl. J. Control: Special Issue on Advanced Design Methodologies in Automotive Control, vol. 79, no. 5, pp. 375-394, May 2006.
L. P. Carloni and A. L. Sangiovanni-Vincentelli, "A framework for modeling the distributed deployment of synchronous designs," Formal Methods in System Design, vol. 28, no. 2, pp. 93-110, March 2006.
D. Densmore, A. L. Sangiovanni-Vincentelli, and A. Donlin, "Leveraging programmability in electronic system-level designs," Xcell J., vol. 56, pp. 29-31, Jan. 2006.
A. L. Sangiovanni-Vincentelli and A. Pinto, "An overview of embedded system design education at Berkeley," ACM Trans. Embedded Computing Systems, vol. 4, no. 3, pp. 472-499, Aug. 2005.
S. P. Khatri, S. Sinha, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "SPFD-based wire removal in standard-cell and network-of-PLA circuits," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 23, no. 7, pp. 1020-1030, July 2004.
A. L. Sangiovanni-Vincentelli, "Electronic-system design in the automobile industry," IEEE Micro, vol. 23, no. 3, pp. 8-18, May 2003.
F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, and A. L. Sangiovanni-Vincentelli, "Metropolis: An integrated electronic system design environment," IEEE Computer, vol. 36, no. 4, pp. 45-52, April 2003.
B. Horowitz, J. Liebman, C. Ma, T. J. Koo, A. L. Sangiovanni-Vincentelli, and S. S. Sastry, "Platform-based embedded software design and system integration for autonomous vehicles (Invited Paper)," Proc. IEEE, vol. 91, no. 1, pp. 198-211, Jan. 2003.
A. L. Sangiovanni-Vincentelli and G. Martin, "Platform-based design and software design methodology for embedded systems," IEEE Design & Test of Computers, vol. 18, no. 6, pp. 23-33, Nov. 2001.
L. P. Carloni, K. L. McMillan, and A. L. Sangiovanni-Vincentelli, "Theory of latency-insensitive design," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 20, no. 9, pp. 1059-1076, Sep. 2001.
R. E. Bryant, K. T. Cheng, A. B. Kahng, K. Keutzer, W. Maly, A. R. Newton, L. Pileggi, J. M. Rabaey, and A. L. Sangiovanni-Vincentelli, "Limitations and challenges of computer aided design technology for CMOS VLSI (Invited Paper)," Proc. IEEE, vol. 89, no. 3, pp. 341-365, March 2001.
K. Keutzer, S. Malik, A. R. Newton, J. M. Rabaey, and A. L. Sangiovanni-Vincentelli, "System-level design: Orthogonalization of concerns and platform-based design," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 19, no. 12, pp. 1523-1543, Dec. 2000.
K. Keutzer, S. Malik, A. R. Newton, J. M. Rabaey, and A. L. Sangiovanni-Vincentelli, "Invited Paper: System-level design: Orthogonalization of concerns and platform-based design," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 19, no. 12, pp. 1523-1543, Dec. 2000.
A. Balluchi, L. Benvenuti, M. D. Di Benedetto, C. Pinello, and A. L. Sangiovanni-Vincentelli, "Invited Paper: Automotive engine control and hybrid systems: Challenges and opportunities," Proc. IEEE: Special Issue on Hybrid Systems, vol. 88, no. 7, pp. 888-912, July 2000.
F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, A. L. Sangiovanni-Vincentelli, E. M. Sentovich, and K. Suzuki, "Synthesis of software programs for embedded control applications," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 18, no. 6, pp. 834-849, June 1999.
E. A. Lee and A. L. Sangiovanni-Vincentelli, "A framework for comparing models of computation," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 17, no. 12, pp. 1217-1229, Dec. 1998.
S. Edwards, L. Lavagno, E. A. Lee, and A. L. Sangiovanni-Vincentelli, "Design of embedded systems: Formal models, validation, and synthesis," Proc. IEEE, vol. 85, no. 3, pp. 366-390, March 1997.
L. Lavagno, K. Keutzer, and A. L. Sangiovanni-Vincentelli, "Synthesis of hazard-free asynchronous circuits with bounded wire delays," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 14, no. 1, pp. 61-86, Jan. 1995.
A. A. Malik, R. K. Brayton, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Two-level minimization of multivalued functions with large offsets," IEEE Trans. Computers, vol. 42, no. 11, pp. 1325-1342, Nov. 1993.
A. L. Sangiovanni-Vincentelli, A. El Gamal, and J. Rose, "Synthesis methods for field programmable gate arrays," Proc. IEEE, vol. 81, no. 7, pp. 1057-1083, July 1993.
P. M. Xiao, E. Charbon, A. L. Sangiovanni-Vincentelli, T. Van Duzer, and S. R. Whiteley, "INDEX: An inductance extractor for superconducting circuits," IEEE Trans. Applied Superconductivity, vol. 3, no. 1, pt. 4, pp. 2629-2632, March 1993.
S. Malik, L. Lavagno, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Symbolic minimization of multilevel logic and the input encoding problem," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 11, no. 7, pp. 825-843, July 1992.
A. A. Malik, R. K. Brayton, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Reduced offsets for minimization of binary-valued functions," IEEE Trans. Computer-Aided Design, vol. 10, no. 4, pp. 413-426, April 1991.
S. Malik, E. M. Sentovich, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Retiming and resynthesis: Optimizing sequential networks with combinational techniques," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 10, no. 1, pp. 74-84, Jan. 1991.
R. K. Brayton, G. D. Hachtel, and A. L. Sangiovanni-Vincentelli, "Invited Paper: Multilevel logic synthesis," Proc. IEEE, vol. 78, no. 2, pp. 264-300, Feb. 1990.
S. Devadas, H. K. T. Ma, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Irredundant sequential machines via optimal logic synthesis," IEEE Trans. Computer-Aided Design, vol. 9, no. 1, pp. 8-18, Jan. 1990.
S. Devadas, H. K. T. Ma, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "A synthesis and optimization procedure for fully and easily testable sequential machines," IEEE Trans. Computer-Aided Design, vol. 8, no. 10, pp. 1100-1107, Oct. 1989.
S. Devadas, A. R. Wang, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Boolean decomposition in multilevel logic optimization," IEEE J. Solid-State Circuits, vol. 24, no. 2, pp. 399-408, April 1989.
S. Devadas, H. K. Ma, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "MUSTANG: State assignment of finite-state machines targeting multilevel logic implementations," IEEE Trans. Computer-Aided Design, vol. 7, no. 12, pp. 1290-1300, Dec. 1988.
H. K. T. Ma, S. Devadas, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Test generation for sequential circuits," IEEE Trans. Computer-Aided Design, vol. 7, no. 10, pp. 1081-1093, Oct. 1988.
W. Nye, D. C. Riley, A. L. Sangiovanni-Vincentelli, and A. L. Tits, "DELIGHT.SPICE: An optimization-based system for the design of integrated circuits," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. CAD-7, no. 4, pp. 501-519, April 1988.
R. K. Brayton, R. Rudell, A. L. Sangiovanni-Vincentelli, and A. R. Wang, "MIS: A multiple-level logic optimization system," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. CAD-6, no. 6, pp. 1062-1081, Nov. 1987.
R. L. Rudell and A. L. Sangiovanni-Vincentelli, "Multiple-valued minimization for PLA optimization," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. CAD-6, no. 5, pp. 727-750, Sep. 1987.
A. R. Newton, A. L. Sangiovanni-Vincentelli, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Invited Paper: CAD tools for ASIC design," Proc. IEEE, vol. 75, no. 6, pp. 765-776, June 1987.
K. S. Kundert and A. L. Sangiovanni-Vincentelli, "Simulation of nonlinear circuits in the frequency domain," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. CAD-5, no. 4, pp. 521-535, Oct. 1986.
A. R. Newton and A. L. Sangiovanni-Vincentelli, "Computer-aided design for VLSI circuits," IEEE Computer, vol. 19, no. 4, pp. 38-60, April 1986.
A. R. Newton and A. L. Sangiovanni-Vincentelli, "Relaxation-based electrical simulation," IEEE Trans. Computer-Aided Design, vol. CAD-3, no. 4, pp. 308-331, Oct. 1984.
A. R. Newton and A. L. Sangiovanni-Vincentelli, "Relaxation-based electrical simulation," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. CAD-3, no. 4, pp. 308-331, Oct. 1984.
A. R. Newton and A. L. Sangiovanni-Vincentelli, "Relaxation-based electrical simulation," SIAM J. Scientific and Statistical Computing, vol. 4, no. 3, pp. 485-524, Sep. 1983.
A. R. Newton and A. L. Sangiovanni-Vincentelli, "Relaxation-based electrical simulation," IEEE Trans. Electron Devices, vol. ED-30, no. 9, pp. 1184-1207, Sep. 1983.
A. R. Newton and A. L. Sangiovanni-Vincentelli, "Relaxation-based electrical simulation," SIAM J. Scientific and Statistical Computing, vol. 4, no. 3, pp. 485-524, Sep. 1983.
G. De Micheli, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Symmetric displacement algorithms for the timing analysis of large scale circuits," IEEE Trans. Computer-Aided Design, vol. CAD-2, no. 3, pp. 167-180, Aug. 1983.
G. De Micheli and A. L. Sangiovanni-Vincentelli, "Multiple constrained folding of programmable logic arrays: Theory and applications," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. CAD-2, no. 3, pp. 151-167, July 1983.
E. Lelarasmee, A. E. Ruehli, and A. L. Sangiovanni-Vincentelli, "The waveform relaxation method for time-domain analysis of large scale integrated circuits," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. CAD-1, no. 3, pp. 131-145, July 1982.
G. D. Hachtel, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "An algorithm for optimal PLA folding," IEEE Trans. Computer-Aided Design, vol. CAD-1, no. 2, pp. 63-77, April 1982.
R. K. Brayton, G. D. Hachtel, and A. L. Sangiovanni-Vincentelli, "A survey of optimization techniques for integrated-circuit design (Invited Paper)," Proc. IEEE, vol. 69, no. 10, pp. 1334-1362, Oct. 1981.
G. D. Hachtel and A. L. Sangiovanni-Vincentelli, "A survey of third-generation simulation techniques (Invited Paper)," Proc. IEEE, vol. 69, no. 10, pp. 1264-1280, Oct. 1981.
A. R. Newton, D. O. Pederson, A. L. Sangiovanni-Vincentelli, and C. H. Séquin, "Design aids for VLSI: The Berkeley perspective (Invited Paper)," IEEE Trans. Circuits and Systems, vol. 28, no. 7, pp. 666-680, July 1981.

Articles in conference proceedings

X. Yue, Y. Zhang, S. Zhao, A. L. Sangiovanni-Vincentelli, K. Keutzer, and B. Gong, "Domain randomization and pyramid consistency: Simulation-to-real generalization without accessing target domain data," in Proceedings of the IEEE International Conference on Computer Vision, 2019, pp. 2100--2110.
Y. Yang, S. Tripakis, and A. L. Sangiovanni-Vincentelli, "Efficient Distribution of Triggered Synchronous Block Diagrams on Asynchronous Platforms," in International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation -- SAMOS XV, 2015.
P. Nuzzo, A. Iannopollo, S. Tripakis, and A. L. Sangiovanni-Vincentelli, "Are Interface Theories Equivalent to Contract Theories?," in 12th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2014.
H. Kim, L. Guo, E. A. Lee, and A. L. Sangiovanni-Vincentelli, "A tool integration approach for architectural exploration of aircraft electric power systems," in Cyber-Physical Systems, Networks, and Applications (CPSNA), 2013 IEEE 1st International Conference on, 2013, pp. 38--43.
H. Kim, L. Guo, E. A. Lee, and A. L. Sangiovanni-Vincentelli, "A tool integration approach for architectural exploration of aircraft electric power systems," in Cyber-Physical Systems, Networks, and Applications (CPSNA), 2013 IEEE 1st International Conference on, 2013, pp. 38-43.
P. Nuzzo, A. A. A. Puggelli, S. A. Seshia, and A. L. Sangiovanni-Vincentelli, "CalCS: SMT Solving for Non-linear Convex Constraints," in Formal Methods in Computer Aided Design, FMCAD 2010, 2010, pp. 71-79.
P. Nuzzo, A. Puggelli, S. A. Seshia, and A. L. Sangiovanni-Vincentelli, "{CalCS}: {SMT} Solving for Non-linear Convex Constraints," in Proceedings of the IEEE International Conference on Formal Methods in Computer-Aided Design (FMCAD), 2010, pp. 71--79.
Q. Zhu, Y. Yang, E. Scholte, M. D. Natale, and A. L. Sangiovanni-Vincentelli, "Optimizing Extensibility in Hard Real-Time Distributed Systems," in Proceedings of the 2009 15th IEEE Symposium on Real-Time and Embedded Technology and Applications, RTAS '09, Washington, DC, USA: IEEE Computer Society, 2009, pp. 275--284.
P. Nuzzo, C. Nani, C. Armiento, A. L. Sangiovanni-Vincentelli, J. Craninckx, and G. Van der Plas, "A 6-bit 50-MS/s Threshold Configuring SAR ADC in 90-nm Digital CMOS," in Proc. VLSI Symposium on Circuits, 2009, pp. 238-239.
Q. Zhu, Y. Yang, E. Scholte, M. D. Natale, and A. L. Sangiovanni-Vincentelli, "Optimizing Extensibility in Hard Real-Time Distributed Systems," in RTAS '09: Proceedings of the 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium, Washington, DC, USA: IEEE Computer Society, 2009, pp. 275--284.
A. Pinto, M. D'Angelo, C. Fischione, E. Scholte, and A. L. Sangiovanni-Vincentelli, "Synthesis of embedded networks for building automation and control," in Proc. 2008 American Control Conf. (ACC '08), Dayton, OH: American Automatic Control Council, 2008, pp. 920-925.
P. G. Park, C. Fischione, A. bonivento, K. H. Johansson, and A. L. Sangiovanni-Vincentelli, "Breath: A self-adapting protocol for wireless sensor networks in control and automation," in Proc. 5th Annual IEEE Communications Society Conf. on Sensor, Mesh and Ad Hoc Communications and Networks (SECON 2008), Piscataway, NJ: IEEE Press, 2008, pp. 323-331.
Y. Li, C. Wu, A. L. Sangiovanni-Vincentelli, and J. M. Rabaey, "Design and optimization of an MB-OFDM ultra-wideband receiver front-end," in Proc. 4th IEEE Intl. Conf. on Circuits and Systems for Communications (ICCSC 2008), Piscataway, NJ: IEEE Press, 2008, pp. 502-506.
A. Ghosal, A. L. Sangiovanni-Vincentelli, and S. Kanajan, "A study of monetary cost analysis for product-line architectures," in Proc. 2008 SAE World Congress & Exhibition (SAE '07), Warrendale, PA: SAE International, 2008.
Y. Li, J. M. Rabaey, and A. L. Sangiovanni-Vincentelli, "Analysis of interference effects in MB-OFDM UWB systems," in Proc. 2008 IEEE Wireless Communications and Networking Conf. (WCNC '08), Piscataway, NJ: IEEE Press, 2008, pp. 165-170.
T. Meyerowitz, A. L. Sangiovanni-Vincentelli, M. Sauermann, and D. Langen, "Source-level timing annotation and simulation for a heterogeneous multiprocessor," in Proc. 2008 Design, Automation and Test in Europe (DATE '08), Leuven, Belgium: European Design and Automation Association, 2008, pp. 276-279.
K. Chatterjee, A. Ghosal, T. A. Henzinger, D. Iercan, C. M. Kirsch, C. Pinello, and A. L. Sangiovanni-Vincentelli, "Logical reliability of interacting real-time tasks," in Proc. 2008 Design, Automation and Test in Europe (DATE '08), Leuven, Belgium: European Design and Automation Associaton, 2008, pp. 909-914.
R. Marculescu, B. Nikolic, and A. L. Sangiovanni-Vincentelli, ""Fresh air": The Emerging Landscape of Design for Networked Embedded Systems (Session Abstract)," in Proc. 5th IEEE/ACM Intl. Conf. on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2007), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 124-124.
A. Benveniste, P. Caspi, M. di Natale, C. Pinello, A. L. Sangiovanni-Vincentelli, and S. Tripakis, "Loosely time-triggered architectures based on communication-by-sampling," in Proc. 7th IEEE/ACM Intl. Conf. on Embedded Software (EMSOFT 2007), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 231-239.
R. Ernst, G. Spiegelberg, T. Weber, H. Kopetz, A. L. Sangiovanni-Vincentelli, and M. Jersak, "Automotive Networks: Are New Busses and Gateways the Answer or Just Another Challenge? (Panel Session)," in Proc. 5th IEEE/ACM Intl. Conf. on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2007), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 263-263.
A. Pinto, L. P. Carloni, and A. L. Sangiovanni-Vincentelli, "A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control," in Proc. 7th IEEE/ACM Intl. Conf. on Embedded Software (EMSOFT 2007), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 21-29.
N. Smith, A. Chien, C. Hegarty, W. C. Rhines, A. L. Sangiovanni-Vincentelli, and F. Winters, "Electronics: The New Differential in the Automotive Industry (Panel Discussion)," in Proc. 44th IEEE/ACM Design Automation Conf. (DAC 2007), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 446-446.
A. Davare, Q. Zhu, M. Di Natale, C. Pinello, S. Kanajan, and A. L. Sangiovanni-Vincentelli, "Period optimization for hard real-time distributed automotive systems," in Proc. 44th ACM/IEEE Design Automation Conf. (DAC 2007), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 278-283.
A. Ghosal, S. Kanajan, R. Urbance, and A. L. Sangiovanni-Vincentelli, "An initial study on monetary cost evaluation for the design of automotive electronic architectures," in Proc. 2007 SAE World Congress & Exhibition (SAE '07), Vol. 116, Warrendale, PA: SAE International, 2007, pp. 1273-1275.
T. Villa, S. Zharikova, N. Yevtushenko, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "A new algorithm for the largest compositionally progressive solution of synchronous language equations," in Proc. 17th ACM Great Lakes Symp. on VLSI (GLSVLSI 2007), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 441-444.
L. Necchi, A. Bonivento, L. Lavagno, A. L. Sangiovanni-Vincentelli, and L. Vanzago, "E2RINA: An energy efficient and reliable in-network aggregation for clustered wireless sensor networks," in Proc. 2007 IEEE Wireless Communications and Networking Conf. (WCNS '07), Piscataway, NJ: IEEE Press, 2007, pp. 3366-3371.
A. Davare, D. Densmore, T. Meyerowitz, A. Pinto, A. L. Sangiovanni-Vincentelli, G. Yang, H. Zeng, and Q. Zhu, "A next-generation framework for platform-based design," in Proc. 2007 Design and Verification Conference (DVCon '07), 2007.
C. Fischione, A. Bonivento, K. H. Johansson, and A. L. Sangiovanni-Vincentelli, "Cooperative diversity with disconnection constraints and sleep discipline for power control in wireless sensor networks," in Proc. 63rd IEEE Vehicular Technology Conf. (VTC 2006-Spring), Piscataway, NJ: IEEE Press, 2006, pp. 578-582.
F. De Bernardinis, P. Nuzzo, and A. L. Sangiovanni-Vincentelli, "Robust system-level design with analog platforms," in Proc. 2006 IEEE/ACM Intl. Conf. on Computer-Aided Design (ICCAD '06), New York, NY: The Association for Computing Machinery, Inc., 2006, pp. 334-341.
A. Fazzi, L. Magagni, M. De Dominicis, P. Zoffoli, R. Canegallo, R. L. Rolandi, A. L. Sangiovanni-Vincentelli, and R. Guerrieri, "Yield prediction for 3D capacitive interconnections," in Proc. 2006 IEEE/ACM Intl. Conf. on Computer-Aided Design (ICCAD '06), New York, NY: The Association for Computing Machinery, Inc., 2006, pp. 809-814.
G. Yang, H. Hsieh, X. Chen, F. Balarin, and A. L. Sangiovanni-Vincentelli, "Constraints assisted modeling and validation in Metropolis framework," in 40th Asilomar Conf. on Signals, Systems and Computers (ACSSC 2006) Conference Record, M. B. Matthews, Ed., Piscataway, NJ: IEEE Press, 2006, pp. 1469-1474.
A. Benveniste, B. Caillaud, L. P. Carloni, P. Caspi, A. L. Sangiovanni-Vincentelli, and S. Tripakis, "Communication by sampling in time-sensitive distributed systems," in Proc. 6th IEEE/ACM Intl. Conf. on Embedded Software (EMSOFT 2006), New York, NY: The Association for Computing Machinery, Inc., 2006, pp. 152-160.
A. Ghosal, A. L. Sangiovanni-Vincentelli, C. M. Kirsch, T. A. Henzinger, and D. Iercan, "A hierarchical coordination language for interacting real-time tasks," in Proc. 6th IEEE/ACM Intl. Conf. on Embedded Systems (EMSOFT 2006), New York, NY: The Association for Computing Machinery, Inc., 2006, pp. 132-141.
M. L. McKelvin Jr., C. Pinello, S. Kanajan, J. Wysocki, and A. L. Sangiovanni-Vincentelli, "Model-based design of heterogeneous systems for fault tree analysis," in Proc. 24th Intl. System Safety Conf. (ISSC 2006), Unionville, VA: System Safety Society, Inc., 2006, pp. 400-409.
A. Balluchi, A. Casagrande, P. Collins, A. Ferrari, T. Villa, and A. L. Sangiovanni-Vincentelli, "Ariadne: A framework for reachability analysis of hybrid automata," in Proc. 17th Intl. Symp. on Mathematical Theory of Networks and Systems (MTNS 2006), 2006, pp. 1259-1267.
Q. Zhu, A. Davare, and A. L. Sangiovanni-Vincentelli, "A semantic-driven synthesis flow for platform-based design," in Proc. 4th ACM/IEEE Intl. Conf. on Formal Methods and Models for Co-Design (MEMOCODE 2006), Piscataway, NJ: IEEE Press, 2006, pp. 199-199.
Q. Zhu, N. Kitchen, A. Kuehlmann, and A. L. Sangiovanni-Vincentelli, "SAT sweeping with local observability don't-cares," in Proc. 43rd ACM/IEEE Design Automation Conf. (DAC 2006), New York, NY: The Association for Computing Machinery, Inc., 2006, pp. 229-234.
C. Liu, A. Kondratyev, Y. Watanabe, J. Desel, and A. L. Sangiovanni-Vincentelli, "Schedulability analysis of Petri nets based on structural properties," in Proc. 6th Intl. Conf. on Application of Concurrency to System Design (ACSD 2006), K. Goossens and L. Petrucci, Eds., Los Alamitos, CA: IEEE Computer Society, 2006, pp. 69-78.
S. Kakita, Y. Watanabe, D. Densmore, A. Davare, and A. L. Sangiovanni-Vincentelli, "Functional model exploration for multimedia applications via algebraic operators," in Proc. 6th Intl. Conf. on Application of Concurrency to System Design (ACSD 2006), K. Goossens and L. Petrucci, Eds., Los Alamitos, CA: IEEE Computer Society, 2006, pp. 229-238.
A. Balluchi, L. Benvenuti, M. D. Di Benedetto, T. Villa, and A. L. Sangiovanni-Vincentelli, "Idle speed control -- A benchmark for hybrid system research (Invited Paper)," in Proc. 2nd IFAC Conf. on Analysis and Design of Hybrid Systems (ADHS 2006), C. G. Cassandras, A. Giua, C. Seatzu, and J. Zaytoon, Eds., Laxenburg, Austria: International Federation of Automnatic Control, 2006, pp. 2.
L. Mangeruca, M. Baleani, A. Ferrari, and A. L. Sangiovanni-Vincentelli, "Uniprocessor scheduling under precedence constraints," in Proc. 12th IEEE Real-Time and Embedded Technology and Applications Symp. (RTAS 2006), S. Goddard and J. S. Liu, Eds., Los Alamitos, CA: IEEE Computer Society, 2006, pp. 157-166.
R. Marculescu, J. M. Rabaey, and A. L. Sangiovanni-Vincentelli, "Is "network" the next "big idea" in design?," in Proc. 2006 Design, Automation and Test in Europe (DATE '06), Leuven, Belgium: European Design and Automation Association, 2006, pp. 254-256.
G. Yang, X. Chen, F. Balarin, H. Hsieh, and A. L. Sangiovanni-Vincentelli, "Communication and co-simulation infrastructure for heterogeneous system integration," in Proc. 2006 Design, Automation and Test in Europe (DATE '06), Leuven, Belgium: European Design and Automation Association, 2006, pp. 462-467.
S. Kanajan, H. Zeng, C. Pinello, and A. L. Sangiovanni-Vincentelli, "Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment," in Proc. 2006 Design, Automation and Test in Europe (DATE '06), Leuven, Belgium: European Design and Automation Association, 2006, pp. 548-553.
D. Densmore, A. Donlin, and A. L. Sangiovanni-Vincentelli, "FPGA architecture characterization for system level performance analysis," in Proc. 2006 Design, Automation and Test in Europe (DATE '06), Leuven, Belgium: European Design and Automation Association, 2006, pp. 734-739.
A. Bonivento, L. P. Carloni, and A. L. Sangiovanni-Vincentelli, "Platform-based design of wireless sensor networks for industrial applications," in Proc. 2006 Design, Automation and Test in Europe (DATE '06), Leuven, Belgium: European Design and Automation Association, 2006, pp. 1103-1107.
A. L. Sangiovanni-Vincentelli, "Automotive Electronics: Steady Growth for Years to Come! (Keynote Address)," in Proc. 11th Asia and South Pacific Design Automation Conf. (ASP-DAC 2006), Piscataway, NJ: IEEE Press, 2006, pp. vii-ix.
A. Bonivento, C. Fischione, and A. L. Sangiovanni-Vincentelli, "Randomized protocol stack for ubiquitous networks in indoor environments," in Proc. 3rd IEEE Consumer Communications and Networking Conf. (CCNC 2006), Vol. 1, Piscataway, NJ: IEEE Press, 2006, pp. 152-156.
C. Fischione, A. Bonivento, A. L. Sangiovanni-Vincentelli, F. Santucci, and K. H. Johansson, "Performance analysis of collaborative spatio-temporal processing for wireless sensor networks," in Proc. 3rd IEEE Consumer Communications and Networking Conf. (CCNC 2006), Vol. 1, Piscataway, NJ: IEEE Press, 2006, pp. 325-329.
W. Zheng, J. Chong, C. Pinello, S. Kanajan, and A. L. Sangiovanni-Vincentelli, "Extensible and Scalable Time Triggered Scheduling," in Proceedings of the Fifth International Conference on Application of Concurrency to System Design, 2005.
J. van Greunen, D. Petrovic, A. Bonivento, J. M. Rabaey, K. Ramchandran, and A. L. Sangiovanni-Vincentelli, "Adaptive sleep discipline for energy conservation and robustness in dense sensor networks," in Proc. 2004 IEEE Intl. Conf. on Communications, Vol. 6, Piscataway, NJ: IEEE Press, 2004, pp. 3657-3662.
N. Yevtushenko, T. Villa, R. K. Brayton, A. Petrenko, and A. L. Sangiovanni-Vincentelli, "Equisolvability of series vs. controller's topology in synchronous language equations," in Proc. 6th Design, Automation and Test in Europe Conf. and Exhibition (DATE 2003), N. Wehn and D. Verkest, Eds., Los Alamitos, CA: IEEE Computer Society, 2003, pp. 1154-1155.
M. Baleani, F. Gennari, Y. Jiang, Y. Patel, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "HW/SW Partitioning and Code Generation of Embedded Control Applications on a Reconfigurable Architecture Platform," in Proceedings of the tenth international symposium on Hardware/software codesign, 2002.
M. Baleani, F. Gennari, Y. Jiang, Y. Patel, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform," in Proc. 10th Intl. Symp. on Hardware/Software Codesign (CODES 2002), New York, NY: ACM Press, 2002, pp. 151-156.
P. Buch, A. Narayan, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Logic synthesis for large pass transistor circuits," in 1997 IEEE/ACM Intl. Conf. on Computer-Aided Design (ICCAD 1997). Digest of Techical Papers, Los Alamitos, CA: IEEE Computer Society Press, 1997, pp. 663-670.
R. K. Brayton, G. D. Hachtel, A. L. Sangiovanni-Vincentelli, F. Somenzi, A. Aziz, S. Cheng, S. Edwards, S. Khatri, Y. Kukimoto, A. Pardo, S. Qadeer, R. K. Ranjan, S. Sarwary, T. R. Shiple, G. Swamy, and T. Villa, "VIS: A system for verification and synthesis," in Lecture Notes in Computer Science: Computer Aided Verification, R. Alur and T. A. Henzinger, Eds., Vol. 1102, London, UK: Springer-Verlag, 1996, pp. 428-432.
E. M. Sentovich, K. J. Singh, C. Moon, H. Savoj, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Sequential circuit design using synthesis and optimization," in Proc. IEEE 1992 Intl. Conf. on Computer Design: VLSI in Computers and Processors, Los Alamitos, CA: IEEE Computer Society Press, 1992, pp. 328-333.
A. A. Malik, R. K. Brayton, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Reduced offsets for two-level multi-valued logic minimization," in Proc. 275h ACM/IEEE Conf. on Design Automation (DAC '90), New York, NY: ACM, Inc., 1990, pp. 290-296.
A. Casotto, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Design management based on design traces," in Proc. 27th ACM/IEEE Conf. on Design Automation (DAC '90), New York, NY: ACM, Inc., 1990, pp. 136-141.
S. Devadas, H. K. T. Ma, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Irredundant sequential machines via optimal logic synthesis," in Proc. 23rd Annual Hawaii Intl. Conf. on System Sciences, Los Alamitos, CA: IEEE Computer Society Press, 1990, pp. 417-426.
A. A. Malik, R. K. Brayton, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "A modified approach to two-level logic minimization," in 1988 IEEE Intl. Conf. on Computer-Aided Design (ICCAD-88). Digest of Technical Papers, Los Alamitos, CA: IEEE Computer Society Press, 1988, pp. 106-109.
S. Devadas, A. R. Wang, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Boolean decomposition in multi-level logic optimization," in 1988 IEEE Intl. Conf. on Computer-Aided Design (ICCAD-88). Digest of Technical Papers, Los Alamitos, CA: IEEE Computer Society Press, 1988, pp. 290-293.
S. Devadas, H. K. T. Ma, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Optimal logic synthesis and testability: Two faces of the same coin," in Proc. Intl. Test Conf. (ITC 1988), Washington, DC: IEEE Computer Society Press, 1988, pp. 4-12.
H. K. T. Ma, S. Devadas, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "An incomplete scan design approach to test generation for sequential machines," in Proc. Intl. Test Conf. (ITC 1988), Los Alamitos, CA: IEEE Computer Society Press, 1988, pp. 730-734.
S. Devadas, H. K. T. Ma, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Synthesis and optimization procedures for fully and easily testable sequential machines," in Proc. Intl. Test Conf. (ITC 1988), Los Alamitos, CA: IEEE Computer Society, 1988, pp. 621-630.
S. Devadas, A. R. Wang, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Boolean decomposition of programmable logic arrays," in Proc. 10th Annual IEEE Custom Integrated Circuits Conf. (CICC-88), New York, NY: IEEE, 1988, pp. 2.5/1-5.
H. K. T. Ma, S. Devadas, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Test generation for sequential finite state machines," in IEEE Intl. Conf. on Computer-Aided Design (ICCAD-87). Digest of Technical Papers, Washington, DC: IEEE Computer Society Press, 1987, pp. 288-291.
S. Devadas, H. K. T. Ma, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "MUSTANG: State assignment of finite state machines for optimal multi-level logic implementations," in Proc. IEEE Intl. Conf. on Computer-Aided Design (ICCAD-87). Digest of Technical Papers, Washington, DC: IEEE Computer Society Press, 1987, pp. 16-19.
C. H. Séquin, A. L. Sangiovanni-Vincentelli, and A. R. Newton, "The Berkeley Synthesis Project [VLSI]," in 1987 Symp. on VLSI Circuits. Digest of Technical Papers, Piscataway, NJ: IEEE, 1987, pp. 1-4.
C. H. Séquin, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Highlights of VLSI research at Berkeley," in 1986 Proc. Fall Joint Computer Conf. (FJCC-86), H. S. Stone, Ed., Washington, DC: IEEE Computer Society Press, 1986, pp. 894-898.
J. K. White, R. A. Saleh, A. L. Sangiovanni-Vincentelli, and A. R. Newton, "Accelerating relaxation algorithm for circuit simulation using waveform Newton, iterative step size refinement, and parallel techniques," in IEEE Intl. Conf. on Computer-Aided Design (ICCAD-85). Digest of Technical Papers, Washington, DC: IEEE Computer Society Press, 1985, pp. 5-7.
G. D. Hachtel, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Techniques for Programmable Logic Array folding," in Proc. 19th ACM/IEEE Design Automation Conf. (ICCAD-82), New York, NY: IEEE, 1982, pp. 147-155.
S. A. Ellis, K. H. Keller, A. R. Newton, D. O. Pederson, A. L. Sangiovanni-Vincentelli, and C. H. Séquin, "A symbolic layout design system," in Proc. 1982 IEEE Symp. on Circuits and Systems (ISCAS-82), New York, NY: IEEE, 1982, pp. 670-676.
R. K. Brayton, G. D. Hachtel, L. A. Hemachandra, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "A comparison of logic minimization strategies using ESPRESSO: An APL program package for partitioned logic minimalization," in Proc. 1982 IEEE Intl. Symp. on Circuits and Systems (ISCAS-82), New York, NY: IEEE, 1982, pp. 42-48.
G. D. Hachtel, A. L. Sangiovanni-Vincentelli, and A. R. Newton, "Some results in optimal PLA folding (Invited Paper)," in Proc. IEEE Intl. Conf. on Circuits and Computers (ICCC '80), Vol. 2, New York, NY: IEEE, 1980, pp. 1023-1027.
G. De Micheli, A. L. Sangiovanni-Vincentelli, and A. R. Newton, "New algorithms for timing analysis of large circuits," in Proc. IEEE Intl. Symp. on Circuits and Systems (ISCAS-80), Vol. 2, New York, NY: IEEE, 1980, pp. 439-443.

Technical Reports

I. Incer, A. Benveniste, R. M. Murray, A. L. Sangiovanni-Vincentelli, and S. A. Seshia, "Algorithms for Context-Aided Variable Elimination," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2023-15, Jan. 2023.
I. Incer, A. Benveniste, A. L. Sangiovanni-Vincentelli, and S. A. Seshia, "Hypercontracts," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2021-158, May 2021.
I. Incer, L. Mangeruca, T. Villa, and A. L. Sangiovanni-Vincentelli, "The Quotient in Preorder Theories," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2020-179, Sep. 2020.
M. Weber, B. Jin, G. Lederman, Y. Shoukry, E. A. Lee, S. A. Seshia, and A. L. Sangiovanni-Vincentelli, "Gordian: Formal Reasoning Based Outlier Detection for Secure Localization," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2019-1, Jan. 2019.
D. Fremont, X. Yue, T. Dreossi, S. Ghosh, A. L. Sangiovanni-Vincentelli, and S. A. Seshia, "Scenic: Language-Based Scene Generation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2018-8, April 2018.
M. Weber, B. Jin, G. Lederman, Y. Shoukry, E. A. Lee, S. A. Seshia, and A. L. Sangiovanni-Vincentelli, "Gordian SMT: Untangling Ranging Attacks in Noisy Sensor Networks for Secure Localization," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2017-5, March 2017.
P. Nuzzo, A. Iannopollo, S. Tripakis, and A. L. Sangiovanni-Vincentelli, "From Relational Interfaces to Assume-Guarantee Contracts," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2014-21, March 2014.
A. A. A. Puggelli, A. L. Sangiovanni-Vincentelli, and S. A. Seshia, "Robust Strategy Synthesis for Probabilistic Systems Applied to Risk-Limiting Renewable-Energy Pricing," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2014-16, Feb. 2014.
D. Sadigh, K. Driggs Campbell, A. A. A. Puggelli, W. Li, V. Shia, R. Bajcsy, A. L. Sangiovanni-Vincentelli, S. S. Sastry, and S. A. Seshia, "Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2013-197, Dec. 2013.
A. A. A. Puggelli, W. Li, A. L. Sangiovanni-Vincentelli, and S. A. Seshia, "Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2013-24, April 2013.
H. Kim, L. Guo, and A. L. Sangiovanni-Vincentelli, "A Tool Integration Approach for Architectural Exploration of Aircraft EPS with Ptolemy II / Metro II," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2013-9, Feb. 2013.
E. A. Lee, J. D. Kubiatowicz, J. M. Rabaey, A. L. Sangiovanni-Vincentelli, S. A. Seshia, J. Wawrzynek, D. Blaauw, P. Dutta, K. Fu, C. Guestrin, R. Jafari, D. Jones, V. Kumar, R. Murray, G. Pappas, A. Rowe, C. M. Sechen, T. S. Rosing, B. Taskar, and D. Wessel, "The TerraSwarm Research Center (TSRC) (A White Paper)," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2012-207, Nov. 2012.
Y. Yang, S. Tripakis, and A. L. Sangiovanni-Vincentelli, "Efficient Distribution of Triggered Synchronous Block Diagrams," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2011-115, Oct. 2011.
P. Derler, E. A. Lee, and A. L. Sangiovanni-Vincentelli, "Addressing Modeling Challenges in Cyber-Physical Systems," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2011-17, March 2011.
P. Nuzzo, A. A. A. Puggelli, S. A. Seshia, and A. L. Sangiovanni-Vincentelli, "CalCS: SMT Solving for Non-linear Convex Constraints," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2010-100, June 2010.
P. Nuzzo and A. L. Sangiovanni-Vincentelli, "A Methodology for Robust System-Level Design: Theoretical Foundations and Preliminary Case-Study," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2009-167, Dec. 2009.
P. Nuzzo, A. Pinto, and A. L. Sangiovanni-Vincentelli, "W-BOOM: a Framework for Automatic Management of Wireless Sensor Networks in Building Automation and Control," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2009-166, Dec. 2009.
G. Wang, M. Di Natale, and A. L. Sangiovanni-Vincentelli, "Spatial and Temporal Cost Analysis on OSEK Implementations of Synchronous Reactive Semantics Preserving Communication Protocols," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-149, Dec. 2008.
A. Pinto, L. Carloni, and A. L. Sangiovanni-Vincentelli, "COSI: A Public-Domain Design Framework for the Design of Interconnection Networks," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-22, March 2008.
A. Pinto, A. L. Sangiovanni-Vincentelli, and L. Carloni, "A Methodology and an Open Software Infrastructure for Constraint-Driven Synthesis of On-Chip Communications," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2007-130, Nov. 2007.
G. Wang, M. Di Natale, and A. L. Sangiovanni-Vincentelli, "An OSEK/VDX Implementation of Synchronous Reactive Semantics Preserving Communication Protococls," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2007-81, June 2007.
A. Davare, J. Chong, Q. Zhu, D. M. Densmore, and A. L. Sangiovanni-Vincentelli, "Classification, Customization, and Characterization: Using MILP for Task Allocation and Scheduling," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-166, Dec. 2006.
A. Pinto, L. Carloni, and A. L. Sangiovanni-Vincentelli, "Synthesis of On-Chip Interconnection Structures: From Point-To-Point Links to Networks-on-Chip," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-147, Nov. 2006.
A. Pinto, L. Carloni, and A. L. Sangiovanni-Vincentelli, "Synthesis of Low Power NOC Topologies under Bandwidth Constraints," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-137, Oct. 2006.
Q. Zhu, Z. Zhang, A. Pinto, and A. L. Sangiovanni-Vincentelli, "On-Chip Networks Modeling and Simulation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-126, Oct. 2006.
A. Ghosal, T. A. Henzinger, D. Iercan, C. Kirsch, and A. L. Sangiovanni-Vincentelli, "Hierarchical Timing Language," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-79, May 2006.
A. Davare, Q. Zhu, and A. L. Sangiovanni-Vincentelli, "A Platform-based Design Flow for Kahn Process Networks," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-30, March 2006.
G. Wang, A. Mishchenko, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Synthesizing FSMs According to co-bu chi Properties," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M05/13, April 2005.
D. Gasperini, A. Pinto, and A. L. Sangiovanni-Vincentelli, "METROC: A Metropolis Based Design Methodology Developed in a C++ Framework," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M05/6, Jan. 2005.
C. Umans, T. Villa, and A. L. Sangiovanni-Vincentelli, "Complexity of Two-Level Minimization," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M04/45, Oct. 2004.
J. R. Burch, R. Passerone, and A. L. Sangiovanni-Vincentelli, "Notes on Agent Algebras," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/38, Oct. 2003.
A. Benveniste, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-Vincentelli, "Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/23, June 2003.
L. P. Carloni and A. L. Sangiovanni-Vincentelli, "Seeking Equilibrium between Communication and Computation in System-level Design," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/24, May 2003.
N. Yevtushenko, T. Villa, R. K. Brayton, A. Petrenko, and A. L. Sangiovanni-Vincentelli, "Sequential Synthesis by Language Equation solving," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/9, April 2003.
A. Balluchi, L. Benvenuti, T. Villa, H. Wong-Toi, and A. L. Sangiovanni-Vincentelli, "Maximal Controllers for Hybrid Systems with Multiple Time Event Separations," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/8, April 2003.
T. C. Meyerowitz and A. L. Sangiovanni-Vincentelli, "Describing, Simulating, and Optimizing Hierarchical Bus Scheduling Policies," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/5, March 2003.
M. Sgroi, A. Kondratyev, Y. Watanabe, and A. L. Sangiovanni-Vincentelli, "Synthesis of Petri Nets from MSC-based Specifications," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M02/38, Dec. 2002.
T. R. Shiple, R. K. Brayton, G. Berry, and A. L. Sangiovanni-Vincentelli, "Logical Analysis of Combinational Cycles," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M02/21, June 2002.
A. Nardi, L. Daniel, and A. L. Sangiovanni-Vincentelli, "A Methodology for the Computation of an Upper Bound on Noise Current Spectrum of CMOS Switching Activity," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M02/20, June 2002.
A. Pinto, L. P. Carloni, and A. L. Sangiovanni-Vincentelli, "Constraint-driven Communications Synthesis," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M02/12, April 2002.
W. Gosti, S. P. Khatri, and A. L. Sangiovanni-Vincentelli, "Addressing the Timing Closure Problem by Integrating Logic Optimization and Placement," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M00/66, Dec. 2000.
M. Broucke, M. Di Benedetto, S. Di Gennaro, and A. L. Sangiovanni-Vincentelli, "Optimal Control Using Bisimulations," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M00/34, June 2000.
B. Tabbara, A. Tabbara, and A. L. Sangiovanni-Vincentelli, "Hardware and Software Representation, Optimization, and Co-Synthesis for Embedded Systems," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M00/7, Jan. 2000.
L. Carloni and A. L. Sangiovanni-Vincentelli, "Recycle, Reuse, Reduce," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M99/53, Oct. 1999.
S. Khatri, S. Sinha, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Binary and Multi-Valued SPFD-Based Wire Removal in PLA Networks," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M99/51, Oct. 1999.
B. Tabbara and A. L. Sangiovanni-Vincentelli, "Data Flow and Control for Hardware and Software Co-Synthesis in Embedded Systems," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M99/31, June 1999.
S. Khatri, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "A VLSI Design Methodology Using a Network of PLAs Embedded in a Regular Layout Fabric," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M99/50, May 1999.
S. Khatri, S. Sinha, A. Kuehlmann, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "SPFD-Based Wire Removal in a Network of PLAs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M99/17, March 1999.
Y. Jiang, S. Khatri, A. L. Sangiovanni-Vincentelli, and R. K. Brayton, "A Multi-Layer Area Routing Methodology Using a Boolean Satisfiability Based Router," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M99/16, March 1999.
S. Khatri, A. Mehrotra, M. Prasad, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Routing Techniques for Deep Sub-Micron Technologies," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M99/15, March 1999.
A. Mehrotra and A. L. Sangiovanni-Vincentelli, "Simulation Techniques for Noise in Non-Autonomous Radio Frequency Circuits," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M99/10, March 1999.
L. Carloni, K. McMillan, and A. L. Sangiovanni-Vincentelli, "Latency Insensitive Protocols," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M99/11, Feb. 1999.
H. Hsieh, F. Balarin, and A. L. Sangiovanni-Vincentelli, "Synchronous Equivalence for Embedded Systems: A Tool for Design Exploration," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M99/1, Jan. 1999.
S. Khatri, S. Krishnan, A. L. Sangiovanni-Vincentelli, and R. K. Brayton, "Combinational Verification Revisted," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M98/60, Oct. 1998.
S. Khatri, A. L. Sangiovanni-Vincentelli, and R. K. Brayton, "Accurate Automatic Timing Characterization of Static CMOS Libraries," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M98/58, Oct. 1998.
B. Tabbara, E. Filippi, L. Lavagno, and A. L. Sangiovanni-Vincentelli, "RTL Generation of Hardware Components of a Mixed Hardware/Software Implementation of Embedded Systems for System Level Co-Simulation in VHDL," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M98/55, Sep. 1998.
B. Tabbara, E. Filippi, L. Lavagno, and A. L. Sangiovanni-Vincentelli, "Fast Hardware-Software Co-Simulation Using VHDL Models," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M98/54, Sep. 1998.
S. Khatri, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Multi-Valued Network Compaction Using Redundancy Removal," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M98/44, June 1998.
S. Khatri, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "A Layout and Design Methodology for Deep Sub-micron Applications Using Networks of PLAs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M98/68, May 1998.
S. Tasiran, S. Khatri, S. Yovine, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Accurate Timing Analysis in the Presence of Cross-Talk Using Timed Automata," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M98/25, April 1998.
S. Khatri, A. Mehrotra, R. K. Brayton, R. Otten, and A. L. Sangiovanni-Vincentelli, "A Noise-Immune VLSI Layout Methodology with Highly Predictable Parasitics," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M98/24, April 1998.
M. Sgroi, L. Lavagno, and A. L. Sangiovanni-Vincentelli, "Quasi-Static Scheduling of Free-Choice Petri Nets," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M98/9, March 1998.
T. Shiple, R. Ranjan, A. L. Sangiovanni-Vincentelli, and R. K. Brayton, "Deciding State Reachability for Large FSMs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M97/73, Aug. 1997.
A. Narayan, A. Isles, J. Jain, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Reachability Analysis Using Partitioned- ROBDDs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M97/27, April 1997.
P. Buch, A. Narayan, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Logic Synthesis for Large Pass Transistor Circuits," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M97/26, April 1997.
W. Gosti, T. Villa, A. Saldanha, and A. L. Sangiovanni-Vincentelli, "Input Encoding for Minimum BDD Size: Theory and Experiments," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M97/22, April 1997.
R. von Hanxleden, L. Lavagno, and A. L. Sangiovanni-Vincentelli, "Co-Design of a Fault-Tolerant Communication Protocol--A Case Study," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M97/13, Feb. 1997.
E. A. Lee and A. L. Sangiovanni-Vincentelli, "A Denotational Framework for Comparing Models of Computation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M97/11, Jan. 1997.
T. Kam, T. Villa, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Multi-Valued Decision Diagrams for Logic Synthesis and Verification," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M96/75, Dec. 1996.
E. Goldberg, T. Villa, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Theory and Algorithms for Face Hypercube Embedding," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M96/74, Dec. 1996.
L. Carloni, P. McGeer, A. Saldanha, and A. L. Sangiovanni-Vincentelli, "Trace Driven Logic Synthesis - Application to Power Minimization," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M96/62, Oct. 1996.
L. Carloni, T. Villa, T. Kam, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Generation of a Minimal STG from an Implicit Cover," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M96/40, June 1996.
E. A. Lee and A. L. Sangiovanni-Vincentelli, "The Tagged Signal Model A Preliminary Version of a Denotational Framework for Comparing Models of Computation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M96/33, June 1996.
T. Villa, T. Kam, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "State Minimization of FSM's with Implicit Techniques," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M96/17, April 1996.
A. Oliveira, L. Carloni, T. Villa, and A. L. Sangiovanni-Vincentelli, "Exact Minimization of Binary Decision Diagrams Using Implicit Techniques," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M96/16, April 1996.
C. Passerone, M. Chiodo, W. Gosti, L. Lavagno, and A. L. Sangiovanni-Vincentelli, "Evaluation of Trade-Offs in the Design of Embedded Systems Via Co-Simulation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M96/12, April 1996.
J. Sanghavi, R. Ranjan, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Binary Decision Diagrams on Network of Workstations," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M96/9, Feb. 1996.
T. Villa, A. Saldanha, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Symbolic Two-Level Minimization," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/109, Dec. 1995.
T. Villa, T. Kam, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Explicit and Implicit Algorithms for Binate Covering Problems," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/108, Dec. 1995.
T. Kam, T. Villa, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Theory and Algorithms for State Minimization of Non-Deterministic FSM's," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/107, Dec. 1995.
T. Kam, T. Villa, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Implicit Computation of Compatible Sets for State Minimization of ISFSM's," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/106, Dec. 1995.
The VIS Group, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "VIS: A System for Verification and Synthesis," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/104, Dec. 1995.
A. Narayan, S. Khatri, J. Jain, M. Fujita, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Overcoming Memory Constraints in ROBDD Construction by Functional Decomposition and Partitioning," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/91, Nov. 1995.
R. Ranjan, J. Sanghavi, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "High Performance BDD Package Based on Exploiting Memory Hierarchy," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/81, Oct. 1995.
H. Sheng, R. Guerrieri, and A. L. Sangiovanni-Vincentelli, "Three-Dimensional Monte Carlo Device Simulation for Massively Parallel Architectures," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/53, July 1995.
H. Sheng, R. Guerrieri, and A. L. Sangiovanni-Vincentelli, "Parallel and Distributed Three-Dimensional Monte Carlo Semiconductor Device Simulation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/52, July 1995.
A. Narayan, S. Khatri, J. Jain, M. Fujita, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Compositional Techniques for Mixed Bottom-Up/Top-Down Constructions of ROBDDs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/51, June 1995.
S. Khatri, A. Narayan, S. Krishnan, K. McMillan, A. L. Sangiovanni-Vincentelli, and R. K. Brayton, "An Engineering Change Methodology Using Simulation Relations," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/50, April 1995.
J. Jain, A. Narayan, C. Coelho, S. Khatri, A. L. Sangiovanni-Vincentelli, R. K. Brayton, and M. Fujita, "Combining Top-Down and Bottom-Up Approaches for ROBDD Construction," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/30, April 1995.
T. Villa, L. Lavagno, and A. L. Sangiovanni-Vincentelli, "Advances in Encoding for Logic Synthesis," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/19, March 1995.
T. Kam, T. Villa, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Implicit State Minimization of Non-Deterministic FSM's," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/18, March 1995.
F. Balarin, R. K. Brayton, S. Cheng, D. Kirkpatrick, A. L. Sangiovanni-Vincentelli, and E. Wu, "A Methodology for Formal Verification of Real-Time Systems," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/11, Feb. 1995.
M. Chiodo, P. Giusto, A. Jurecska, L. Lavagno, K. Suzuki, E. Sentovich, H. Hsieh, and A. L. Sangiovanni-Vincentelli, "Synthesis of Software Programs for Embedded Control Applications," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M94/87, Nov. 1994.
A. Aziz, T. Shiple, V. Singhal, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Formula-Dependent Equivalence for Compositional CTL Model Checking," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M94/78, June 1994.
C. Charbon, G. Holmlund, A. L. Sangiovanni-Vincentelli, and B. Donecker, "A Performance-Driven Router for RF and Microwave Analog Circuit Design," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M94/40, May 1994.
F. Balarin and A. L. Sangiovanni-Vincentelli, "On the Automatic Computation of Network Invariants," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M94/18, March 1994.
C. Wawrukiewicz, A. Saldanha, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Sequential Test Pattern Generation: Using Implicit STG Traversal Techniques to Generate Tests and Identify Redundancies in Sequential Circuits," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M94/4, Feb. 1994.
T. Shiple, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Computing Boolean Expressions with OBDDs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M93/84, Dec. 1993.
T. Kam, T. Villa, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "A Fully Implicit Algorithm for Exact State Minimization," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M93/79, Nov. 1993.
T. Kam, T. Villa, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Implicit Generation of Compatibles for Exact State Minimization," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M93/60, Aug. 1993.
T. Shiple, R. Hojati, A. L. Sangiovanni-Vincentelli, and R. K. Brayton, "Heuristic Minimization of BDDs, Using Don't Cares," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M93/58, July 1993.
M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, and A. L. Sangiovanni-Vincentelli, "Synthesis of Mixed Software-Hardware Implementations from CFSM Specifications," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M93/49, June 1993.
M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, and A. L. Sangiovanni-Vincentelli, "A Formal Specification Model for Hardware/Software Codesign," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M93/48, June 1993.
W. Lam, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Exact Minimum Delay Computation and Clock Frequencies," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M93/40, May 1993.
W. Lam, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M93/6, Jan. 1993.
W. Lam, A. Saldanha, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Delay Fault Coverage, Test Set Size, and Performance Tradeoffs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M92/119, Oct. 1992.
M. Chiodo and A. L. Sangiovanni-Vincentelli, "Design Methods for Reactive Real-Time Systems Codesign," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M92/116, Oct. 1992.
P. Stephan, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Combinational Test Generation Using Satisfiability," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M92/112, Oct. 1992.
N. Shenoy, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Graph Algorithms for Efficient Clock Schedule Optimization," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M92/79, Aug. 1992.
A. Yakovlev, L. Lavagno, and A. L. Sangiovanni-Vincentelli, "A Unified Signal Transition Graph Model," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M92/78, July 1992.
P. McGeer, A. Saldanha, P. Stephan, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Delay Models and Sensitization Criteria in the False Path Problem," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M92/63, June 1992.
W. Lam, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Exact Delay Computation with Timed Boolean Functions," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M92/57, May 1992.
W. Lam, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Minimum Cycle Time of Synchronous Circuit with Bounded Delays," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M92/56, May 1992.
E. Sentovich, K. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P. Stephan, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "SIS: A System for Sequential Circuit Synthesis," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M92/41, May 1992.
L. Lavagno, C. Moon, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "A Novel Framework for Solving the State Assignment Problem for Event-Based Specifications," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M92/19, Feb. 1992.
H. Savoj, M. Silva, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Boolean Matching in Logic Synthesis," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M92/15, Feb. 1992.
M. Chiodo, T. Shiple, A. L. Sangiovanni-Vincentelli, and R. K. Brayton, "Automatic Reduction in CTL Compositional Model Checking," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M92/55, Jan. 1992.
F. Balarin and A. L. Sangiovanni-Vincentelli, "Formal Verification of Timing Constrained Finite-State Systems," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M92/8, Jan. 1992.
R. K. Brayton, M. Chiodo, R. Hojati, T. Kam, K. Kodandapani, R. Kurshan, S. Malik, A. L. Sangiovanni-Vincentelli, E. Sentovich, T. Shiple, K. Singh, and H. Wang, "BLIF-MV: An Interchange Format for Design Verification and Synthesis," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M91/97, Nov. 1991.
K. Keutzer, L. Lavagno, and A. L. Sangiovanni-Vincentelli, "Synthesis for Testability Techniques for Asynchronous Circuits," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M91/77, Sep. 1991.
A. Saldanha, T. Villa, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "A Framework for Satisfying Input and Output Encoding Constraints," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M90/110, Dec. 1990.
L. Lavagno, K. Keutzer, and A. L. Sangiovanni-Vincentelli, "Synthesis of Verifiably Hazard-Free Asynchronous Control Circuits," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M90/99, Nov. 1990.
L. Lavagno, S. Malik, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "MIS-MV: Optimization of Multi-Level Logic with Multiple-Valued Inputs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M90/68, Aug. 1990.
R. McGeer, R. K. Brayton, R. Rudell, and A. L. Sangiovanni-Vincentelli, "Extended Stuck-Fault Testability for Combinational Networks," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M89/87, July 1989.
S. Malik, E. Sentovich, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Retiming and Resynthesis: Optimizing Sequential Networks with Combinational Techniques," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M89/28, March 1989.
A. Kramer and A. L. Sangiovanni-Vincentelli, "Optimization Techniques for Neural Networks," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M89/1, Jan. 1989.
S. Malik, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Encoding Symbolic Inputs for Multi-Level Logic Implementation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M88/69, Nov. 1988.
S. Devadas, H. Ma, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Irredundant Sequential Machines Via Optimal Logic Synthesis," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M88/52, Aug. 1988.
S. Devadas, H. K. T. Ma, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "A Synthesis and Optimization Procedure for Fully Testable Sequential Machines," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M88/14, Feb. 1988.
H. T. Ma, S. Devadas, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Test Generation for Sequential Finite State Machines," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M87/36, May 1987.
J. Burns, A. Casotto, M. Igusa, F. Marron, F. Romeo, A. L. Sangiovanni-Vincentelli, C. Sechen, H. Shin, G. Srinath, and H. Yaghutiel, "MOSAICO: An Integrated Macro-Cell Layout System," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M87/7, Jan. 1987.
A. R. Newton and A. L. Sangiovanni-Vincentelli, "Computer-Aided Design for VLSI Circuits," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M86/16, Feb. 1986.
J. White, F. Odeh, A. L. Sangiovanni-Vincentelli, and A. Ruehli, "Waveform Relaxation: Theory and Practice," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M85/65, July 1985.
D. Riley and A. Sangiovanni-Vincentelli, "A New Profit Maximization Methodology for Statistical Design of Integrated Circuits Part I: Problem Formulation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M85/58, May 1985.
D. Mitra, F. Romeo, and A. L. Sangiovanni-Vincentelli, "Convergence and Finite-Time Behavior of Simulated Annealing," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M85/23, March 1985.
F. Romeo and A. L. Sangiovanni-Vincentelli, "Probabilistic Hill Climbing Algorithms: Properties and Applications," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M84/34, March 1984.
G. De Micheli and A. Sangiovanni-Vincentelli, "PLEASURE: A Computer Program for Simple/Multiple Constrained/Unconstrained Folding of Programmable Logic Arrays," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M82/57, Aug. 1982.
E. Lelarasmee and A. Sangiovanni-Vincentelli, "Relax: A New Circuit Simulator for Large Scale MOS Integrated Circuits," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M82/6, Feb. 1982.
E. Lelarasmee, A. Ruehli, and A. Sangiovanni-Vincentelli, "The Waveform Relaxation Method for the Domain Analysis of Large Scale Integrated Circuits," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M81/75, June 1981.
V. Visvanathan and A. Sangiovanni-Vincentelli, "Diagnosability of Nonlinear Circuits and Systems Part I: The DC Case," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M81/45, June 1981.
G. De Micheli and A. Sangiovanni-Vincentelli, "Numerical Properties of Algorithms for the Timing Analysis of MOS VLSI Circuits," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M81/25, May 1981.
W. Nye, E. Polak, A. Sangiovanni-Vincentelli, and A. Tits, "Delight: An Optimization-Based Computer-Aided Design System," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M81/19, April 1981.
M. Bhatti, T. Essebo, W. Nye, K. Pister, E. Polak, A. Sangiovanni-Vincentelli, and A. Tits, "A Software System for Optimization Based Interactive Computer-Aided Design," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M80/14, April 1980.
E. Polak and A. Sangiovanni-Vincentelli, "Theoretical and Computational Aspects of the Optimal Design Centering, Tolerancing and Tuning Problem," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M79/6, Jan. 1979.
A. Sangiovanni-Vincentelli and T. Bickart, "Bipartite Graphs and an Optimal Bordered Triangular Form of a Matrix," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M78/74, July 1978.
B. Ting, E. S. Kuh, and A. Sangiovanni-Vincentelli, "Vias Assignment Problem in Multilayer Printed Circuit Board," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M77/13, March 1977.
A. Sangiovanni-Vincentelli, L. Chen, and L. Chua, "Node-tearing Nodal Analysis," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M582, Oct. 1976.
L. Chen, B. Ting, and A. Sangiovanni-Vincentelli, "An Edge-Oriented Adjacency List for Undirected Graphs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M589, May 1976.
S. Goto and A. Sangiovanni-Vincentelli, "A New Shortest Path Unating Algorithm," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M588, May 1976.
G. Guardabassi and A. Sangiovanni-Vincentelli, "A Two levels Algorithm for Tearing," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M569, Dec. 1975.
A. Sangiovanni-Vincentelli, "A Note on Bipartite Graphs and Pivot Selection in Sparse Matrices," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M568, Nov. 1975.

Patents

L. Lavagno, M. Lazarescu, A. L. Sangiovanni-Vincentelli, and M. Lajolo, "Systems and methods for performing software performance estimations," U.S. Patent 7,702,499. April 2010.
R. Passerone, J. A. Rowson, and A. Sangiovanni-Vincentelli, "System and method for automatically synthesizing interfaces between incompatible protocols," U.S. Patent 7,136,947. Nov. 2006.
P. C. McGeer, A. Saldanha, and A. Sangiovanni-Vincentelli, "System and method for simulating discrete functions using ordered decision arrays," U.S. Patent 5,752,000. May 1998.

Talks or presentations

X. Lai, S. Srivastava, C. Bin, Z. Wang, C. Gu, S. Dabas, J. Roychowdhury, A. Pinto, A. L. Sangiovanni-Vincentelli, S. Gambini, and J. M. Rabaey, "MetroSPICE++ and CollabRadio: Synergistic Activities," presented at GSRC Joint Alternative/Core Workshop, June 2007.
S. Dabas, X. Lai, S. Srivastava, J. M. Rabaey, A. L. Sangiovanni-Vincentelli, J. Roychowdhury, G. B. Meil, M. LaBouff, A. Srivastava, A. Pinto, and T. Mei, "Hybrid System Simulation: MetroSPICE++ (and CollabRadio Design Driver)," presented at GSRC Quarterly Workshop, San Francisco, CA, July 2006.

Masters Reports

A. Rengarajan, "Towards Enabling Deployment of Lingua Franca on Distributed Embedded Devices," E. A. Lee, A. L. Sangiovanni-Vincentelli, and M. Lohstroh, Eds., EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2023-185, May 2023.
J. Finn and A. L. Sangiovanni-Vincentelli, "Optimal Architecture Selection for an Aircraft Environmental Control System," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2016-28, May 2016.
M. Maasoumy Haghighi, "Modeling and Optimal Control Algorithm Design for HVAC Systems in Energy Efficient Buildings," A. L. Sangiovanni-Vincentelli, Ed., EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2011-12, Feb. 2011.

EECS at UC Berkeley

Search form

Faculty Publications - Alberto L. Sangiovanni-Vincentelli

Books

Book chapters or sections

Articles in journals or magazines

Articles in conference proceedings

Technical Reports

Patents

Talks or presentations

Masters Reports