Practical Formal Methods for Hardware Design (eBook, PDF)

Redaktion: Delgado Kloos, Carlos; Damm, Werner

• Format: PDF

Produktbeschreibung

This Esprit volume presents research results from the FORMAT (formal methods in hardware verification) project, a collaboration of five European enterprises, a research institute, and two universities.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 293
• Erscheinungstermin: 6. Dezember 2012
• Englisch
• ISBN-13: 9783642606410
• Artikelnr.: 53383393

Inhaltsangabe

1. Formal methods vs. conventional ones.- 2. The FORMAT project.- 3. Organization of this book.- I. Overview.- Design Methodology for Complex VLSI Devices.- Specification Languages.- Verification Flow.- Synthesis Flow.- II. Industrial Experience.- Application of a Formal Verification Toolset to the Design of Integrated Circuits in an Industrial Environment.- Italtel Application of the FORMAT Design Flow.- Siemens Industrial Experience.- III. Technical Background.- The FORMAT Model Checker.- Reasoning.- VHDL Formal Modeling and Analysis.- Synthesis Techniques.- Generating VHDL Code from LOTOS Descriptions.