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
6
Security Mechanisms and Security-Aware Mapping for Real-Time Distributed Embedded Systems

Security Mechanisms and Security-Aware Mapping for Real-Time Distributed Embedded Systems

Chung-Wei Lin, Alberto Sangiovanni-Vincentelli
Έτος:
2015
Γλώσσα:
english
Αρχείο:
EPUB, 1.57 MB
0 / 0
english, 2015
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
9
The Unknown Component Problem: Theory and Applications

The Unknown Component Problem: Theory and Applications

Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli (auth.)
Έτος:
2012
Γλώσσα:
english
Αρχείο:
PDF, 2.72 MB
0 / 0
english, 2012
11
The Unknown Component Problem: Theory and Applications

The Unknown Component Problem: Theory and Applications

Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli (auth.)
Έτος:
2012
Γλώσσα:
english
Αρχείο:
PDF, 4.83 MB
0 / 0
english, 2012
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
14
Security-Aware Design for Cyber-Physical Systems: A Platform-Based Approach

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

Chung-Wei Lin, Alberto Sangiovanni-Vincentelli (auth.)
Έτος:
2017
Γλώσσα:
english
Αρχείο:
PDF, 4.10 MB
0 / 0
english, 2017
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
26
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 Sangiovanni-Vincentelli (auth.)
Έτος:
2003
Γλώσσα:
english
Αρχείο:
PDF, 9.24 MB
0 / 0
english, 2003