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