Specification and verification of systolic arrays
Auteur :
Bayoumi, Magdy A.
Éditeur :
Bayoumi, Magdy A.Nam Ling,
ISBN :
9789810238674
Date de publication :
9 févr. 1999
Dimensions :
23,0 x 19,8 x 1,3 cm
Poids :
435 g
Langue :
Anglais
Pays d'origine :
Singapour
This work 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.