Partial Correctness of C-MOS Switching Circuits: An Exercise in Applied Logic

C. A. R. Hoare Michael J. C. Gordon

Published in: LICS (1988)

Keyphrases

real time
website
real world
high speed
delay insensitive
logic synthesis
tunnel diode
neural network
asynchronous circuits