Logic Synthesis and Verification Algorithms :: SCD d'Orléans

Logic Synthesis and Verification Algorithms

Logic Synthesis and Verification Algorithms

Enregistré dans:

Bibliografiske detaljer
Auteurs principaux:	Hachtel, Gary D., 19..-, Somenzi, Fabio (Auteur)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic Synthesis and Verification Algorithms, 978-0-7923-9746-5

Lignende værker

Logic Synthesis and Verification Algorithms
af: Hachtel, Gary D., 19..-, et autres

Logic Synthesis and Verification

Logic Minimization Algorithms for VLSI Synthesis
af: Brayton, Robert King, 1933-, et autres

Sequential Logic Testing and Verification
af: Ghosh, Abhijit, 1964-, et autres

Abstraction refinement for large scale model checking
af: Wang, Chao, 19..-, et autres

VLSI Specification, Verification and Synthesis

Lectures on proof verification and approximation algorithms
af: Mayr, Ernst W., 1950-

Sequential Logic Synthesis
af: Ashar, Pranav, et autres

Logic Synthesis and Optimization

Logic Synthesis Using Synopsys®
af: Kurup, Pran, 19..-, et autres

Logic Synthesis Using Synopsys®
af: Kurup, Pran, 19..-, et autres

Qualité, équité, transparence, vérification et explicabilité des décisions algorithmiques
af: Abiteboul, Serge
Udgivet: (2021)

Logic Synthesis for Control Automata
af: Baranov, Samary

Memory-Based Logic Synthesis
af: Sasao, Tsutomu

Reversible Logic Synthesis : From Fundamentals to Quantum Computing
af: Al-Rabadi, Anas N.

Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
af: Carnielli, Walter Alexandre, 1952-, et autres

Synthesis and Optimization of DSP Algorithms
af: Constantinides, George A., et autres

Hardware specification, verification, and synthesis : mathematical aspects : Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 : proceedings

La vérification
af: Granger, Gilles-Gaston, 1920-2016
Udgivet: (1991)

La Vérification
af: Granger, Gilles-Gaston, 1920-2016
Udgivet: (2022)

Logic Synthesis for Asynchronous Controllers and Interfaces
af: Cortadella, J., et autres

Fuzzy logic-based algorithms for video de-interlacing
af: Brox, Piedad, 1979-, et autres

Finite state machine logic synthesis for complex programmable logic devices
af: Czerwinski, Robert, et autres
Udgivet: (2013)

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
af: Weiß, Benjamin
Udgivet: (2021)

Algorithms and Techniques for VLSI Layout Synthesis
af: Hill, Dwight, et autres

Algorithms for Synthesis and Testing of Asynchronous Circuits
af: Lavagno, Luciano, 1959-, et autres

Verification Plans : The Five-Day Verification Strategy for Modern Hardware Verification Languages
af: James, Peet

Logic Synthesis for Low Power VLSI Designs
af: Iman, Sasan, et autres

Advanced Techniques in Logic Synthesis, Optimizations and Applications

Logic Program Synthesis from Incomplete Information
af: Flener, Pierre

Logic Synthesis for Field-Programmable Gate Arrays
af: Murgai, Rajeev, 1966-, et autres

Logic synthesis for compositional microprogram control units

Logic Synthesis for FSM-Based Control Units
af: Barkalov, Alexander, et autres

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
af: Lavrov, Igor, et autres

Logiques temporelles pour la vérification : expressivité, complexité, algorithmes
af: Markey, Nicolas, 1976-
Udgivet: (2003)

Professional Verification : A Guide to Advanced Functional Verification
af: Wilcox, Paul

VERIFICATION DES PROGRAMMES NORMAUX
af: Renault, Sophie, 19..-...., docteur en informatique
Udgivet: (1996)

Logic program synthesis and transformation - Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 21, 1994 : proceedings

Verification by Error Modeling : Using Testing Techniques in Hardware Verification
af: Radecka, Katarzyna, et autres

Vérification de logiciels : techniques et outils du model-checking
af: Bérard, Béatrice, 19..-...., professeure en informatique, et autres
Udgivet: (1999)

© 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