Error title
Some error text about your books and stuff.
Close

Specification and Verification of Systolic Arrays

by Magdy A. Bayoumi

  • ISBN: 9789810238674
  • ISBN10: 9810238673

Specification and Verification of Systolic Arrays

by Magdy A. Bayoumi

  • List Price: $41.00
  • Binding: Hardcover
  • Publisher: World Scientific Pub Co Inc
  • Publish date: 06/01/1999
  • ISBN: 9789810238674
  • ISBN10: 9810238673
used Add to Cart $49.52
Marketplace Item
Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
new Add to Cart $44.70
Marketplace Item
Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
ebook Buy $87.01
License: lifetime
Product notice May come without consumable supplements like access codes, CD's, or workbooks.
Description: This book presents a formal method for specifying and verifying the correctness of systolic array designs. Such architectures are commonly found in the form of accelerators for digital signal, image, and video processing. These arrays can be quite complicated in topology and data flow. In the book, a formalism called STA is defined for these kinds of dynamic environments, with a survey of related techniques. A framework for specification and verification is established. Formal verification techniques to check the correctness of the systolic networks with respect to the algorithmic level specifications are explained. The book also presents a Prolog-based formal design verifier (named VSTA), developed to automate the verification process, as using a general purpose theorem prover is usually extremely time-consuming. Several application examples are included in the book to illustrate how formal techniques and the verifier can be used to automate proofs.
Expand description
Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Seller Condition Comments Price  
Seller: Ergodebooks
Location: Sheboygan, WI Ask seller a question
Condition: New
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$44.70
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: BookBuyer Inc.
Location: Buffalo, NY
Condition: Good
Shipping Icon
*This book is in A Good Condition. Could have some writing & highlighting
[...]
Price:
$49.52
Comments:
*This book is in A Good Condition. Could have some writing & highlighting
[...]
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).