Verification tool for systolic array design.

Fuyau Lin Timothy K. Shih Nam Ling

Published in: ICTAI (1991)

Keyphrases

systolic array
engineering design
case study
design process
computer aided
knowledge based systems
neural network
image processing
user interface
query language
higher order
belief propagation
software tools
formal verification
modeling tool