Symbolic Simulation Methods for Industrial Formal Verification

Idioma: inglés

Editorial: Springer US, 2002

1402071035 / 9781402071034

Librería: Buchpark, Trebbin, AlemaniaBuchpark

Vendedor de 5 estrellas

Vendedor de IberLibro desde 30 de septiembre de 2021

Tapa dura

Condición: Usado - Bueno

EUR 37,85

Envío por EUR 105,00 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

Zustand: Gut | Sprache: Englisch | Produktart: Bücher | Symbolic Simulation Methods for Industrial Formal Verification contains two distinct, but related, approaches to the verification problem. Both are based on symbolic simulation. The first approach is applied at the gate level and has been successful in verifying sub-circuits of industrial microprocessors with tens and even hundreds of thousands of gates. The second approach is applied at a high-level of abstraction and is used for high-level descriptions of designs. The book contains three main topics: Self consistency, a technique for deriving a formal specification of design behavior from the design itself; The use of the parametric representation to encode predicates as functional vectors for symbolic simulation, an important step in addressing the state-explosion problem; Incremental flushing, a method used to verify high-level descriptions of out-of-order execution. Symbolic Simulation Methods for Industrial Formal Verification concludes with work on verification of simplified models of out-of-order processors.…

N° de ref. del artículo 1397703/3

Título
Symbolic Simulation Methods for Industrial Formal Verification
Autor
Robert B. Jones
Editorial
Springer US
Año de publicación
2002
Estado
Gut
Encuadernación
Encuadernación de tapa dura
Idioma
inglés
ISBN 10
1402071035
ISBN 13
9781402071034
Catálogos de vendedores
Bücher

Buchpark

Trebbin, Alemania

Vendedor de 5 estrellas

Vendedor de IberLibro desde 30 de septiembre de 2021

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 60 a 60 días hábilesDe 60 a 60 días hábiles
Primer artículoEUR 105,00EUR 130,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque
  • Giro bancario
  • PayPal

Descripción de la tienda

Seit über 30 Jahren handeln wir mit Büchern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter Bücher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen Bücher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderbücher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten Büchern oder Haushaltsauflösungen kaufen wir bundesweit komplette Bibliotheken und Buchbestände von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die Möglichkeit, große Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbestände werden von uns professionell auf Qualitätsmerkmale hin untersucht und sorgfältig für den Onlinehandel aufbereitet. Wir schenken Büchern ein zweites Leben.…

Información empresarial del vendedor

Buchpark GmbH

Krügerweg 1
Trebbin, Alemania 14959