Specification And Verification Of Systolic Arrays (Hardback)
  • Specification And Verification Of Systolic Arrays (Hardback)
zoom

Specification And Verification Of Systolic Arrays (Hardback)

(author), (author)
£41.00
Hardback 128 Pages / Published: 31/08/1999
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
Circuits and architectures have become more complex in terms of structure, interconnection topology, and data flow. Design correctness has become increasingly significant, as errors in design may result in strenuous debugging, or even in the repetition of a costly manufacturing process. Although circuit simulation has been used traditionally and widely as the technique for checking hardware and architectural designs, it does not guarantee the conformity of designs to specifications. Formal methods therefore become vital in guaranteeing the correctness of designs and have thus received a significant amount of attention in the CAD industry today.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.

Publisher: World Scientific Publishing Co Pte Ltd
ISBN: 9789810238674
Number of pages: 128
Weight: 435 g
Dimensions: 230 x 198 x 13 mm

You may also be interested in...

Learn Raspberry Pi with Linux
Added to basket
Laptops for Dummies, 6th Edition
Added to basket
How to Do Everything MacBook Air
Added to basket
Computer Basics in easy steps
Added to basket
IMac in Easy Steps
Added to basket
£10.99
Paperback
Using Your Computer
Added to basket
£12.99
Paperback
Switching to a Mac For Dummies
Added to basket
OS X Mavericks For Dummies
Added to basket
Computer Basics In Simple Steps
Added to basket
Delete
Added to basket
£31.99
Paperback
Build Your Own Gaming PC
Added to basket
How Computers Work
Added to basket
£29.49
Paperback
Macs All-in-One For Dummies
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.