Designing Arithmetic Circuits by Refinement in Ruby.

Geraint Jones Mary Sheeran

Published in: Sci. Comput. Program. (1994)

Keyphrases

programming language
arithmetic operations
high speed
analog vlsi
digital circuits
object oriented programming
database
database systems
neural network
website
power consumption
floating point
image processing
artificial intelligence
real world
analog circuits
refinement process