Functional Verification of MOS Circuits.

Published in: DAC (1987)

Keyphrases

functional verification
floating gate
flip flops
formal verification
high speed
hardware software
case study
response time
low cost
distributed systems
circuit design