The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - June (1988 vol.37)
pp: 710-720
ABSTRACT
A combined methodology is presented for specifying abstract synchronous data types and proving the correctness of systolic network implementations. It is shown that an extension of the Parnas trace method of specifying software modules containing distinct access programs yields a natural method of specifying abstract synchronous data types that possess distinct access operators and are intended
INDEX TERMS
correctness proving; abstract specification; synchronous data types; VLSI; systolic network implementations; Parnas trace method; software modules; control flow; data flow; cellular arrays; data structures; VLSI.
CITATION
D.K. Probst, H.F. Li, "Abstract pecification of Synchronous Data Types for VLSI and Proving the Correctness of Systolic Network Implementations", IEEE Transactions on Computers, vol.37, no. 6, pp. 710-720, June 1988, doi:10.1109/12.2209
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool