Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Ci-dessous vous pouvez choisir quels cookies vous souhaitez modifier :
Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Nous utilisons des cookies dans le but suivant :
Assurer le bon fonctionnement du site web, améliorer la sécurité et prévenir la fraude
Avoir un aperçu de l'utilisation du site web, afin d'améliorer son contenu et ses fonctionnalités
Pouvoir vous montrer les publicités les plus pertinentes sur des plateformes externes
Gestion des cookies
Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Ci-dessous vous pouvez choisir quels cookies vous souhaitez modifier :
Cookies techniques et fonctionnels
Ces cookies sont indispensables au bon fonctionnement du site internet et vous permettent par exemple de vous connecter. Vous ne pouvez pas désactiver ces cookies.
Cookies analytiques
Ces cookies collectent des informations anonymes sur l'utilisation de notre site web. De cette façon, nous pouvons mieux adapter le site web aux besoins des utilisateurs.
Cookies marketing
Ces cookies partagent votre comportement sur notre site web avec des parties externes, afin que vous puissiez voir des publicités plus pertinentes de Club sur des plateformes externes.
Une erreur est survenue, veuillez réessayer plus tard.
Il y a trop d’articles dans votre panier
Vous pouvez encoder maximum 250 articles dans votre panier en une fois. Supprimez certains articles de votre panier ou divisez votre commande en plusieurs commandes.
In diesem Buch werden mehrere neue Ansätze vorgestellt, die den Weg für die nächste Generation integrierter Schaltungen ebnen, die auch in sicherheits...Savoir plus
In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. Wh...Savoir plus
This book introduces several novel approaches to pave the way for the next generation of integrated circuits, which can be successfully and reliably i...Savoir plus
Spectral Techniques in VLSI CAD have become a subject of renewed interest in the design automation community due to the emergence of new and efficient...Savoir plus
This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a...Savoir plus
This book describes a set of SystemC‐based virtual prototype analysis methodologies, including design understanding, verification, security validation...Savoir plus
The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the comp...Savoir plus
Provides a general flow and description for the validation and verification of UML/OCL models Demonstrates a detailed realization of the general flow ...Savoir plus
This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using...Savoir plus
Formal verification has become one of the most important steps in circuit design. Since circuits can contain several million transistors, verification...Savoir plus
This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors em...Savoir plus
For someone with a hammer the whole world looks like a nail. Within the last 10-13 years Binar-y Decision Diagmms (BDDs) have become the state-of-the-...Savoir plus
This book introduces several novel approaches to pave the way for the next generation of integrated circuits, which can be successfully and reliably i...Savoir plus
In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. Wh...Savoir plus
Dieses Buch stellt eine umfassende Reihe von Techniken vor, die alle wichtigen Aspekte eines modernen Virtual Prototype (VP)-basierten Entwurfsablaufs...Savoir plus
The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up wi...Savoir plus
This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first ...Savoir plus
This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The auth...Savoir plus
This book describes a set of SystemC‐based virtual prototype analysis methodologies, including design understanding, verification, security validation...Savoir plus
Provides a general flow and description for the validation and verification of UML/OCL models Demonstrates a detailed realization of the general flow ...Savoir plus
VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Sa...Savoir plus
This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first ...Savoir plus
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Bool...Savoir plus
This book describes a comprehensive approach for synthesis and optimization of logic-in-memory computing hardware and architectures using memristive d...Savoir plus