Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms

Name: Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms
Brand: VDM Verlag Dr. Mueller E.K.
SKU: 06812272
Price: 19694 HUF
Availability: InStock
Author: Mohamed Abdel Maksoud
ISBN: 9783639024685

Mohamed Abdel Maksoud

Language

English

Book Paperback

Libristo code: 06812272

Publishers VDM Verlag Dr. Mueller E.K., June 2008

Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety... Full description

Libristo code: 06812272

134 b

19 694 Ft

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Precis de Botanique Medicale, (Ed.1898) Trabut L

Paperback

15 478 Ft

Tik tak bum

Game

7 029 Ft

WAKE SWEET MUSE JONATHAN CHENETTE Printed items

Sheet music

2 170 Ft

Zwei weitere Winter Patrick Salmen

Hardback

4 900 Ft

paradiso popolato da diavoli. La Sicilia negli occhi degli altri Antonino Cangemi

Paperback

10 814 Ft

Le Journal Des Debats Et Le Traite Du 15 Juillet SANS AUTEUR

Paperback

5 224 Ft

Papageitaucher Clowns der Meere (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo

Calendar

7 617 Ft

Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety critical systems. Some information in the analysed program are not available either because they cannot be determined statically or because they were intentionally sacrificed (i.e. abstracted) to make program analysis tractable. These abstractions make program simulation nondeterministic. This book describes the algorithms and semantics developed and used in building an abstraction-aware compiler thatderives/generates pipeline analysis from an abstracted VHDL specification of the target microprocessor. This analysis is used in a commercial tool frame for deriving upper bound over executiontime of critical tasks. This book is useful for computer scientists and engineers concerned with computing timing analyses based on VHDL specification of the target hardware.