Login / Signup

Transformation rules for automated design of circuits by theorem-proving techniques. Transformation from recursion equations to circuit descriptions.

Masateru HaraoKoji Iwanuma
Published in: Systems and Computers in Japan (1989)
Keyphrases