Mechanizing Verification of Arithmetic Circuits: SRT Division.

Deepak Kapur Mahadevan Subramaniam

Published in: FSTTCS (1997)

Keyphrases

asynchronous circuits
high speed
model checking
free space
square root
multi robot exploration
data mining
delay insensitive
analog circuits
face verification
information systems
formal methods
digital circuits
person identification
floating point
electronic circuits
vlsi circuits
artificial intelligence