Verifying clock schedules.

Thomas G. Szymanski Narendra V. Shenoy

Published in: ICCAD (1992)

Keyphrases

scheduling problem
power consumption
high speed
model checking
duty cycle
data model
deadlock free
low cost
np hard
neural network
pairwise
feature space
pattern recognition
high quality
decision trees
artificial intelligence
information retrieval