Peste 4 milioane de titluri în engleză și alte limbi! Descoperă-ți noua poveste astăzi!

Embedding Sequential Circuits for their Polynomial Formal Verification

Name: Embedding Sequential Circuits for their Polynomial Formal Verification
Brand: Springer-Verlag GmbH
SKU: 9783658501549
Price: 559.25 RON
Availability: InStock

Autor: Caroline Dominik

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag GmbH

Disponibilitate: În depozitul extern în cantități mici

Expediem în 9-15 zile

559.25 lei

As digital circuits are at the core of most of our everyday technologies, society heavily relies on...

Informații despre carte

Autor

Caroline Dominik

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2025

Pagini

EAN

9783658501549

ISBN

3658501545

Enbook ID

49825285

Editura

Springer-Verlag GmbH

Greutate

132

Dimensiuni

148 x 210

Descriere completă

As digital circuits are at the core of most of our everyday technologies, society heavily relies on their precise and predictable behavior. However, this demand for correctness often clashes with the speed of today s design workflows. Whereas a design can be proven to be free of errors based on formal methods, the required time and memory resources of this can often not be predicted. This conflict is addressed by Polynomial Formal Verification (PFV): By selecting adequate data structures and verification techniques, polynomial resource bounds can be proven for the entire procedure so that an efficient verification is guaranteed.

This book adds to this field by applying PFV to circuits with storage elements, also known as sequential circuits. Counter circuits are verified using a polynomial number of steps, even though they have an exponential sequential depth. This is addressed from a theoretical and from a practical point of view.

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Embedding Sequential Circuits for their Polynomial Formal Verification

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Elizabeth and Marilyn

Emeri's First Adventure at the Park

Embodying the Revolution

Ember of the Elements

Emergency Nursing at a Glance

Embodied Research Through Music Composition and Evocative Life-Writing

Fodor's Northern California

Embedding Careers in the Curriculum

Embracing Risky Play at School

Population of Malaysia

EMDR and Sexual Disorders

Enchanting Fairies Colouring Book, the

Encyclopedia of Witchcraft

Red Ibis

Clienții care au cumpărat această carte au mai cumpărat și

Bakulada Baagilininda(Kannada)

Immuno-thermique Crosstalk chez les bovins

Embodiment, Trauma und Resilienz