Travelled to:1 × USA
Collaborated with:K.D.Jones
Talks about:phase (2) lock (2) program (1) verifi (1) inevit (1) squar (1) charg (1) pump (1) loop (1) use (1)
Person: Hafiz ul Asad
DBLP: Asad:Hafiz_ul
Contributed to:
2015Wrote 1 papers:
- DAC-2015-AsadJ #programming #using #verification
- Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming (HuA, KDJ), p. 6.