Designing arithmetic circuits by refinement in Ruby

DOI10.1016/0167-6423(94)90009-4zbMATH Open0810.68084OpenAlexW1840501309MaRDI QIDQ1330451FDOQ1330451

Authors: Geraint Jones, Mary Sheeran 

Publication date: 21 July 1994

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

Full work available at URL: https://doi.org/10.1016/0167-6423(94)90009-4

Recommendations

• scientific article; zbMATH DE number 512956
• A derivation of a serial-parallel multiplier
• Parallel evaluation of arithmetic circuits
• Rewriting environment for arithmetic circuit verification
• scientific article; zbMATH DE number 48334

zbMATH Keywords

design by calculationfine-grained parallel algorithms

Mathematics Subject Classification ID

Distributed algorithms (68W15) Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35)

Cited In (3)

• Title not available (Why is that?)
• Systematic serialisation of array-based architectures
• A derivation of a serial-parallel multiplier

This page was built for publication: Designing arithmetic circuits by refinement in Ruby

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