Inproceedings,

Verifying global convergence for a digital phase-locked loop.

, , , and .
FMCAD, page 113-120. IEEE, (2013)

Meta data

Tags

Users

  • @dblp

Comments and Reviews