A derivation of a serial-parallel multiplier
From MaRDI portal
Publication:922682
DOI10.1016/0167-6423(90)90086-SzbMath0711.68021MaRDI QIDQ922682
Jo C. Ebergen, Rob R. Hoogerwoord
Publication date: 1990
Published in: Science of Computer Programming (Search for Journal in Brave)
circuit implementationfunctional specificationparallel programfunctional programpipeline structureserial-parallel multipliersystolic computation
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
This page was built for publication: A derivation of a serial-parallel multiplier