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

By Mohamed Abdel Maksoud

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3639024680
• ISBN13: 9783639024685
• Release Date: June 2008
• Publisher: VDM Verlag Dr. Mueller E.K.
• Length: 108 Pages
• Weight: 0.34 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"