Deductive Techniques for Simulating Logic Circuits.

Herbert Y. Chang Stephen G. Chappell

Published in: Computer (1975)

Keyphrases

logic circuits
low power
functional decomposition
tunnel diode
gate array
object oriented
power consumption
logic synthesis
image processing
high speed
graphical models
message passing
power dissipation