Full-Chip Leakage Verification for Manufacturing Considering Process Variations.

Tao Li Zhiping Yu

Published in: ISQED (2008)

Keyphrases

model checking
manufacturing processes
low cost
high speed
neural network
information systems
web services
manufacturing systems
formal verification