A derivation of a serial-parallel multiplier

DOI10.1016/0167-6423(90)90086-SMaRDI QIDQ922682zbMATH OpenFDO

Authors Jo C. Ebergen, Rob R. Hoogerwoord

Publication date 1990

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(90)90086-S

zbMATH Keywords

circuit implementationfunctional programfunctional specificationparallel programpipeline structureserial-parallel multipliersystolic computation

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The derivation of systolic implementations of programs
• A real-time systolic integer multiplier
• Designing arithmetic circuits by refinement in Ruby
• scientific article; zbMATH DE number 882133
• scientific article; zbMATH DE number 512956

Cited in

(5)

• Designing arithmetic circuits by refinement in Ruby
• Derivation of a rotator circuit with homogeneous interconnect
• Synchronous optical multipliers
• scientific article; zbMATH DE number 512956 (Why is no real title available?)
• A real-time systolic integer multiplier

This page was built for publication: A derivation of a serial-parallel multiplier

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q922682)