Timing verification for adaptive integrated circuits.

Rohit Kumar Bing Li Yiren Shen Ulf Schlichtmann Jiang Hu

Published in: DATE (2015)

Keyphrases

integrated circuit
model checking
asynchronous circuits
neural network
electron beam
database
data mining
computer vision
case study
temporal logic
formal verification
fingerprint verification
functional verification