Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

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

by Mohamed Abdel Maksoud
Save 12% Save 12%
Current price ₹4,516.00
Original price ₹5,145.00
Original price ₹5,145.00
Original price ₹5,145.00
(-12%)
₹4,516.00
Current price ₹4,516.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9783639024685
  • Binding: Paperback
  • Subject: N/A
  • Publisher: VDM Verlag Dr. Mueller E.K.
  • Publisher Imprint: VDM Verlag Dr. Mueller E.K.
  • Publication Date:
  • Pages: 108
  • Original Price: GBP 40.67
  • Language: English
  • Edition: N/A
  • Item Weight: 155 grams
  • BISAC Subject(s): General

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 that derives/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 execution time 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.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us