Synthesis of Finite State Machines : :: SCD d'Orléans

Synthesis of Finite State Machines : Logic Optimization

Synthesis of Finite State Machines : Logic Optimization

Guardat en:

Dades bibliogràfiques
Autors principals:	Villa, Tiziano, Kam, Timothy (Autor), Brayton, Robert King, 1933- (Autor), Sangiovanni-Vincentelli, Alberto, 1947-...., mathématicien (Autor)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Autre(s) auteurs(s) : Alberto Sangiovanni-Vincentelli Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Synthesis of Finite State Machines, Logic Optimization

Ítems similars

Synthesis of Finite State Machines : Functional Optimization
per: Kam, Timothy, et al.

Logic Synthesis for Field-Programmable Gate Arrays
per: Murgai, Rajeev, 1966-, et al.

Finite state machine logic synthesis for complex programmable logic devices
per: Czerwinski, Robert, et al.
Publicat: (2013)

Logic Minimization Algorithms for VLSI Synthesis
per: Brayton, Robert King, 1933-, et al.

Sequential Optimization of Asynchronous and Synchronous Finite-State Machines : Algorithms and Tools
per: Fuhrer, Robert M., et al.

Algorithms for Synthesis and Testing of Asynchronous Circuits
per: Lavagno, Luciano, 1959-, et al.

Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics
per: Khatri, Sunil P., et al.

The unknown component problem : theory and applications
per: Villa, Tiziano, et al.

Function/Architecture Optimization and Co-Design of Embedded Systems
per: Tabbara, Bassam, et al.

Finite Element Analysis of Electrical Machines
per: Salon, S. J.

Logic Synthesis and Optimization

Steady-State Methods for Simulating Analog and Microwave Circuits
per: Kundert, Kenneth S., 19..-, et al.

Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems
per: Demir, Alper, et al.

Noise Analysis of Radio Frequency Circuits
per: Mehrotra, Amit, et al.

Convexity and optimization in finite dimensions.
per: Stoer, Josef, 1934-, et al.
Publicat: (1970)

Relaxation Techniques for the Simulation of VLSI Circuits
per: White, Jacob K., et al.

Electronic States in Crystals of Finite Size : Quantum Confinement of Bloch Waves
per: REN, SHANGYUAN

Finite geometries
per: Dembowski, Peter, 1928-1971, mathématicien
Publicat: (1968)

Equations over finite fields : an elementary approach
per: Schmidt, Wolfgang M., 1933-...., mathématicien

Solid State Physics of Finite Systems : Metal Clusters, Fullerenes, Atomic Wires
per: Broglia, Ricardo A., 1939-, et al.

Convexity and Optimization in Finite Dimensions I
per: Stoer, Josef, 1934-, et al.

Finite and Infinite Combinatorics in Sets and Logic

Finite and Locally Finite Groups

Advanced Techniques in Logic Synthesis, Optimizations and Applications

Finite reflection groups
per: Grove, Larry C., 1938-...., mathématicien, et al.
Publicat: (1985)

Synchronous Equivalence : Formal Methods for Embedded Systems
per: Hsieh, Harry, et al.

Basic Finite Element Method as Applied to Injury Biomechanics
per: Yang, King-Hay
Publicat: (2017)

Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design
per: Mo, Fan, et al.

Finite Geometries : Reprint of the 1968 Edition
per: Dembowski, Peter, 1928-1971, mathématicien

Finite free resolutions
per: Northcott, Douglas Geoffrey, 1916-2005, mathématicien
Publicat: (1976)

Cohomology of Finite Groups
per: Adem, Alejandro, 1961-...., mathématicien, et al.

Substrate Noise : Analysis and Optimization for IC Design
per: Charbon, Edoardo, et al.

Nonlinear Optimization in Finite Dimensions : Morse Theory, Chebyshev Approximation, Transversality, Flows, Parametric Aspects
per: Jongen, Hubertus Th., 1947-, et al.

The finite simple groups
per: Wilson, Robert A.

Biset Functors for Finite Groups
per: Bouc, Serge, mathématicien

Cohomology of Finite Groups
per: Adem, Alejandro, 1961-...., mathématicien, et al.

Integrating Functional and Temporal Domains in Logic Design : The False Path Problem and Its Implications
per: McGeer, Patrick Lucey, 1927-2022, et al.

Finite Geometry and Character Theory
per: Pott, Alexander, 1961-...., mathématicien

Representing finite groups : a semisimple introduction
per: Sengupta, Ambar, 1963-...., mathématicien
Publicat: (2012)

Gamification and human-machine interaction: a synthesis
per: Marache-Francisco, Cathie, et al.
Publicat: (2015)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales