1
Synthesis of Finite State Machines: Logic Optimization

Synthesis of Finite State Machines: Logic Optimization

Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto Sangiovanni-Vincentelli (auth.)
Год:
1997
Язык:
english
Файл:
PDF, 9.74 MB
5.0 / 5.0
english, 1997
2
Substrate Noise: Analysis and Optimization for IC Design

Substrate Noise: Analysis and Optimization for IC Design

Edoardo Charbon, Ranjit Gharpurey, Paolo Miliozzi, Robert G. Meyer, Alberto L. Sangiovanni-Vincentelli
Год:
2001
Язык:
english
Файл:
PDF, 9.53 MB
0 / 0
english, 2001
3
Noise Analysis of Radio Frequency Circuits

Noise Analysis of Radio Frequency Circuits

Amit Mehrotra, Alberto Sangiovanni-Vincentelli (auth.)
Год:
2004
Язык:
english
Файл:
PDF, 8.60 MB
0 / 0
english, 2004
7
Embedded Systems Development: From Functional Models to Implementations

Embedded Systems Development: From Functional Models to Implementations

Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel
Год:
2013
Язык:
english
Файл:
PDF, 5.99 MB
0 / 0
english, 2013
8
Selected Papers on Computer Aided Design of Very Large Scale Integrated Circuits (Advances in Circuits and Systems)

Selected Papers on Computer Aided Design of Very Large Scale Integrated Circuits (Advances in Circuits and Systems)

Alberto Sangiovanni-Vincentelli
Год:
1987
Язык:
english
Файл:
DJVU, 6.85 MB
0 / 0
english, 1987
12
Synthesis of Finite State Machines: Functional Optimization

Synthesis of Finite State Machines: Functional Optimization

Timothy Kam, Tiziano Villa, Robert Brayton, Alberto Sangiovanni-Vincentelli (auth.)
Год:
1997
Язык:
english
Файл:
PDF, 7.24 MB
5.0 / 5.0
english, 1997
13
Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems

Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems

Alper Demir, Alberto Sangiovanni-Vincentelli (auth.)
Год:
1998
Язык:
english
Файл:
PDF, 7.17 MB
0 / 0
english, 1998
15
Logic Synthesis for Field-Programmable Gate Arrays

Logic Synthesis for Field-Programmable Gate Arrays

Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-Vincentelli (auth.)
Год:
1995
Язык:
english
Файл:
PDF, 9.29 MB
0 / 0
english, 1995
16
Logic Minimization Algorithms for VLSI Synthesis

Logic Minimization Algorithms for VLSI Synthesis

Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen, Alberto L. Sangiovanni-Vincentelli (auth.)
Год:
1984
Язык:
english
Файл:
PDF, 6.32 MB
0 / 0
english, 1984
17
Steady-State Methods for Simulating Analog and Microwave Circuits

Steady-State Methods for Simulating Analog and Microwave Circuits

Kenneth S. Kundert, Jacob K. White, Alberto Sangiovanni-Vincentelli (auth.)
Год:
1990
Язык:
english
Файл:
PDF, 5.02 MB
0 / 0
english, 1990
19
Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics

Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics

Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli (auth.)
Год:
2001
Язык:
english
Файл:
PDF, 3.23 MB
0 / 0
english, 2001
20
Algorithms for Synthesis and Testing of Asynchronous Circuits

Algorithms for Synthesis and Testing of Asynchronous Circuits

Luciano Lavagno, Alberto Sangiovanni-Vincentelli
Год:
1993
Язык:
english
Файл:
DJVU, 2.54 MB
0 / 0
english, 1993
21
Security-Aware Design for Cyber-Physical Systems A Platform-Based Approach

Security-Aware Design for Cyber-Physical Systems A Platform-Based Approach

Lin, Chung-Wei, Sangiovanni-Vincentelli, Alberto
Год:
2017
Язык:
english
Файл:
PDF, 4.10 MB
0 / 0
english, 2017
22
Relaxation Techniques for the Simulation of VLSI Circuits

Relaxation Techniques for the Simulation of VLSI Circuits

Jacob K. White, Alberto Sangiovanni-Vincentelli (auth.)
Год:
1986
Язык:
english
Файл:
PDF, 7.26 MB
0 / 0
english, 1986
23
Function/Architecture Optimization and Co-Design of Embedded Systems

Function/Architecture Optimization and Co-Design of Embedded Systems

Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-Vincentelli (auth.)
Год:
2000
Язык:
english
Файл:
PDF, 8.42 MB
0 / 0
english, 2000
24
Synchronous Equivalence: Formal Methods for Embedded Systems

Synchronous Equivalence: Formal Methods for Embedded Systems

Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli (auth.)
Год:
2001
Язык:
english
Файл:
PDF, 6.52 MB
0 / 0
english, 2001