SPECIFICATION AND VERIFICATION OF SYSTOLIC ARRAYS
I will be using this book for:
Log in to remove ads

SPECIFICATION AND VERIFICATION OF SYSTOLIC ARRAYS

by Magdy A Bayoumi M.Sc. Ph.D., Nam Ling

Engineering Mathematics Computer Science
1 Star 2 Star 3 Star 4 Star 5 Star
0.0 out of 5 stars (0 ratings)
View on Amazon View on BAM Trade it in for cash!

Specification and Verification of Systolic Arrays presents an academic treatment of defining and checking systolic array systems. Bridging computer science, engineering, and mathematical reasoning, the book is suited to readers seeking focused material on formal system specification and verification.

ISBN-13 9789810238674 ASIN 9810238673 Views 18 Publisher World Scientific Publishing Company Year 1999 Format Hardcover Product Group Book Pages 128 Adult No Created July 26, 2026 Updated September 15, 2026
About This Book

Specification and Verification of Systolic Arrays examines the formal description and checking of systolic array systems.

The subject connects computer science, engineering, and mathematical reasoning through the study of structured computational architectures.

This volume may serve as a reference for academic readers interested in system specification and verification.

Reviews

No reviews yet. Be the first to review this book!

Write a Review
I will be using this book for: