Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Symbolic Simulation Methods for Industrial Formal Verification Robert B. Jones

Symbolic Simulation Methods for Industrial Formal Verification

Szerző: Robert B. Jones
Nyelv: Angol
Kötés: Kemény kötésű
Kiadó: Springer-Verlag New York Inc.
Elérhetőség: Beszállítói készleten
Küldés 10-13 napon belül
39 076 Ft
Symbolic Simulation Methods for Industrial Formal Verification contains two distinct, but related, a...

Információk a könyvről

Szerző
Robert B. Jones
Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
2002
oldal
151
EAN
9781402071034
ISBN
1402071035
Enbook ID
01417765
Kiadó
Springer-Verlag New York Inc.
Súly
930
Méretek
155 x 235 x 15

Teljes leírás

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.

Érdekelheti

Performance Improvement Through Information Management

Marion J. Ball
38 298 Ft

GLYPHOSATE, the Real Culprit behind Gluten Sensitivity

DR. KARIN HOLSTEIN
5 943 Ft

Developing Chinese Advanced Listening Course vol.1 (2nd ed., Book + MP3, Listening text & answers)

YAO Shujun
11 213 Ft

Sir John Cope and the Rebellion of 1745 (1898)

Robert Cadell
11 545 Ft

Panzer Commander

Hans von Luck
5 961 Ft

Queen Esther's Big Secret

Sarah Mazor
9 424 Ft

Demon Hit List

John Eckhardt
4 646 Ft

My Medical Manager Health and Wellbeing for Life: Health and Wellbeing for Life

MS K Maria Frascona
3 231 Ft

A Citizen of Utopia

Frank Mark Ross
2 339 Ft

Reframing Women Printmakers

PL Henderson
8 887 Ft

Air Transport

Peter J. Lyth
19 568 Ft

What If Everybody Did That?

Ellen Javernick
4 082 Ft

Elementary Forms of the Religious Life

Joseph Ward Swain
5 497 Ft

Threat Of Impending Disaster

George H Grosser
15 540 Ft

Incorporating Environmental Sustainability and Disaster Resilience in Building Codes

United Nations
4 460 Ft

Reading Champion: The Wolf and the Seven Goats

Damian Harvey
4 992 Ft

Ethics of Information Management

Richard O. Mason
18 949 Ft

Thunderbird Poems

Armand Garnet Ruffo
4 846 Ft

Data Simplification

Jules Berman
23 754 Ft

Inflammation in the Pathogenesis of Chronic Diseases

Randall E. Harris
78 038 Ft

Reclaiming the Self in Psychiatry

Tekin
19 595 Ft

Nystagmus In Infancy and Childhood

Richard W Hertle
68 068 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

The Qur''an is a living being

Mostafa Mahmoud
4 619 Ft

SUPERNINJA KURURO (GALEGO)

TORRES
6 348 Ft

NEUTROFILI NELLA SALUTE E NELLA MALATTIA PARODONTALE

Prerna Agarwal
14 962 Ft

Ragazze per l'ambiente. Storie di scienziate e di ecologia

Vichi De Marchi
10 635 Ft

Légendes de la Fin des Temps

Moorcock
3 449 Ft

Jimena Perez Puede Volar/Jimena Perez Can Fly

Jorge Argueta
4 041 Ft

LOS DÍAS QUE ESTARÁS CONMIGO, AUN SIN ESTAR

Vílchez Jiménez
6 853 Ft

Dark Matter. Der Zeitenläufer

Blake Crouch
5 529 Ft

Astrophysik

J. Scheiner
27 431 Ft

Haus W: Vom 1. Strich zum fertigen Haus

Frank W. D. Röder
44 113 Ft

Die Beendigung des Schuldnerverzugs

Arnd Weißgerber
29 683 Ft