Mechanically Verifying a Family of Multiplier Circuits.

Deepak Kapur Mahadevan Subramaniam

Published in: CAV (1996)

Keyphrases

special case
floating point
high speed
model checking
hardware implementation
evolutionary algorithm
circuit design
tunnel diode
data sets
data mining
artificial neural networks
low cost
analog vlsi
vlsi circuits
chip design
lateral inhibition