Home Advanced Search

Advanced Search - Page 1

Relaxation Techniques for the Simulation of VLSI Circuits
  • PDF
  • English
  • Year: 1986
  • Author: Jacob K. White, Alberto Sangiovanni-Vincentelli (auth.)
Steady-State Methods for Simulating Analog and Microwave Circuits
  • PDF
  • English
  • Year: 1990
  • Author: Kenneth S. Kundert, Jacob K. White, Alberto Sangiovanni-Vincentelli (auth.)
Logic Synthesis for Field-Programmable Gate Arrays
  • PDF
  • English
  • Year: 1995
  • Author: Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-Vincentelli (auth.)
Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics
  • PDF
  • English
  • Year: 2001
  • Author: Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli (auth.)
Logic Minimization Algorithms for VLSI Synthesis
  • PDF
  • English
  • Year: 1984
  • Author: Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen, Alberto L. Sangiovanni-Vincentelli (auth.)
Synchronous Equivalence: Formal Methods for Embedded Systems
  • PDF
  • English
  • Year: 2001
  • Author: Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli (auth.)
Function/Architecture Optimization and Co-Design of Embedded Systems
  • PDF
  • English
  • Year: 2000
  • Author: Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-Vincentelli (auth.)
Embedded Systems Development: From Functional Models to Implementations
  • PDF
  • English
  • Year: 2014
  • Author: Alberto Sangiovanni-Vincentelli, Haibo Zeng (auth.), Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel (eds.)
Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Amir Pnueli (auth.), Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)
Security-Aware Design for Cyber-Physical Systems A Platform-Based Approach
  • PDF
  • English
  • Year: 2017
  • Author: Chung-Wei Lin, Alberto Sangiovanni Vincentelli
search