Items where Author is "Asad, H."

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Item Type | No Grouping
Number of items: 4.

Article

Asad, H. & Jones, K. (2016). Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach. IEEE Design and Test, 33(5), pp. 35-43. doi: 10.1109/MDAT.2016.2573588

Book Section

Asad, H. & Jones, K. (2015). Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming. In: Proceedings of the 25th edition on Great Lakes Symposium on VLSI. (pp. 295-300). New York, USA: ACM. ISBN 9781450334747

Asad, H., Jones, K. & Surre, F. (2014). Verifying Robust Frequency Domain Properties of Non Linear Oscillators using SMT. In: W. Pleskacz, M. Renovell, D. Kasprowicz, L. Sekanina & S. Bernard (Eds.), 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems. (pp. 306-309). IEEE. ISBN 978-1-4799-4560-3

Conference or Workshop Item

Asad, H. & Jones, K. (2015). Inevitability of Phase-locking in a Charge Pump Phase Lock Loop using Deductive Verification. Paper presented at the 25th edition on Great Lakes Symposium on VLSI, 20-05-2015 - 22-05-2015, Pittsburgh, USA.

This list was generated on Fri Jun 23 06:33:18 2017 UTC.