Verification of Embedded Phase-Locked Loops.

Tom Egan Samiha Mourad

Published in: ISQED (2001)

Keyphrases

phase locked
model checking
embedded systems
machine learning
low cost
formal verification
data mining
search engine
computer vision
information systems
control system
high security
verification method