Verification of systolic array: An FP functional approach
1992 ◽
Vol 139
(2)
◽
pp. 147
1990 ◽
Vol 137
(3)
◽
pp. 218
◽
1991 ◽
Vol 138
(5)
◽
pp. 483
Keyword(s):
1996 ◽
Vol 8
(1-2)
◽
pp. 125-152
◽