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
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
4
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
6
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
7
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
8
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
9
Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design

Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design

Fan Mo, Robert K. Brayton
Έτος:
2004
Γλώσσα:
english
Αρχείο:
PDF, 13.66 MB
0 / 0
english, 2004
10
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
11
Regular fabrics in deep sub-micron integrated-circuit design

Regular fabrics in deep sub-micron integrated-circuit design

Fan Mo, Robert King Brayton
Έτος:
2004
Γλώσσα:
english
Αρχείο:
PDF, 18.53 MB
0 / 0
english, 2004
12
Logic Synthesis and Optimization

Logic Synthesis and Optimization

Robert K. Brayton, Patrick C. McGeer (auth.), Tsutomu Sasao (eds.)
Έτος:
1993
Γλώσσα:
english
Αρχείο:
PDF, 21.13 MB
0 / 0
english, 1993
13
Advanced Techniques in Logic Synthesis, Optimizations and Applications

Advanced Techniques in Logic Synthesis, Optimizations and Applications

Victor Kravets, Alan Mishchenko, Smita Krishnasamy, Nilesh Modi, Robert Brayton, Ruchir Puri, Kanupriya Gulati, Sunil Khatri (eds.)
Έτος:
2011
Γλώσσα:
english
Αρχείο:
PDF, 3.73 MB
0 / 0
english, 2011
14
Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications

Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications

Patrick C. McGeer, Robert K. Brayton (auth.)
Έτος:
1991
Γλώσσα:
english
Αρχείο:
PDF, 6.19 MB
0 / 0
english, 1991
15
Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis

Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis

William K. C. Lam, Robert K. Brayton (auth.)
Έτος:
1994
Γλώσσα:
english
Αρχείο:
PDF, 6.69 MB
0 / 0
english, 1994
16
Logic minimization algorithms for VLSI synthesis

Logic minimization algorithms for VLSI synthesis

Robert King Brayton, et al
Έτος:
1984
Γλώσσα:
english
Αρχείο:
PDF, 10.68 MB
0 / 0
english, 1984