Specification and Verification of Systolic Arrays
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 P…
Mehr
CHF 60.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V106:
Fremdlagertitel. Lieferzeit unbestimmt
Produktdetails
Weitere Autoren: Ling, Nam
- ISBN: 978-981-02-3867-4
- EAN: 9789810238674
- Produktnummer: 29691163
- Verlag: World Scientific Pub Co Inc
- Sprache: Englisch
- Erscheinungsjahr: 1999
- Seitenangabe: 112 S.
- Masse: H25.6 cm x B19.8 cm x D1.3 cm 435 g
- Gewicht: 435
13 weitere Werke von Magdy A. Bayoumi:
Bewertungen
Anmelden